///
Esta questão foi aplicada no ano de 2013 pela banca UFBA no concurso para UFBA. 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 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.
Se ¬(φ∧ψ) e s é uma contradição, então φ∧ψ implica σ.