Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2026

Equivalência Lógica – Condicional com Conjunção no Antecedente

✅ CERTO. A proposição original é uma condicional cujo antecedente é uma conjunção: (p ∧ ¬q) → r. A sua equivalente, pela eliminação do condicional (p → q ≡ ¬p ∨ q) e aplicação de De Morgan, resulta exatamente em ¬p ∨ q ∨ r, que é a proposição apresentada no enunciado.

A banca cobra a equivalência lógica do operador "se... então" com o conectivo "ou". A regra é: p → q ≡ ¬p ∨ q. Aplicando à proposição composta:

(p ∧ ¬q) → r ≡ ¬(p ∧ ¬q) ∨ r ≡ (¬p ∨ q) ∨ r ≡ ¬p ∨ q ∨ r

A proposição "O contrato não possui irregularidades na execução ou o gestor apresentou a defesa técnica ou o contrato será suspenso" corresponde exatamente a ¬p ∨ q ∨ r. Portanto, a afirmação está correta.

Gabarito: Certo (C).