EQUIVALENCIAS LÓGICAS

Ley Nombre
¬(¬p) ⌘ p Doble negación

p ^ ¬p ⌘ F Contradicción

p _ ¬p ⌘ V Ley del tercero excluido

(p _ q) ⌘ (q _ p)
(p ^ q) ⌘ (q ^ p) Leyes conmutativas
(p $ q) ⌘ (q $ p)

[(p _ q) _ r] ⌘ [p _ (q _ r)]
[(p ^ q) ^ r] ⌘ [p ^ (q ^ r)] Leyes asociativas

[p _ (q ^ r)] ⌘ [(p _ q) ^ (p _ r)]

[p ^ (q _ r)] ⌘ [(p ^ q) _ (p ^ r)] Leyes distributivas

(p _ p) ⌘ p
(p ^ p) ⌘ p Leyes de idempotencia

(p _ F ) ⌘ p
(p ^ V ) ⌘ p Leyes de identidad

(p ^ F ) ⌘ F
(p _ V ) ⌘ V Leyes de dominación

¬(p _ q) ⌘ (¬p ^ ¬q)

¬(p ^ q) ⌘ (¬p _ ¬q)
(p _ q) ⌘ ¬(¬p ^ ¬q) Leyes de Morgan
(p ^ q) ⌘ ¬(¬p _ ¬q)

(p ! q) ⌘ (¬q ! ¬p) Contraposición

(p ! q) ⌘ (¬p _ q)
(p ! q) ⌘ ¬(p ^ ¬q) Equivalencias para la
(p _ q) ⌘ (¬p ! q) implicación
(p ^ q) ⌘ ¬(p ! ¬q)

[(p ! r) ^ (q ! r)] ⌘ [(p _ q) ! r]

[(p ! q) ^ (p ! r)] ⌘ [p ! (q ^ r)]

(p $ q) ⌘ (p ! q) ^ (q ! p) Ley del bicondicional

[(p ^ q) ! r] ⌘ [p ! (q ! r)] Ley de exportación

p ^ (p _ q) ⌘ p ⌘ p _ (p ^ q) Ley de absorción

AN/UCV/EquivLógicas/II-2011