Questão FC148948
Julgue o próximo item, considerando os conectivos lógicos usuais ¬, ∧, ∨, → e ↔, e que P, Q e R representam proposições lógicas simples. A proposição [(¬P)∨Q]↔{¬[P∧(¬Q)]} é uma tau
Lógica de Proposições
CEBRASPE (CESPE) · 2014
A proposição [(¬P)∨Q]↔{¬[P∧(¬Q)]} é uma tautologia.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição dada é uma tautologia porque, ao analisá-la através da tabela verdade, verificamos que ela é verdadeira para todas as combinações possíveis de valores de verdade das proposições simples P e Q. Ou seja, independente de P e Q serem verdadeiras ou falsas, a expressão se mantém verdadeira. Isso caracteriza uma tautologia, que é uma proposição que é sempre verdadeira, independentemente da veracidade das proposições que a compõem. Portanto, a afirmação está correta.
Conteúdo do catálogo FC Concursos · Atualizado em