Leyes de Inferencia [PDF]

Zitiervorschau

LEYES DE INFERENCIA LOGICA PRINCIPIOS LÓGICOS Identidad Doble negación o involución P  V P; P  F F — (—P) P P V V; P F P P V V; P F P De Identidad V P P; F  P V P P V P  V P; P  F -P P  P V P  -P F Complementación Complementación No contradicción Tercer excluido (P  —P) F (P  —P) V

    

    



  





LEYES DE EQUIVALENCIA Conmutativa Asociativa (P  Q) (Q  P) (P  Q)  R P  (Q (P  Q) (Q  P) (P  Q)  R P  (Q     (P Q) (Q P) (P Q) R P  (Q

  

P  (Q P  (Q P  (Q P  (Q

  

Distributiva

 



R) R) R)

Transposición

 R)  (P  Q)  (P  R)  R)  (P  Q)  (P  R)  R)  (P  Q)  (P  R)  R)  (P  Q)  (P  R)

(P (P

 Q )  (— Q  — P )  Q )  (— Q  — P )

Condicional Conjuntivo (P  Q) —(P  —Q) Bicondicional ( P Q ) (P  Q)  (Q  P)

Condicional Disyuntivo (P  Q) (—P  Q) Bicondicional Disyunción Exclusiva ( P Q ) — ( P  Q )

Ley de Morgan —(P  Q) (—P  —Q) —(P  Q) (—P  —Q)

Idempotencia (P  P) P (P  P) P









 

 

LEYES DE IMPLICACIÓN Modus Ponendo Ponens (MPP) Modus Tollendo Tollens (MTT) [(P  Q)  P]  Q [(P  Q)  —Q]  —P Modus Tollendo Ponens (MTP) [(P  Q)  —P]  Q [(P  Q)  —Q]  P Reducción Al Absurdo [(P  Q)  ( P 



Q)] 

Simplificación (P  Q)  P (P  Q)  Q Adición P  (P  Q) Ley de Absorción P  (P  Q)  P P  (P  Q)  P



[(P



Silogismo hipotético Q)  (Q  R)]  (P



R)

Silogismo Disyuntivo P

{ [(P  Q)  ( R  T)]  (P v R) }  (Q v T) Adjunción P, Q  ( P  Q ) Dilema { [ ( P  Q)  (—P  —Q) ]  (Q  —Q) }

 (P  —P)

Dilema Construtivo { [ ( P  Q)  (R  S) ]  (P  R) }  (Q  S)