Ano:2025•Banca:Cebraspe•Órgão:Tribunal de Contas do Estado do Rio Grande do Norte•Cargo:Auditor de Controle Externo - Especialidade: Tecnologia da Informação•Prova:Cebraspe - 2025 - Tribunal de Contas do Estado do Rio Grande do Norte - Auditor de Controle Externo - Especialidade: Tecnologia da Informação
Julgue o item a seguir, relativo 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".