LOGICA II

REGLAS Y LEYES LOGICAS

Una regla lgica, o regla de inferencia (deductiva), es una forma vlida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros. El hecho de que en la historia de la lgica se destacado algunas formas vlidas de razonamiento como reglas lgicas obedece a razones diversas. La simplicidad, su carcter particularmente evidente, su uso en argumentaciones de la vida cotidiana y en demostraciones matemticas, y, adems, el hecho de representar propiedades bsicas de las expresiones lgicas (y, por lo tanto, estar entre los principios bsicos de sistemas lgicos) se cuentan entre estas razones. Son reglas de permisin en el sentido de que permiten la afirmacin de la conclusin a partir de las premisas. De este modo, las reglas se expresan por medio de la siguiente forma general: A partir de los enunciados P1, P2 ..., Pn puede inferirse (est permitido inferir) el enunciado C, que se puede presentar grficamente como P1 P2
:

Pn
_____________

C, o tambin, en una representacin horizontal como P1, P2 ..., Pn C. La lnea horizontal y la doble flecha representan respectivamente la relacin de inferencia lgica. Lo que respalda la regla lgica es la forma vlida de razonamiento correspondiente. Por analoga con los razonamientos, se hablar de premisas y conclusin de una regla de inferencia. Puesto que son formas vlidas de razonamiento, se dar, para cualquier ejemplo de sustitucin de una regla lgica, que si sus premisas son verdaderas, la conclusin deber ser verdadera. El nmero de reglas de inferencia posibles es infinito (del mismo modo que lo es el nmero de formas vlidas de razonamiento).

Los lgicos han propuesto diferentes conjuntos finitos de reglas, seleccionadas, como se ha mencionado ya, por su evidencia, simplicidad o utilidad. Estos conjuntos constituyen sistemas de reglas cuya funcin es realizar inferencias a partir de un conjunto de enunciados o determinar si un determinado razonamiento es vlido. As, pueden ofrecerse conjuntos de reglas, consideradas ms elementales o bsicas, que sirvan para obtener potencialmente todas las restantes reglas, las que sern reglas derivadas o secundarias. Las reglas de inferencia constituyen el ncleo de la lgica, sus entidades bsicas, por as decirlo. Sin embargo, es posible otro enfoque en el cual la lgica aparece fundamentalmente como la ciencia de las leyes lgicas. Sin entrar aqu en detalles tcnicos, puede decirse que una ley lgica es una forma de enunciado, cuyas instancias son todas verdaderas, son verdades necesarias, enunciados verdaderos en toda circunstancia, sin poder ser nunca falsos. El paralelismo con las reglas de inferencia salta a la vista. Las leyes lgicas pueden verse como un caso extremo de reglas lgicas, esto es, como reglas lgicas que no tienen premisas. Pinsese en la definicin de forma vlida de razonamiento basada en el concepto de verdad: Todo ejemplo de sustitucin que tenga premisas verdaderas tendr tambin conclusin verdadera. Una ley lgica tendr todo caso de sustitucin verdadero, de modo que, vista como una regla, no importa qu enunciado(s) (si verdadero(s) o falso(s)) se coloque(n) como premisa(s), la conclusin ser siempre verdadera, de modo que siempre ser una regla vlida. Y esta es una manera de interpretar el hecho de que sus casos son verdaderos en toda circunstancia: cualquier condicin los har siempre verdaderos. Aqu se considerar, entonces, el concepto de regla lgica como primario o bsico y el de ley lgica como secundario, derivado o definido. En lo que sigue se presentar una lista de reglas lgicas y leyes lgicas (que integran la llamada Lgica Clsica de Predicados de Primer Orden). La presentacin se har siguiendo el simbolismo de la lgica matemtica, empleando conectivas y cuantificadores como smbolos lgicos. A ellos se agregan los smbolos y T. El primero est por cualquier contradiccin o falsedad lgica, el segundo por cualquier verdad lgica. Desde el punto de vista semntico, la conclusin de todo caso de sustitucin de una regla ser consecuencia lgica de las premisas, e, igualmente, toda caso de una ley lgica ser una verdad lgica. Por extensin, se aplicarn los conceptos de consecuencia lgica y verdad lgica a las reglas y leyes mismas, adems de a sus instancias. A continuacin, se ofrece una lista de reglas lgicas, y ulteriormente de leyes lgicas, de la Lgica de Predicados de Primer Orden. Todas ellas muestran propiedades interesantes de la lgica de predicados de primer orden o han cumplido un papel importante en la historia de la lgica y se la ha tomado como ejemplos tpicos de lo que se entiende por la deduccin. Algunas de ellas funcionan como las reglas bsicas en determinados sistemas de deduccin. Como se seal antes, el signo indicar el paso de premisas a conclusin (relacin de inferencia lgica o inferencia deductiva) que, segn el caso, puede interpretarse como la relacin de derivabilidad o demostrabilidad en un sistema de deduccin especfico o como la relacin de consecuencia lgica (definida en trminos de valuaciones o modelos). Asimismo, el signo indicar que la relacin de inferencia vale en un doble sentido, o sea, puede interpretarse como la relacin de equivalencia lgica (tanto relativa a la demostrabilidad en un sistema lgico como relativa al concepto semntico de consecuencia lgica).

1. Reglas lgicas 1.1 Reglas de cuantificadores: Instanciacin universal: x A[x] A[a] Generalizacin existencial: A[a] xA[x] Descenso cuantificacional: x A[x] x A[x] Conmutatividad del cuantificador universal: xyA[xy] yxA[xy] Conmutatividad del cuantificador existencial: xyA[xy] yxA[xy] Conmutatividad del cuantificador existencial y el universal: xyA[xy] yxA[xy] 1.2. Reglas de conjuncin y de disyuncin: Producto Lgico: A, B AB. Simplificacin: (a) A B A ; (b) A B B. Adicin: (a) A A B ; (b) B A B. 1.3. Reglas del condicional Modus Ponens: A, A B B. Silogismo Hipottico: A B, B C A C. Conmutacin de Antecedentes: A (B C) B (A C). Carga de Antecedente: B A B. 1.4. Reglas de la negacin Doble Negacin: A A. Eliminacin de la Doble Negacin: A A. Regla del Ex Falso Quodlibet: AA C. 1.5. Reglas de condicional y conjuncin Importacin: A (B C) (AB) C. Exportacin: (AB) C A (B C). 1.6. Reglas de condicional y negacin Modus Tollens: A B, B A. Contraposicin: A B B A. 1.7. Silogismo disyuntivo (a) A B, A B 1.8. Dilemas Simple: A B, A C, B C C. (b) A B, B A.

Complejo: A B, A C. B D C D. 1.9. Reglas de sustitucin de variable ligada: (a) x A[x] y A[y] (b) x A[x] y A[y]

1.10. Reglas de equivalencia de cuantificadores (a) x A[x] x A[x] (c) x A[x] x A[x] cuantificadores). (b) x A[x] x A[x] (d) x A[x] x A[x] (interdefinicin de

1.11. Reglas de De Morgan (a) (A B) A B (b) (AB) A B.

1.12. Reglas de Equivalencia (o Interdefinicin) de conectivas: Condicional: (a) A B A B Disyuncin: (a) A B (A B) Conjuncin: (a) A B (A B) (b) A B (AB). (b) A B A B. (b) A B (A B).

Bicondicional: A B (AB (BA). Definicin del condicional mediante el bicondicional: A B A A B. Disyuncin exclusiva: (a) A w B (AB) (A B). (b) A w B (AB). 1.13. Reglas de Distribucin de Cuantificadores Cuantificador universal: x(A[x] B[x]) xA[x] xB[x]. x(A[x] B[x]) xA[x] xB[x]. x(A[x] xB[x]) xA[x] xB[x]. x(A[x] B[x]) xA[x] xB[x]. xA[x] xB[x] x(A[x] xB[x]). xA[x] xB[x] x(A[x] B[x]).

Cuantificador existencial:

1.14. Reglas booleanas (propiedades de conjuncin y disyuncin) Conmutatividad: (a) A B B A Asociatividad: (a) (AB) C A (BC) Distributividad: (a) A(BC) (AB) (AC) Idempotencia: (a) AA A Absorcin: (a) A (AB) A Contradiccin: (a) A Tautologa: (a) A T A Definicin T: T A A. (b) A B BA. (b) (A B) C A (BC). (b) A (BC) (A B) (A C). (b) AA A. (b) A (AB) A. (b) A A. (b) A T T. Definicin : A A.

1.15. Regla de equivalencia de doble negacin: A A 1.16. Teorema de Hauber: AB, CD, AC, (BD) (BA) (DC) 1.16. (b) Teorema de Vailati: (AB) (CD), (BC) (AB) B D 1.16. (c) Teorema de los hermanos Grassmann: (AB), (AC), AB, AC B C 1.17. Otras reglas relativas a distribucin de cuantificadores 1. x (AB[x]) A xB[x]. 2. x (AB[x]) A xB[x]. 3. x (A B[x]) A xB[x]. 4. x (A B[x]) A xB[x]. 5. x (AB[x]) A xB[x]. 6. x (A B[x]) A xB[x]. 7. x (B[x] A) (xB[x] A). 8. x (B[x] A) (xB[x] A). (Observacin: en 3.3.1 a 3.3.8 se supone que x no aparece libre en A.) 9. x y(A[x] B[y]) xA[x] yB[y]. 10. x y(A[x] B[y]) xA[x] yB[y]. 2. Leyes lgicas 2.1 Los tres principios lgicos clsicos Principio de identidad: A A. Principio de no contradiccin: (A A). Principio de tercero excluido: A A. 2.2 Otras leyes relativas a conectivas 2.2.1 (A (B C)) ((A B) (A C)) (distribucin del condicional). 2.2.2 A ((A B) B). 2.2.3 ((A B) A) A (ley de Peirce). 2.2.4 A (A B) (ley de Duns Scoto). 2.2.5 A (A B). 2.2.6 (A A) A (ley de Clavius o consequentia mirabilis). 2.2.7 (A A) A. 2.2.8 (A B) ((AC) (BC)). 2.2.9 (A ((A B) B). 2.2.10 (A B) (A (C B)) (interpolacin del condicional). 2.2.11 ((AB) C) (A C) (B C). 2.2.12 (A (A B)) (A B).

2.3 Otras leyes relativas a cuantificadores 2.3.11. (xA[x] xA[x]) (principio de no contradiccin generalizado). 2.3.12. xA[x] xA[x] (principio de tercero excluido generalizado). 3. sustitucin uniforme de enunciados atmicos Sea C un enunciado cualquiera, en el cual un enunciado atmico cualquiera A aparece un nmero n de veces. Entonces, si A es sustituida uniformemente en todas sus apariciones por otra frmula cualquiera B de LPO, lo que queda expresado como C*, entonces se cumplen las siguientes afirmaciones: 3.1. Si C es una verdad lgica, entonces C* es tambin verdad lgica. 3.2. Si C se infiere deductivamente de P1, P2 ..., Pn, entonces C* se infiere deductivamente de P*1, P*2 ..., P*n. 4. Reemplazo o intercambio de equivalentes Sea C[A] un enunciado cualquiera, que contiene al enunciado A un nmero n de veces y sea una frmula B equivalente a A (esto es, el bicondicional A B es un enunciado lgicamente verdadero). Entonces se cumple: 4.1. C[B] se deduce de C[A]. 5. Transformacin de reglas lgicas en leyes lgicas La analoga entre la relacin de inferencia lgica y el condicional (llamado condicional material) salta a la vista. Ms precisamente, lo que sucede es que si un enunciado B se deriva (o demuestra) en un sistema de deduccin (semnticamente adecuado) a partir de otro enunciado A y un conjunto de enunciados (eventualmente vaco) (o, de manera equivalente, B es consecuencia lgica de A y ), entonces el condicional entre A y B es demostrable en el sistema a partir de (o, de manera equivalente, es consecuencia lgica de ). Expresado esquemticamente, esto queda como: (5.1) Si , A B, entonces A B.

En el caso particular de que sea el conjunto vaco, se tiene: (5.2) Si A B, entonces A B. Es decir A B es un enunciado demostrable o una verdad lgica, de modo que representa una ley lgica. Estas afirmaciones pueden generalizarse del siguiente modo: (5.3) Si A1, A2,..., An B, entonces (A1 (A2 (...(An B) ... )),
6

es decir (A1 (A2 (...(An B) ... )) es una ley lgica. A su vez, (2.3) es equivalente con la siguiente afirmacin: (5.4) Si A1, A2,..., An B, entonces ((A1 A2) ... An ) B. Por ejemplo, tmese el caso de la regla de simplificacin que aparece ms arriba, las leyes lgicas correspondientes sern: (5.5) (a) (A B) A; (b) (AB) B.

Del mismo modo, las reglas de De Morgan se convierten en las siguientes leyes de De Morgan: (5.6) (a) (AB) A B (b) (AB) AB.

Igualmente, la regla de distribucin del cuantificador universal queda convertida en la siguiente ley correspondiente: (5.7) (x(A[x] B[x])) (xA[x] xB[x]). Y lo mismo en los restantes casos.