Questão 32 CEBRASPE TCDF 2023: Lógica Proposicional (Auditor, Tecnologia da Informação)
CEBRASPE · TCDF 2023 · Auditor de Controle Externo, Área Especializada, Especialidade Tecnologia da Informação · Questão 32 de 160
Gabarito: Certo· ver por quê ↓Julgue os itens a seguir, relativos à lógica proposicional e à lógica de argumentação.
São logicamente equivalentes as sentenças I e II, a seguir.
I “Se o governador do DF indicou o presidente do TCDF e a Câmara Legislativa indicou o corregedor, então o ouvidor é apreciador de música clássica.”
II “Ou o presidente do TCDF não foi indicado pelo governador ou o corregedor não foi indicado pela Câmara Legislativa ou o ouvidor é apreciador de música clássica.”
Resposta comentada
Gabarito Certo
Comentário feito com IA a partir do gabarito oficial
A equivalência que resolve isso é a famosa: (lê-se: "se P então Q" é o mesmo que "não P ou Q"). Aqui, o antecedente é uma conjunção ("governador indicou e Câmara indicou"), então sua negação vira uma disjunção com as negações trocadas (Lei de De Morgan): .
- Correta: Certo. Aplicando… ver mais
No comentário inteiro: a justificativa completa do item.
Crie sua conta grátis pra ler o comentário inteiroNo Premium você estuda sem limite de tempo.
Fonte: CEBRASPE TCDF 2023 Auditor de Controle Externo - Área Especializada - Especialidade Tecnologia da Informação (Caderno Prova com justificativas). Reproduzida para fins de estudo.
Achou um erro? Avise