

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.
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) é:
Tautologia.
Contradição.
Contingência.
Tautologia e equivalência lógica.
Tautologia e implicação lógica.