Questões de Concurso Público TC-DF 2023 para Auditor de Controle Externo – Área Auditoria

Assumindo que as proposições lógicas simples são representadas por letras maiúsculas e que a tabela precedente relaciona os símbolos lógicos usuais às operações lógicas que eles representam, julgue o item a seguir.


A proposição lógica (A⇒(B⇒C)) ⇔ ((A∧B)⇒C) é uma tautologia.

Assumindo que as proposições lógicas simples são representadas por letras maiúsculas e que a tabela precedente relaciona os símbolos lógicos usuais às operações lógicas que eles representam, julgue o item a seguir.

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.