Representação dos conetivos lógicos: Negação ∼ Conjunção ∧ Disjunção ∨ Disjunção exclusiva ⨁ Condicional → Bicondicional ↔ Representação dos conetivos lógicos: Negação ∼ Conjunção ∧ Disjunção ∨ Disjunção exclusiva ⨁ Condicional → Bicondicional ↔ A tabela verdade de (∼ 𝑷 ∧ (∼ 𝐏 → Q) → Q) é:

A tabela verdade de (∼ 𝑷 ∧ (∼ 𝐏 → Q) → Q) é:

Q1986667

Representação dos conetivos lógicos:

Negação ∼

Conjunção ∧

Disjunção ∨

Disjunção exclusiva ⨁

Condicional $\to$

Bicondicional ↔

A tabela verdade de (∼ 𝑷 ∧ (∼ 𝐏 $\to$ Q) $\to$ Q) é:

Tautologia.

Tautologia do tipo consequência lógica.

Tautologia do tipo equivalência.

Contingência.

Contradição.