Questões de Vestibular UFBA 2013 para Vestibular de Computação

Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.

(¬φ) não é tautologia se, e somente se, φ é satisfazível.

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

Para responder a essa questão, considere φ, ψ, σ três sentenças em uma teoria matemática.

A implicação lógica φ → ψ é falsa, somente se φ for verdadeira e ψ for falsa.