Questão
ID 1230516Disciplina: Raciocínio Lógico
Assunto: Negação da Proposição Bicondicional
Ano: 2012 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Tribunal de Contas do Distrito Federal
Na auditoria de uma empresa, o auditor concluiu que: “Ocorreu desvio de recursos se, e somente se, o gerente financeiro e o presidente da empresa estiveram envolvidos nesse desvio”.
Considerando que a conclusão do auditor corresponde a uma proposição verdadeira, julgue os itens seguintes.
Considere que a proposição-conclusão do auditor possa ser escrita, simbolicamente, na forma P↔Q∧R, em que P, Q e R sejam proposições adequadamente escolhidas. Nesse caso, a negação da proposição-conclusão do auditor estará corretamente escrita na forma [(~P)∧(Q∧R)]V[~(Q∧R)∧P].