

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