PRINCIPALES LEYES LGICAS

Para la simplificacin de frmulas del clculo proposicional, son de suma utilidad las equivalencias o leyes lgicas. Su demostracin se reduce a la confeccin de las correspondientes tablas de verdad (el resultado final de las mismas, siempre muestra una tautologa). En la elaboracin de las siguientes leyes, se ha supuesto que p, q y r son proposiciones que pueden asumir cualquier valor de verdad; mientras que V es una proposicin verdadera y F es una proposicin falsa. 1. Involucin o doble negacin: ( p ) p 2. Idempotencia: De la conjuncin: De la disyuncin: 3. Elemento neutro: De la conjuncin: De la disyuncin: 4. Condicin de tautologa: 5. Condicin de antitautologa: 6. Negacin de tautologa: 7. Negacin de antitautologa: pV p p F p pp p pp p

pV V pF F V F F V (pp) F (pp) V pq qp pq qp (pq)r p(qr) (pq)r p(qr)

8. Condiciones de negacin: De la conjuncin: De la disyuncin: 9. Conmutatividad: De la conjuncin: De la disyuncin: 10. Asociatividad: De la conjuncin: De la disyuncin:

11. Distributividad: De la conjuncin respecto a la disyuncin: ( p q ) r ( p r ) ( q r ) De la disyuncin respecto a la conjuncin: ( p q ) r ( p r ) ( q r ) 12. Leyes de absorcin: De la conjuncin respecto a la disyuncin: p ( p q ) p De la disyuncin respecto a la conjuncin: p ( p q ) p 13. Definicin de implicacin: 14. Definicin de equivalencia: 15. Leyes de De Morgan: Negacin de la conjuncin: ( p q ) p q Negacin de la disyuncin: ( p q ) p q pq pq pq (pq)(qp)

RAZONAMIENTO LGICO
RECORDEMOS: Se llama "argumento" o razonamiento lgico, a una secuencia de proposiciones, en la que una de ellas llamada "conclusin", se obtiene de otras llamadas "premisas". La Lgica tiene como principal objetivo, la determinacin de la validez o no de los razonamientos. VALIDEZ DE UN ARGUMENTO. Se dice que un razonamiento es "vlido" si, al ser verdaderas sus premisas, lo es tambin su conclusin; es decir, no puede darse el caso de que las premisas sean verdaderas y la conclusin falsa (s se diera este caso, se dice que el argumento es "no vlido"); entonces, para comprobar si un esquema formal de razonamiento es vlido o no, podemos asociar a ese razonamiento, una implicacin cuyo antecedente sea la conjuncin de las premisas, y el consecuente sea la conclusin. Es decir, un razonamiento deductivo puede escribirse en la forma: Conjuncin de premisas Es decir : O en forma abreviada: Esquemticamente: p1 p2 ... pn C Donde p1, p2, ... , pn , son premisas verdaderas. As, un razonamiento deductivo es vlido, si la implicacin mostrada en ( ) es una TAUTOLOGA. MTODOS DE DEMOSTRACIN DE LA VALIDEZ DE UN ARGUMENTO. Directo : Segn este mtodo, sabiendo que las premisas del antecedente de () son verdaderas, se debe demostrar que la conclusin C tambin es verdadera; y para ello, se puede utilizar cualquiera de las reglas de inferencias mostradas en la siguiente pgina. Indirecto : En el mtodo indirecto, se debe incluir C entre las premisas originales de (). Para que el razonamiento sea vlido, es necesario mostrar que, al utilizar las diversas reglas de inferencia, la implicacin: ( p1 p2 ... pn C ) C, genera una antitautologa; es decir, el valor de verdad de esta implicacin es falso ( F ). Condicional : Si se pretende demostrar la implicacin m n, se deber introducir m como nueva premisa; y operando con las restantes, se deber obtener n para que el razonamiento sea vlido. REGLA DE LAS PREMISAS: En la inferencia lgica, cualquier premisa puede reemplazarse por una equivalente; es decir, se pueden utilizar sin problemas, las frmulas de simplificacin ya estudiadas. ( p1 p2 ... pn ) P Conclusin C C ()

REGLAS DE INFERENCIA
1. Adicin (LA): Forma esquemtica p pq 2. simplificacin (S): Forma esquemtica pq p 3. Adjuncin (A): Forma esquemtica p q pq 4. Modus ponendo ponens (MP): Forma esquemtica pq p q 5. Modus tollendo tollens (MT): Forma esquemtica pq q p Condicional asociada p(pq) Condicional asociada (pq)p Condicional asociada (pq) (pq) Condicional asociada [(pq)p]q Condicional asociada [ ( p q ) q ] p

6. Modus tollendo ponens o silogismo disyuntivo (MTP): Forma esquemtica Condicional asociada pq p q [ ( p q ) p ] q 7. Silogismo hipottico (SH): Forma esquemtica pq qr pr Condicional asociada [(pq)(qr)](pr)

8. Silogismo disyuntivo o Dilema constructivo (SD): Forma esquemtica Condicional asociada pq r s p v r q s [(pq)(rs)(pr)](qs) 9. Dilema destructivo (DD): Forma esquemtica Condicional asociada p q [ ( p q ) ( r s ) ( q s ) ] ( p r ) r s q s p r Importante: Se comprueba la validez de estas reglas de inferencia, demostrando que la correspondiente condicional
asociada es una tautologa.