Questão FC149004
Considerando que, P, Q e R são proposições conhecidas, julgue o próximo item. A Proposição ¬[(P → Q) ∨ Q] é equivalente à proposição P ∧ (¬Q), em que ¬P é a negação de P.
Lógica de Proposições
CEBRASPE (CESPE) · 2013
A Proposição ¬[(P → Q) ∨ Q] é equivalente à proposição P ∧ (¬Q), em que ¬P é a negação de P.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Comentário: A proposição dada ¬[(P → Q) ∧ Q] pode ser simplificada utilizando as leis da lógica. Sabemos que a implicação P → Q é equivalente a ¬P ∨ Q, portanto, a negação da conjunção se torna ¬[(¬P ∨ Q) ∧ Q]. Aplicando a Lei de De Morgan, obtemos ¬(¬P ∨ Q) ∨ ¬Q, que se simplifica para P ∨ ¬Q. Assim, a proposição ¬[(P → Q) ∧ Q] é, de fato, equivalente a P ∧ ¬Q, confirmando que a afirmação original está correta.
Conteúdo do catálogo FC Concursos · Atualizado em