Questão FC149079
Julgue o próximo item, considerando os conectivos lógicos usuais ¬, ∧, ∨, →, ↔ e que P, Q e R representam proposições lógicas simples. A proposição [P → (Q∧R)] ↔ {[( ¬P) ∨ Q] ∧ [(¬
Lógica de Proposições
CEBRASPE (CESPE) · 2014
A proposição [P → (Q∧R)] ↔ {[( ¬P) ∨ Q] ∧ [(¬P) ∨ R]} é uma tautologia.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição dada é uma tautologia porque, ao aplicar as operações lógicas, ela resulta em um valor verdadeiro para todas as combinações possíveis das proposições P, Q e R. A estrutura da proposição combina as conectivas lógicas de tal forma que, independentemente dos valores de verdade atribuídos a P, Q e R, a expressão final sempre se manterá verdadeira. Isso é confirmado pela análise das tabelas verdade, onde todos os casos resultam em verdadeiro, caracterizando a tautologia. Portanto, a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em