///
Esta questão foi aplicada no ano de 2013 pela banca CESPE / CEBRASPE no concurso para SERPRO. A questão aborda conhecimentos da disciplina de Raciocínio Lógico e Quantitativo, especificamente sobre Introdução à Lógica, Proposições e Operadores Lógicos.
Esta é uma questão de múltipla escolha com 2 alternativas. Teste seus conhecimentos e selecione a resposta correta.
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ção “não”; P, Q e R sejam proposições simples; e S seja a seguinte proposição composta: [P∧~(Q∨R)]➝[R∧(P⬌Q)], julgue o próximo item.
A negação de S – ~S – pode ser corretamente expressa por [~P∨(Q∨R)]∧[(~R)∨~(P⬌Q)].