Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2024
- Código
- ce192142
- Banca
- CESPE / CEBRASPE
- Órgão
- Prefeitura de Cachoeiro de Itapemirim - ES
- Ano
- 2024
- Nível
- Superior
- CCerto
- EErrado
GabaritoE — Errado
Gabarito: Errado (E). A proposição P, “Aceito viajar com uma condição: eu dirijo”, deve ser interpretada como uma condicional: “Se aceito viajar, então eu dirijo” (p → q). A negação de uma condicional é dada pela equivalência lógica ~(p → q) ≡ p ∧ ~q, ou seja, “Aceito viajar e não dirijo”. A expressão apresentada, “Não aceito viajar com uma condição: eu não dirijo”, corresponde na verdade à contrapositiva (~q → ~p), que é logicamente equivalente à proposição original, e não sua negação. Portanto, o item está errado.
p (aceito viajar) | q (dirijo) | p → q (original) | ~(p → q) (negação correta) | ~q → ~p (contrapositiva) |
|---|---|---|---|---|
V | V | V | F | V |
V | F | F | V | F |
F | V | V | F | V |
F | F | V | F | V |
A banca troca a negação da condicional pela contrapositiva. Enquanto a negação exige manter o antecedente e negar o consequente (com conectivo “e”), a contrapositiva inverte e nega ambos os termos, mantendo o “se… então” – e é equivalente à original. Fique atento: ~(p → q) = p ∧ ~q, nunca ~q → ~p.
Referência lógica: O material de apoio apresenta a fórmula ~(p → q) ⇔ p ∧ ~q, que é a regra aplicada.
Link permanente: /questoes/ce192142