Questões de Vestibular
Sobre tautologia, contradição e contingência em raciocínio lógico
Foram encontradas 9 questões
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.
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.
(¬φ) não é tautologia se, e somente se, φ é satisfazível.
Se φ →ψ → σ →φ, então as três sentenças φ, ψ, σ são logicamente equivalentes.

Com base no texto acima, assinale a opção correta no item que
se segue.

Considerando a relação estabelecida entre as duas asserções acima, assinale a opção correta.