Voltar para a lista

Ano: 2023Banca: CESPE / CEBRASPECargo: Auditor de Controle Externo – Área AuditoriaConcurso: TC-DF

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.