Imagem de fundo

Considerando R e S proposições simples, a tabela verdade da...

Lista de Símbolos lógicos:

~ negação

^ conjunção

v disjunção

⊕ disjunção exclusiva

→ condicional

↔ bicondicional

Considerando R e S proposições simples, a tabela verdade da fórmula (R → S) ↔ (Sv~R) é:


A

Tautologia.


B

Contradição.


C

Contingência.


D

Tautologia e equivalência lógica.


E

Tautologia e implicação lógica.