

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Símbolos para os conetivos lógicos:
Negação ∼
Conjunção ∧
Disjunção ∨
Disjunção exclusiva ⨁
Condicional →
Bicondicional ↔
A tabela verdade de (𝐏 ∨ 𝐐) ∧ (∼ 𝑷➞𝐐) é:
Tautologia.
Tautologia do tipo consequência lógica.
Tautologia do tipo equivalência.
Contingência.
Contradição.