Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
- Gran Questões
- Disciplinas
- Matemática
- Q4458638
Sabe-se que, em lógica proposicional clássica, a implicação...
Sabe-se que, em lógica proposicional clássica, a implicação 𝑝 → 𝑞 é logicamente equivalente à proposição ~𝑝 ∨ 𝑞. Com base nisso, analise a proposição composta a seguir:
(𝑝 → 𝑞) ↔ (~𝑝 ∨ 𝑞).
Considerando a tabela-verdade da proposição dada, assinale a alternativa que indica a classificação correta dessa proposição
A
Contingência, pois assume valores verdadeiros e falsos.
B
Contradição, pois a proposição é sempre falsa.
C
Tautologia, pois a proposição é sempre verdadeira.
D
Contradição, pois é equivalente a 𝑝 ∨ ~𝑞.