Questão FC149018
Considerando que o símbolo lógico ∧ corresponda à conjunção “e”; ∨, à disjunção “ou”; →, à condicional “se..., então”; ↔, à bicondicional “se, e somente se”; ∼ corresponda à negaçã
Lógica de Proposições
CEBRASPE (CESPE) · 2013
A negação de S – ∼S – pode ser corretamente expressa por [∼P∨(Q∨R)]∧[(∼R) (P↔Q)].
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A afirmação está errada porque a negação de uma proposição composta deve ser feita utilizando a regra de De Morgan e a negação dos conectivos lógicos. A proposição S é dada por [P ∧ (Q ∨ R)] ∨ [R ∧ (P ∨ Q)], e sua negação, S̸, deve ser expressa como ¬[P ∧ (Q ∨ R)] ∧ ¬[R ∧ (P ∨ Q)], resultando em ¬P ∨ ¬(Q ∨ R) ∧ ¬R ∨ ¬(P ∨ Q). Portanto, a forma apresentada na afirmação não representa corretamente a negação de S.
Conteúdo do catálogo FC Concursos · Atualizado em