Legenda para os símbolos lógicos:v Representa a disjunção inclusiva (ou).^ Representa a conjunção (e).~ Representa a negação.→ Representa o condicional (se...então).↔ Representa o bicondicional (se e somente se). A classificação do resultado da tabela-verdade associada à fórmula (∼(∼p ∧ q)∧ p →∼q ∨ p) é:

A classificação do resultado da tabela-verdade associada à...

Q1734754

Legenda para os símbolos lógicos:

A classificação do resultado da tabela-verdade associada à fórmula

$(\sim (\sim p \land q) \land p \to \sim q \lor p)$

é:

Contradição.

Contingência.

Tautologia.

Tautologia e implicação lógica.

Tautologia e equivalência lógica.