Para responder a essa questão, considere φ, ψ, σ três senten...

Próximas questões
Com base no mesmo assunto
Ano: 2013 Banca: UFBA Órgão: UFBA Prova: UFBA - 2013 - UFBA - Vestibular de Computação |
Q1268897 Raciocínio Lógico

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

Alternativas