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".