Equivalncias lgicas

"ento" virando "ento"

p --> q = ~q --> ~p

inverte e nega
---------------------------------------------------------------

"ento" virando "ou"

p --> q = ~p v q

nega o primeiro, mantem o segundo e troca o conector --> por v

"ou" virando "ento"

p v q = ~p --> q
nega o primeiro, mantem o segundo e troca o conector v por -->

--------------------------------------------------------------
Negativa com distribuio de conectivo

~(p ^ q) = ~p v ~q

aplica-se a negativa e muda-se o conectivo

--------------------------------------------------------------
Negativa de uma condicional

~(p --> q) = p ^ ~q

mantem a primeira, nega a segunda e troca o conectivo --> por ^