///
A sentença “A missão dos tribunais de contas é garantir que os recursos públicos sejam aplicados em favor de suprir as necessidades mais prementes dos contribuintes, por isso a atuação dos auditores públicos na análise dos processos que envolvem gastos públicos é muito importante” pode ser corretamente expressa pela proposição lógica P ⇒ Q.