Considere os conetivos lógicos representados por: conjunção ...
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: