Equivalencias e Implicaciones L ogicas TAII(I)

Existe un conjunto de equivalencias e implicaciones l ogicas que pueden utilizarse como esquemas de sustituci on en procesos de razomamiento, o como esquemas de razonamientos v alidos respectivamente. A continuaci on se muestra un breve resumen de las m as importantes:

1.

Equivalencias L ogicas
EQUIVALENCIA P P T P P F P Q (P Q) (Q P ) P Q P Q P Q (P Q) P F P P T P P T T P F F P P P P P P (P ) P P QQP ; P QQP (P Q) R P (Q R) (P Q) R P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) P (Q R) (P Q) P Q (P Q) P Q NOMBRE Ley del Tercio Excluido Principio de No Contradicci on Def. de la doble implicaci on en funci on de la implicaci on Def. de la implicaci on en funci on de la disyunci on Def. de la implicaci on en funci on de la conjunci on Leyes de la Identidad Leyes de Dominaci on Leyes de la Idempotencia Ley de la Doble Negaci on Leyes Conmutativas Leyes Asociativas Leyes Distributivas Leyes de De Morgan

2.

Implicaciones L ogicas
IMPLICACION {P, Q} |= P Q {P Q} |= P {P Q} |= Q {P } |= P Q {Q} |= P Q {P Q, P } |= Q {P Q, Q} |= P {P Q, Q R} |= P R {P Q, P } |= Q {P Q, Q} |= P {P Q, P Q} |= Q {P Q} |= P Q {P Q} |= Q P {P Q, Q P } |= P Q {P, P } |= Q NOMBRE Ley de Combinaci on Leyes de Simplicaci on Leyes de Adici on Modus Ponens Modus Tollens Silogismo Hipot etico Silogismos Disyuntivos Prueba por casos Eliminaci on de la equivalencia Introducci on de la equivalencia Ley de Inconsistencia