Questão 3806698

• Banca: UFBA
• Órgão: UFBA
• Ano: 2013
• Provas: UFBA - 2013 - UFBA - Vestibular de Computação
• Disciplina: Raciocínio Lógico
• Assuntos: Tautologia, Contradição e Contingência

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 σ.

• C. Certo
• E. Errado

Gabarito: E