Questão de Raciocínio LógicoEquivalências, Negações e Implicações Lógicas
- Banca:
- CESPE / CEBRASPE
- Órgão:
- TCE-RN
- Ano:
- 2026
- Cargo:
- Auditor de Controle Externo - Especialidade: Tecnologia da Informação
- Nível:
- Superior
- Modalidade:
- Certo ou Errado
- Código:
- CFP-149973-025
Julgue os itens a seguir, relativos a lógica sentencial, princípios de contagem e problemas geométricos.
Considere que um servidor do tribunal de contas tenha sintetizado a situação de um contrato em seu relatório com a seguinte proposição composta: "O empenho foi autorizado, ou a nota fiscal foi emitida, ou o pagamento deve ser liberado". Nesse caso, a proposição formulada pelo servidor é logicamente equivalente à proposição composta "Se o empenho foi autorizado e a nota fiscal foi emitida, então o pagamento deve ser liberado".
Considere que um servidor do tribunal de contas tenha sintetizado a situação de um contrato em seu relatório com a seguinte proposição composta: "O empenho foi autorizado, ou a nota fiscal foi emitida, ou o pagamento deve ser liberado". Nesse caso, a proposição formulada pelo servidor é logicamente equivalente à proposição composta "Se o empenho foi autorizado e a nota fiscal foi emitida, então o pagamento deve ser liberado".
Ver gabarito oficial
Gabarito: ERRADO.