Imagem de fundo

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

Lista de símbolos lógicos:


~ negação

∧ conjunção

∨ disjunção

⊕ disjunção exclusiva

→ condicional

↔ bicondicional

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


A

Tautologia.


B

Contradição.


C

Contingência.


D

Tautologia e equivalência lógica.


E

Tautologia e implicação lógica.