///
Esta questão foi aplicada no ano de 2014 pela banca COPEVE-UFAL no concurso para CASAL. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Tautologia, Contradição e Contingência Lógica.
Esta é uma questão de múltipla escolha com 5 alternativas. Teste seus conhecimentos e selecione a resposta correta.
As fórmulas lógicas
(P ^ Q → R) ↔ ( P → (Q → R)),
(x = 1 v x > 3) ↔ ~(x < 3 ^ x = 1),
~P → Q ^ P,
são, respectivamente,