Leyes (propiedades)
Inferencias
Ley conmutativa
pΛq≡qΛp
pVq≡qVp
Modus Ponens
p→q
p
q
Ley asociativa
(p Λ q) Λ r ≡ p Λ (q Λ r)
(p V q) V r ≡ p V (q V r)
Ley distributiva
p V (q Λ r) ≡ (p V q) Λ (p V r)
p Λ (q V r) ≡ (p Λ q) V (p Λ r)
Ley de Morgan
¬ (p Λ q) ≡ ¬p V ¬q
¬ (p V q) ≡ ¬p Λ ¬q
Ley de la absorción
p Λ (p V q) ≡ p
p V (p Λ q) ≡ p
Ley de la doble negación
¬(¬p) ≡ p
Ley de la negación inversa
p Λ ¬P ≡ F
p V ¬p ≡ T
Ley de la idempotencia
pΛp≡p
pVp≡p
Ley de la identidad
pVT≡T
pVF≡p
Equivalencias:
Condicional
p q≡¬ p∨q
Negación de la condicional
¬ p q≡ p∧¬q
Condicional vs contrapositiva
p q≡¬q ¬ p
Modus Tollens
p→q
¬q
¬p
Silogismo disyuntivo
pVq
¬p
q
Adición Disjuntiva
p
pVq
Simplificación conjuntiva
pΛq
p
Silogismo hipotético
p→q
q→r
p→r
Adición conjuntiva
p
q
pΛq
Regla de la contradicción
¬p → F
p
0
