Imagem de fundo

Considere as seguintes representações para os conetivos:...

Considere as seguintes representações para os conetivos: conjunção (), negação ( ¬ ), condicional (→) e bicondicional (↔). Para os símbolos proposicionais e , a tabela-verdade da fórmula (𝑃 → ¬𝑄) ↔ (𝑃) é uma:


A

Tautologia.


B

Contingência.


C

Contradição.


D

Equivalência Lógica.