Considere os conetivos lógicos representados por: conjunção (∧), disjunção(∨), negação (¬) e condicional (→) e as fórmulas proposicionais abaixo. Sendo P, Q e R proposições simples.

 

A: ¬ (P∧Q) ∧R→¬P∨R

B: ¬ (P→Q) → (¬ P→¬ Q)

 

De acordo com a interpretação das fórmulas proposicionais acima e suas tabelas-verdade: