Imagem de fundo

A tabela verdade de (𝐏 ∨ 𝐐) ∧ (∼ 𝑷➞𝐐) é:

Símbolos para os conetivos lógicos:


Negação ∼

Conjunção ∧

Disjunção ∨

Disjunção exclusiva ⨁

Condicional

Bicondicional ↔

A tabela verdade de (𝐏 ∨ 𝐐) ∧ (∼ 𝑷➞𝐐) é:


A

Tautologia.


B

Tautologia do tipo consequência lógica.


C

Tautologia do tipo equivalência.


D

Contingência.


E

Contradição.