EQUIVALENCIAS LÓGICAS

Equivalencias por conmutabilidad

 Por disyunción
(p v q) <-> (q v p)
 Por conjunción
(p ^ q) <-> (q ^ p)
 Por doble implicación
(p <-> q) <-> (q <-> p)

Equivalencias por asociatividad

 Asociatividad de la disyunción
((p v q) v r) <-> (p v (q v r))
 Asociatividad de la conjunción
((p ^ q) ^ r) <-> (p ^ (q ^ r))

Equivalencias por distribución

 Ley distributiva
(p v (q ^ r)) <-> ((p v q) ^ (p v r))
(p ^ (q v r)) <-> ((p ^ q) v (p ^ r))

Equivalencias de negación

 Ley de Morgan
¬ (p v q) <-> (¬ p ^ q)
 2da Ley de Morgan
¬ (p ^ q) <-> (¬ p v ¬q)
 Negación de la implicación
¬ (p -> q) <-> (p ^ ¬ q)

Otras

 Contra recíproco
(p -> q) <-> (¬q -> ¬p)
 Principio de doble implicación
(p <-> q) <-> ((p -> q) ^ (q -> p))
(p -> q) <-> (¬p v q)

REGLAS DE INFERENCIA

((p -> q) ^ p) -> q (Modus ponens)

((p -> q) ^ ¬q) -> ¬p (Modus Tollendo Tollens)
(p ^ q) -> p, (p ^ q) -> q (simplificación)
P -> (p v q), q -> (p v q) (adición)
((p v q) ^ ¬ p) -> q, ((p v q) ^ ¬q) -> p (Eliminación de la falsa en la disyunción)
((p ^ q) ^ p) -> q, ((p ^ q) ^ q) -> p (Eliminación de la verdadera de la conjunción)
((p -> q) ^ (q -> r)) -> (p -> r) (Transitividad de la implicación)
((p v q) ^ (p -> r) ^ (q -> r)) -> r (Disyunción de casos)