quais são as possíveis equivalências de uma condicional?
P > Q = ~Q > ~P
P > Q = ~P OU Q
qual a equivalência de uma disjunção inclusiva?
~ (P e Q) = ~P OU ~Q
qual a negação de uma disjunção inclusiva?
~ (P ou Q) = ~P e ~Q
qual a negação de uma condicional?
~ (P -> Q) = P e ~Q
Qual é o único conector que não tem característica comutativa?
condicional
P -> Q não é igual Q -> P