Para responder a essa questão, considere φ, ψ, σ três senten...
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.
(¬φ) não é tautologia se, e somente se, φ é satisfazível.