Uma condicional, só pode ser equivalente a outra condicional ou a uma disjunção inclusiva. Dito isso, quais são as equivalências da condicional?
Equivalência da disjunção inclusiva em condicional
p v q é equivalente a ~p —> q
O que seria as Leis de Morgan?
Negação da conjunção e da disjunção inclusiva:
Negação da condicional ( se… então)
~(p→q) ≡ p ∧ ~q
Negação da conjunção (e) para a forma condicional (se…então)
~ ( p ∧ q) ≡ p —> ~q ou q –> ~p