Equivalencia Lógica
Equivalencia Lógica
Equivalencia Lógica
a) (p V) ≡ p b) (p F) ≡ F [p (p q) ] q
c) (p V) ≡ V d) (p F) ≡ p
18) Ley de Modus Tollendo Ponens
8) Ley del Complemento
a) [(p q) ~ p] q
a) (p ~ p) ≡ F b) (p ~ p) ≡ V b) [(p q) ~ q] p
a) [p (p q)] ≡ p [~ q (p q) ] ~ p
b) [p (p v q)] ≡ p
c) [p (~ p q)] ≡ (p q)
d) [p (~ p v q)] ≡ (p q)
10) Ley de La Condicional
a) p q ≡ ~ p q
b) ~ (p q) ≡ p ~ q
pq≡~q~p