Relaciones Lógicas
Relaciones Lógicas
Relaciones Lógicas
6
Leyes Condicionales
p ⇒ q ≡ ~p v q
~(p ⇒ q) ≡p ^ ~q
Leyes Bicondicionales
(p ⇔ q) ≡ (p ⇒ q) ^ (q ⇒ p)
(p ⇔ q) ≡(p ^ q) v(~ p ^ ~ q)
Ley de Transposición
(p ⇒ q) ≡ (~q ⇒ ~p)
(p ⇔ q) ≡ (~q ⇔ ~p)
Disyunción Fuerte
p∆q ≡(p v q) ^~ (p ^ q) 7
SIMPLIFICACIÓN DE PROPOSICIONES