Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2026
- Código
- ce232461
- Banca
- CESPE / CEBRASPE
- Órgão
- UDESC
- Ano
- 2026
- Nível
- Médio
- CCerto
- EErrado
GabaritoC — Certo
Gabarito: Certo. A proposição P é "Se (atacou o animal e ficou provado), então respondeu" – ou seja, (A ∧ B) → C. A afirmação apresentada é "Se não respondeu, então não atacou o animal ou não ficou provado" – ¬C → (¬A ∨ ¬B). Esta é exatamente a contrapositiva da proposição original, que é logicamente equivalente.
A equivalência decorre de duas transformações clássicas:
Contrapositiva: p → q ≡ ¬q → ¬p. Aqui p = (A ∧ B) e q = C, logo obtemos ¬C → ¬(A ∧ B).
De Morgan: ¬(A ∧ B) ≡ ¬A ∨ ¬B. Portanto, a contrapositiva se torna ¬C → (¬A ∨ ¬B).
Como ambas as formas possuem a mesma tabela-verdade, são equivalentes.
Ao verificar equivalências com condicionais, sempre teste a contrapositiva (nega e inverte). Para negações de conjunções/disjunções, lembre-se de De Morgan: negar o "e" vira "ou" com as negações, e vice-versa.
✅ Assim, o item está CERTO.
Link permanente: /questoes/ce232461