Equivalencias e Implicaciones Logicas

TAII(I)
Existe un conjunto de equivalencias e implicaciones l
ogicas que pueden
utilizarse como esquemas de sustitucion en procesos de razomamiento, o como
esquemas de razonamientos validos respectivamente. A continuacion se muestra
un breve resumen de las mas 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 Contradiccion
Def. de la doble implicacion en funcion de la implicacion
Def. de la implicacion en funcion de la disyuncion
Def. de la implicacion en funcion de la conjuncion
Leyes de la Identidad
Leyes de Dominacion
Leyes de la Idempotencia
Ley de la Doble Negacion
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 Combinacion
Leyes de Simplificacion
Leyes de Adicion
Modus Ponens
Modus Tollens
Silogismo Hipotetico
Silogismos Disyuntivos
Prueba por casos
Eliminacion de la equivalencia
Introduccion de la equivalencia
Ley de Inconsistencia