Académique Documents
Professionnel Documents
Culture Documents
El clculo lgico, o derivacin lgica, es un algoritmo o sistema lgico que permite inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como vlidamenteverdaderos. La inferencia o deduccin es una operacin lgica que consiste en obtener un enunciado como -conclusin- a partir de otro(s) -premisa(s)- mediante la aplicacin de reglas de inferencia. Decimos que alguien infiere -o deduce- "T" de "R" si acepta que si "R" tiene valor de verdad V, entonces, necesariamente, "T" tiene valor de verdad V. Las personas en nuestra tarea diaria, utilizamos constantemente el razonamiento deductivo; partimos de enunciados empricos -supuestamente verdaderos y vlidos- para concluir en otro enunciado que se deriva de aquellos. La lgica matemtica, como ciencia formal, se ocupa de analizar y sistematizar las reglas que permiten la transformacin de unos enunciados -premisas- en otros -conclusiones- con objeto de convertir las operaciones deductivas en un clculo riguroso y eficaz. Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento, previa la simbolizacin adecuada de los enunciados en frmulas o Expresiones bien formadas (EBF)1 construimos un modelo dentro de un sistema deductivo que, referido al lenguaje ordinario, llamamos de Clculo de deduccin natural. La representacin grfica de los smbolos (constantes lgicas) no est normalizada, lo que lleva a veces a ciertas dificultades de interpretacin.
ndice [ocultar] 1 Sistematizacin de un clculo o 1.1 Reglas de formacin de frmulas
2 Concepto de modelo 3 El lenguaje natural como modelo de un clculo lgico o 3.1 Reglas de simbolizacin
o o o o
5.1 Reglas primitivas 5.2 Reglas derivadas 5.3 Reglas de Reemplazo 5.4 Clculo como lgica de clases 5.4.1 Elementos y su simbolizacin 5.4.2 Operaciones entre las clases y su simbolizacin 5.4.3 Relaciones entre las clases 5.4.4 Proposiciones tipo 5.4.5 Reglas del clculo de clases
6 Reglas del clculo cuantificacional. Clculo de predicados o o o o 6.1 Reglas de simbolizacin 6.2 Cuantificadores 6.3 Clases de proposiciones 6.4 Reglas del clculo cuantificacional
Sistematizacin de un clculo[editar]
Reglas de formacin de frmulas[editar]
I.- Una letra enunciativa (con o sin subndice) es una EBF (Expresin Bien Formada - en ingls wff o sea well- formed formula que significa frmula bien formada). II.- Si A es una frmula, A tambin lo es. III.- Si A es una EBF y B tambin, (A /\ B); (A \/ B); (A B); (A B) tambin lo son. IV.- Ninguna expresin es una frmula del Clculo sino en virtud de I, II, III. Nota: A, B,... con maysculas estn utilizadas como metalenguaje en el que cada variable expresa cualquier proposicin, atmica o molecular. Nota: Para la definicin como funcin lgica de , /\, \/, , y , vase Tabla de valores de verdad Reglas de transformacin
R.T.1: Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el resultado de sustituir una, algunas o todas esas variables por expresiones bien formadas (EBF) del clculo, ser tambin una tesis EBF del clculo. Y ello con una nica restriccin, si bien muy importante: cada variable ha de ser sustituida siempre que aparece y siempre por el mismo sustituto. Veamos el ejemplo: 1 2 3 Regla de Transformacin
donde donde
; y donde
R.T.2: Si X es una tesis EBF del sistema y lo es tambin X --> Y, entonces Y es una tesis EBF del sistema. Esta regla recibe el nombre de regla de separacin Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a la forma: [A /\ B /\ C...... /\ N ] ----> Y lo que constituye un esquema de inferencia en el que de la verdad de las premisas A, B, N y su producto, podemos obtener la conclusin Y.
Concepto de modelo[editar]
Cuando en un Clculo C, se establece una "correspondencia" de cada smbolo con elementos determinados individuales distinguibles entre s, de un Universo L, real (tal universo L no es un conjunto vaco, por las mismas condiciones que hemos establecido), ENTONCES se dice que L es un MODELO de C.
Reglas de simbolizacin[editar]
Regla I. Cada uno de los enunciados simples del lenguaje natural se sustituir por variables proposicionales simbolizadas por letras minsculas: p, q, r, s, t,..... Regla II.
Las expresiones del lenguaje natural tales como "no", "no es cierto", "no es el caso que" "es falso", "es imposible" y todas aquellas que sean equivalentes, se sustituirn por el smbolo denegacin lgica: Llueve: p; No llueve: p Regla III. Las expresiones del lenguaje natural tales como "y", "ni", "pero", "que", "mas", y todas las que sean equivalentes, se sustituyen por el smbolo de conjuncin lgica: Llueve: p; Hace fro: q; Llueve y hace fro: p q; Regla IV. Las expresiones del lenguaje natural tales como "o", "o...o", "bien...bien", "ya...ya", y sus equivalentes, se sustituyen por el smbolo de disyuncin lgica: Llueve: p; Hace fro: q; O llueve o hace fro: p q Regla V. Las expresiones naturales tales como "si.... entonces", "luego...", "por tanto", "por consiguiente", "con tal que...", "se infiere", "se deduce" y sus equivalentes se sustituirn por el smbolo de implicacin lgica o condicional material: Llueve: p; Hace fro: q; Si llueve entonces hace fro: p q Regla VI. Las expresiones del lenguaje natural tales como "...si y solo si...", "...equivale a...", "...es igual a...", "vale por...", "...es lo mismo que...", y sus equivalentes se sustituirn por el smbolobicondicional: Llueve: p; Hace fro: q; Llueve si y solo si hace fro: p q Uso de parntesis: 1.- No se utiliza parntesis en aquellos casos en que los conectores afecten a enunciados simples o atmicos. 2.- Se utiliza parntesis cuando el conector afecte a toda una conjuncin, disyuncin, condicional o bicondicional. 3.- Se utiliza el parntesis en las expresiones conjuntivas y disyuntivas precedidas o seguidas de un condicionador o bicondicionador.
4.- Se utiliza el parntesis en las expresiones que nos interese precisar la dominancia del conector, o bien porque los conectores posean la misma dominancia -como en el caso del conjuntor y del disyuntor que son idempotentes- o bien porque el sentido de la expresin exige la alteracin de la dominancia de las conectivas fuertes -el condicionador y el bicondicionador que son las conectivas fuertes.
Cadena deductiva[editar]
Es una secuencia finita de enunciados de los cuales uno, la conclusin, se sigue necesariamente de los anteriores. Cada enunciado que forma parte de una determinada cadena deductiva constituye una lnea de derivacin. - Las distintas lneas de derivacin se colocarn una debajo de otra numeradas correlativamente a partir del uno. - Las lneas correspondientes a las premisas iniciales irn provistas de un guion que preceder al nmero que tengan asignado. - Si la lnea corresponde a una frmula inferida, se indicar a su derecha la regla aplicada y las premisas o las lneas a las que se ha aplicado la regla. N lnea EBF Regla Lneas
-1
Premisa
-2
Premisa
&
EBF
Regla S
lnea , 2
EBF
Regla R
lnea 1
n-2
EBF
Regla X
lneas 1, $
n-1
EBF
Regla T
lneas 2, (n-2)
EBF
Regla U
Cierre
Conclusin
- Todo supuesto provisional o las frmulas de l derivadas incluidas dentro de las escuadras no podrn utilizarse despus de la cancelacin del supuesto como elementos de nuevas inferencias.
Reglas primitivas[editar]
Ejemplo de clculo proposicional Si dos gases tienen la misma temperatura entonces sus molculas tienen el mismo promedio de energa cintica. Volmenes iguales de dos gases tienen el mismo nmero de molculas. Las presiones de dos gases son iguales si es el mismo su nmero de molculas y sus energas cinticas son iguales. Por consiguiente si dos gases tienen la misma temperatura y el mismo volumen, tienen la misma presin. Simbolizacin proposicional Para dos gases: t: Tener la misma temperatura. c: Tener las molculas la misma energa cintica. v: Tener volmenes iguales. m: Tener igual nmero de molculas. p: Tener presiones iguales. Esquema de inferencia, o argumento t-->c /\ v-->m /\ (m/\c)-->p, |- (t/\v)-->p Clculo de Deduccin - 1 t--> c - 2 v --> m - 3 (m /\ c) --> p 4 t /\ v Supuesto
Las reglas primitivas son las siguientes: Introduccin del negador, demostracin indirecta o absurdo I.N.
10 c /\ m C.C.9 Supuesto 11 p M.P.3-9 A provisional ___________ Cierre supuesto Lneas derivadas 12 (t /\ v) --> p I.I.4-10 provisional es no utilizables fuera del supuesto lnea Regla I.C, B /\ B (n+a) lnea s, r ________ Lnea de _ cierre Lnea Regla Conclusi (n+a)+ A I.N. lneas n 1 (n - n+a+1) lnea (n) Eliminacin del negador o Ex contradictione quodlibet ECQ lnea n lnea n+a A Frmula de la cadena A Frmula de la cadena _______ Lnea de cierre Regla E.N.,lneas n, n+a Conclusin C
Resulta curiosa esta regla, pero es la que justifica argumentos tales como: "Si esto que dices es verdad, yo soy el Papa de Roma", que, son vlidos aunque intiles, pues se da por supuesta la falsedad de las premisas. Por eso "ex contradictione quod libet", es decir, de una contradiccin podemos concluir lo que queramos. Introduccin del conjuntor o producto: I.C. lnea n lnea n+a A Frmula de la cadena B Frmula de la cadena _______ Cierre Regla I.C., lneas n, n+a Conclusin A /\ B
lnea n
_________ Cierre Regla I.D., lnea n A \/ B Eliminacin del disyuntor o casos: E.D. lnea n lnea (n+1) lnea (n+ b) lnea (n+x) lnea (n+x)+a A \/ B A C
Supuesto provisional Lneas derivadas provisionales no utilizables fuera del supuesto Regla X, lnea s, r
B Supuesto provisional Lneas derivadas provisionales no utillizables fuera del supuesto C Regla T, lnea t, r _________ Cierre Casos,lneas [(n+1-n+b),(n+x-n+x+a)] C
Introduccin del implicador o teora de la deduccin I.I. lnea (n) lnea (n+a) A Supuesto provisional Lneas derivadas provisionales no utilizables fuera del supuesto B Regla X, lnea s, r _________ Cierre Lnea (n+b)+1 A B Regla I.I. lneas (n+1-n+b),conclusin Eliminacin del implicador o Modus ponens E.I. lnea n lnea n+a AB Frmula de la cadena A Frmula de la cadena _________ Cierre Regla E.I., lneas n, n+a Conclusin B
Reglas derivadas[editar]
Algunas de las reglas derivadas ms utilizadas: Silogismo hipottico o Transitividad del condicional S.H. lnea n AB Frmula de la cadena
lnea n+a
BC Frmula de la cadena _________ Lnea de cierre Regla S.H., lneas n, n+a Conclusin AC
Silogismo disyuntivo o inferencia de la alternativa S.D. lnea n lnea n+a AB Frmula de la cadena A Frmula de la cadena _________ Lnea de cierre Regla S.D., lneas n, n+a Conclusin B
Modus tollens M.T. lnea n lnea n+a AB Frmula de la cadena B Frmula de la cadena _________ Lnea de cierre Regla M.T., lneas n, n+a Conclusin A
Reglas de Reemplazo[editar]
En las que las lneas de cierre son dobles indicando que ambas frmulas son equivalentes, es decir, pueden sustituirse directamente una por otra puesto que su conexin es un bicondicional Leyes de De Morgan lnea n (A /\ B) Frmula de la cadena ============ Doble lnea de cierre Regla de De Morgan 1., lnea n. Conclusin ( A \/ B)
lnea n
(A \/ B) Frmula de la cadena ============ Doble lnea de cierre Regla de De Morgan 2., lnea n. Conclusin ( A /\ B)
Conmutacin de la conjuncin lnea n A /\ B Frmula de la cadena ============ Doble lnea de cierre Conmutacin conjuncin CC., lnea n. Conclusin B /\ A
Conmutacin de la disyuncin lnea n A \/ B Frmula de la cadena ============ Doble lnea de cierre Conmutacin disyuncin CD., lnea n. Conclusin B \/ A
lnea n [A /\ (B /\ C)] Frmula de la cadena ============ Doble lnea de cierre Asociativa conjuncin AC., lnea n. Conclusin [(A /\ B) /\ C] Asociativa de la disyuncin AD. lnea n [A \/ (B \/ C)] Frmula de la cadena ============ Doble lnea de cierre Asociativa disyuncin AD., lnea n. Conclusin [(A \/ B) \/ C] Distributiva de la conjuncin lnea n [A /\ (B \/ C)] ============ [(A /\ B) \/ (A /\ C)] Distributiva de la disyuncin lnea n [A \/ (B /\ C)] ============ [(A \/ B) /\ (A \/ C)] Doble negacin lnea n A Frmula de la cadena ============ Doble lnea de cierre Doble negacin DN., lnea n. Conclusin A Doble lnea de cierre Distributiva de la disyuncin DD., lneas Conclusin n. Frmula de la cadena Doble lnea de cierre Distributiva de la conjuncin DC., lnea Conclusin n. Frmula de la cadena
Transposicin lnea n (A B) Frmula de la cadena ============ Doble lnea de cierre Transposicin., lnea n. Conclusin (B A)
Definicin del implicador lnea n AB Frmula de la cadena ============ Doble lnea de cierre Implicacin, Imp., lnea n. Conclusin A \/ B
AB Frmula de la cadena ============ Doble lnea de cierre Equivalencia 2., lnea n. Conclusin [(A /\ B) \/ (A /\ B)
Exportacin lnea n [(A /\ B) C] Frmula de la cadena ============ Doble lnea de cierre Exportacin. Exp., lnea n, Conclusin [A (B C)] Identidad lnea n A Frmula de la cadena
============ Doble lnea de cierre Identidad, lnea n, Conclusin A Tautologa lnea n A Frmula de la cadena ============ Doble lnea de cierre Exportacin. Exp., lnea n. Conclusin (A \/ A)
La lgica de clases considera la proposicin considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretacin de una proposicin o enunciado lingstico bajo la formalizacin de la teora de conjuntos. Por clase se entiende un conjunto de individuos que tienen una propiedad comn. Ntese que la propiedad define a la clase, no al individuo, lo que lo diferencia esencialmente de la lgica de predicados. En este caso, por tanto, el valor de verdad viene dado por la pertenencia o no pertenencia a una clase. Por ello, la tabla de valores de verdad se explicita como tablas de pertenencia. As, no es lo mismo decir: "Hs = Scrates es un hombre" (donde atribuimos una cualidad que atae al ser mismo de Scrates), que decir: "S hombres." H = Scrates pertenece a la clase de los
La clase tiene sentido aun cuando no existan individuos. As, la clase hombre, como concepto de hombre, existe aunque no existan los hombres. De la misma forma que existe el concepto de "caballos con alas", aun cuando no existan pegasos. Actualmente la lgica llamada tradicional, silogstica, se interpreta como lgica de clases. Elementos y su simbolizacin[editar]
Clase vaco
Clase universal
Universo: es la clase de todas las clases, de todos los elementos del universo que estemos considerando. Se la llama clase universal. U Clase vaca: clase que no tiene ningn elemento : Individuos: Clase: conjunto de individuos que tienen una propiedad en comn. Puede significarse de varias maneras: A= - Por enumeracin
( x/ nacido en Asturias) - Por un funcin proposicional cuantificada3 Pertenencia: Generalizador: Particularizador: Conectivas : clase. No pertenencia: Todo x.4 Algn x.5 - Definidas de igual forma que en la lgica de
Clase complementaria
Unin de clases:
Clase interseccin:
a) Clase complementaria: clase complementaria de una clase A es la clase formada por todos los elementos que no pertenecen a esa clase A.
Clase diferencia:
b) Clase unin o unin de clases: la clase unin de dos clases A y B es la clase formada por los elementos que pertenecen a una o a otra clase. A= B= = Observamos que equivale a la disyuncin. Definicin Clase Unin de Clases
Clase diferencia simtrica:
b)Interseccin de clases o clase interseccin: clase interseccin de dos clases A y B es la clase formada por los elementos que pertenecen a una y a otra clase.
Observamos que equivale a la conjuncin. c)Diferencia: clase diferencia es la clase formada por los elementos de A que no pertenecen a B. A= B= = Definicin Clase Diferencia de Clases
Equivalencia de clases:
Inclusin de clases:
a) Identidad o equivalencia: puede suceder que todos los miembros de una clase lo sean tambin de otra, y viceversa. Por ejemplo: ;
Disyuncin de clases:
A = Todos los nios que tienen un ao de edad. B = Todos los nios nacidos hace un ao. Pongamos atencin en que la equivalencia se refiere a la extensin de los individuos que pertenecen a la clase, pero formalmente la propiedad que la define puede ser diversa. Por ello tiene sentido decir A = B como clases diferentes, pero equivalentes. b) Inclusin: cuando todos los miembros de una clase pertenecen a otra ;
; ; Proposiciones tipo[editar] La clsica clasificacin aristotlica: Tipo A: todos los S son P. "Todos los hombres son mortales", se interpreta como:6
Reglas del clculo de clases[editar] Como leyes lgicas, es decir tautologas que se pueden comprobar mediante tablas de pertenencia, se estableces algunas reglas que resultan tiles para los algoritmos de clculo de deduccin de proposiciones: Leyes asociativas:
Leyes conmutativas:
Leyes distributivas:
Ley de involucin:
Leyes de De Morgan:
Leyes de absorcin:
Ley de contraposicin:
Ley de la transitividad:
Junto con estas leyes especficas se mantienen las mismas reglas del clculo de enunciados, en las relaciones de unas proposiciones con otras.
Reglas de simbolizacin[editar]
La expresin denota cualquier proposicin
Una funcin proposicional sin cuantificacin alguna no puede tener valor de verdad V o falsedad F y no es, por tanto, una proposicin. La expresin en individuales. = ser cuadrado; mesa es cuadrada En este caso en que = ,y es una proposicin singular, puede tener valor V o F. = esta mesa; = Esta denota la ocurrencia de
. Siendo a, b, c, d, e. constantes
Una proposicin no puede tener ocurrencias libres, variables sin cuantificar, para poder tener valor V o F. La sustitucin de una variable proposicional condicin de que la variable los lugares en que (Si entonces lo mismo). Una ocurrencia libre es la ocurrencia de una variable , , , , etc. no sometida al alcance de un cuantificador universal o existencial. Por ejemplo: Sustituyendo la variable la variable respecto al predicado las bicicletas: y por tanto = = ser una rueda, por = ser redondo, cuando y en una funcin , como variable en todos . , son y
ha de hacerse bajo la
Cuantificadores[editar]
Generalizador Universal Es el resultado del producto de a /\ b /\ c /\ d /\ e /\ f.... en todas las ocurrencias posibles de x. Equivale a Todos los posibles x Particularizador existencial Es el resultado de la adicin a \/ b \/ c \/ d \/ e \/ f..... en todas las ocurrencias posibles de x. Equivale Existen algunos, o al menos un individuo que verifica Px. Instanciacin Sustituyendo en una funcin proposicional las variables de individuos x, y, z,... por constantes a, b, c..... como individuos: Pedro, Juan, este libro, etc.
Ejemplos: P = Ser cuadrado x = cualquier cosa a = esta mesa x Px = Para todo x, para cualquier x, x es cuadrado x Px = Para algn x, se da Px. Existe al menos un x tal que x es cuadrado Px = Ser cuadrado Pa = Esta mesa es cuadrada
Clases de proposiciones[editar]
Singulares: Ma Siendo M = ser mortal a=
Antonio
Ma Antonio es mortal
Generales: Siendo:
P = Ser hombre M = Ser mortal x = variable individual, cualquier individuo x (Px Mx) Para todo x si Px entonces Mx Todos los hombres son mortales x (Px /\ Mx) Existe algn x para el que Px /\ Mx Algn hombre es mortal x (Px Mx) Para todo x si Px entonces Mx Ningn hombre es mortal x (Px /\ Mx) Existe algn x tal que Px /\ Mx Algn hombre no es mortal Proposiciones mltiplemente generales: Enunciados compuestos cuyos componentes son proposiciones generales con ms de una variable de individuos y/o con proposiciones singulares. Sea el caso de la proposicin: x (Px Lx)] Ld Que podra equivaler a: Si todos los perros ladran, entonces Desko (mi perro) ladra. Si fuera el caso x (Px Lx) Ly
Px y Lx, son ocurrencias ligadas, sometidas al alcance de un cuantificador. Ly en cambio es una ocurrencia libre, y por eso puede sustituirse por otra variable o por una constante, como Ld.
Ejemplo de clculo de predicados Todos los mdicos curan. Por tanto, si los que curan saben medicina, entonces Juan, que es mdico, sabe medicina. Simbolizacin proposicional M = Ser mdico C = curar S = Saber medicina k = Juan Esquema de inferencia, o argumento /\x (Mx-->Cx) |- /\x (Cx-->Sx) -->(Mk-->Sk) Clculo de Deduccin - 1 /\x (Mx-->Cx) 2 /\x (Cx-->Sx) 3 Mk 4 Mk--> Ck I.U.1 5 Ck M.P.4,3 6 Ck-->Sk I.U.2 7 Sk M.P.6,5 8 Mk-->Sk I.I.3,7 ___________ Cierre supuesto 9 /\x (Cx-->Sx)-->(Mk-->Sk) I.I.2-8 Adems de todas las reglas referidas a las proposiciones como un todo, se tienen las siguientes: Instanciacin Universal. I.U. Lnea n /\xPx lnea de cierre Lnea n+a Py U.I. lnea n.Conclusin Generalizacin existencial. E.G. Lnea n Py Lnea n+a \/xPx lnea de cierre E.G. lnea n. Conclusin
Instanciacin existencial. I.E. lnea n lnea (n+1) \/xPx Py Supuesto provisional Lneas derivadas
Con la condicin de que y sea una variable que no ocurre libre ni en p ni en ningn rengln que preceda a Py. Generalizacin universal. G.U. Lnea n Py Lnea n+a /\xPx lnea de cierre G.U. lnea n. Conclusin
Con la condicin de que y sea una variable que no ocurre libre ni en /\xPx ni en ninguna hiptesis dentro de cuyo alcance se encuentra Py Negacin de un cuantificador N.C. /\xPx ====== \/x Px xPx ====== xPx ====== xPx Doble lnea ====== de cierre \/xPx
\/xPx
\/xPx
Principio de identidad Id. Identidad: Px y=x Py Px (y = x) y=x x=y p Lnea de cierre x=x
Clculo de relaciones[editar]
En algunas ocasiones la validez de un argumento reside en las relaciones que una o varias proposiciones establecen entre varios individuos. As la relacin ser ms grande que fundamenta un argumento claramente vlido: Antonio es ms grande que Pepe, y Pepe es ms grande que Juan. Luego Antonio es ms grande que Juan. Simbolizacin Sea la relacin R = ser ms grande que; a = Antonio; p = Pepe Rap Simboliza la proposicin Antonio es ms grande que Pepe. Nota importante: Es fundamental la consideracin del orden de las constantes o variables de la relacin. No es lo mismo Rab que Rba como se comprende fcilmente. Aun cuando pueda haber relaciones en las que el orden no vara la relacin lgica, por ejemplo ser igual a. Sea ahora el argumento anteriormente considerado, donde R = ser ms grande que; a = Antonio; p = Pepe; j = Juan El esquema de inferencia consecuente sera: (Rap /\ Rpj) Raj Que nos da la forma de un esquema de inferencia basado en relaciones. Clases de proposiciones
En funcin del nmero de los individuos entre los que se da la relacin: Didicas, tridicas, tetrdicas. Didica Raj Antonio es amigo de Juan Tridica: Rsmv Segovia est entre Madrid y Valladolid Tetrdica: Ramjc Antonio cambi la moto a Juan por un coche Funciones proposicionales Si sustituimos las constantes individuales por variables de individuos tendramos: Rxy Rxyz Rwxyz Proposiciones generales y cuantificadores Salta a la vista la dificultad que encierra el manejo de tantas variables y sus cuantificadores; por eso simplificamos la consideracin a relaciones binarias. Para ejemplificacin de las proposiciones consideramos la relacin A = amar a /\x /\y Axy Todo ama a todo /\y /\x Axy Todo es amado por todo \/x \/y Axy Algo ama a algo \/y \/x Axy Algo es atrado por algo /\x /\y Axy Nada ama cosa alguna /\y /\x Axy Nada es amado por cosa alguna Teniendo en cuenta las posibles conectivas entre variables y cuantificadores la simbolizacin requiere un anlisis lgico complejo del lenguaje, teniendo en cuenta que no siempre es necesario
explicitar relaciones cuando stas no intervienen en la forma lgica del argumento. La simbolizacin, debido a la ambigedad del lenguaje, y a veces al contenido de las mismas relaciones, no siempre es clara ni convincente a la hora de determinar el sentido lgico de la expresin lingstica simbolizada en proposiciones lgicas. Por eso a modo de ejemplo simbolizamos: Consideremos la expresin: Algn golfista aficionado gana a todos los profesionales. Consideraremos el caso de alguno que es aficionado = \/x Ax; /\y = Todos los que son profesionales; y G = ganar a. Analizamos la expresin: \/x {(x es un aficionado) /\ (x puede ganar a todos los profesionales)} y luego como: \/x {(x es un aficionado) /\ /\y (Si y es profesional -> (x gana a y)} lo que usando nuestras simbolizaciones: \/x {Ax /\ /\y (Ay --> Gxy)} Es evidente que la prctica hace innecesarios los pasos intermedios. Reglas de clculo No es necesario introducir nuevas reglas para tratar los argumentos que incluyen relaciones. La lista de reglas del clculo proposicional y cuantificacional posibilitan tratar todos los argumentos relacionales, si bien la reduccin de las proposiciones a unidades proposicionales a
Referencias[editar]
1. Volver arriba Transformando los enunciados lingsticos en proposiciones lgicas 2. Volver arriba Como llegaron a pretender los neopositivistas 3. Volver arriba Que se lee: Todo x tal que x pertenece a la clase de los nacidos en Asturias 4. Volver arriba Conjuntor grande; equivale a la conjuncin de todos los elementos que pertenecen a la clase: 5. Volver arriba Disjuntor grande; equivale a la disjuncin de todos los elementos que pertenecen a la clase: 6. Volver arriba En la formalizacin grfica de los silogismos esta relacin de inclusin, es decir los juicios universales afirmativos tipo A, se representan interpretando la proposicin como: "No hay ningn S que no sea P. Vase Silogismo
Vase tambin[editar]
Bibliografa[editar]
COPI, IRVING M. (1982). LGICA SIMBLICA. MEXICO 22 D.F: EDITORIAL CONTINENTAL S.A. DE C.V.. ISBN 968-26-01347.
DEAO, ALFREDO (1974). INTRODUCCIN A LA LGICA FORMAL. MADRID: ALIANZA EDITORIAL. ISBN 84-206-2064-5.
Categora:
Lgica matemtica