Questão de Raciocínio Lógico — Equivalência Lógica e Negação de Proposições — CESPE / CEBRASPE 2023
- Código
- ce160848
- Banca
- CESPE / CEBRASPE
- Órgão
- SEFIN de Fortaleza - CE
- Ano
- 2023
- Nível
- Superior
- Cargo
- Auditor do Tesouro Municipal
- CCerto
- EErrado
GabaritoE — Errado
Gabarito: Errado. A proposição P original é uma tautologia, enquanto a proposição proposta não é. Assim, elas não são logicamente equivalentes.
Vamos representar as proposições simples:
t: "A pessoa trabalha com o que gosta"
f: "A pessoa está de férias"
z: "A pessoa é feliz"
A proposição P original é: (t ∧ f) → (z ∨ f). A proposição proposta é: (f ∨ z) → (t ∧ f).
Observe que (t ∧ f) → (z ∨ f) é sempre verdadeira, pois se (t ∧ f) é verdadeiro, então f é verdadeiro e consequentemente (z ∨ f) é verdadeiro. Se (t ∧ f) é falso, a condicional é verdadeira. Logo, P é uma tautologia.
Por outro lado, (f ∨ z) → (t ∧ f) não é tautológica. Por exemplo, considere f verdadeiro, t falso e z falso. Nesse caso, (f ∨ z) é verdadeiro, mas (t ∧ f) é falso, tornando a condicional falsa. Portanto, as duas proposições não possuem a mesma tabela-verdade, não sendo equivalentes.
Equivalentes notáveis importantes:
Equivalências da condicional: p → q ⇔ ¬q → ¬p (contrapositiva) p → q ⇔ ¬p ∨ q (transformação em disjunção)
A tentativa de equivalência proposta inverte o antecedente e o consequente, o que não é permitido – a condicional não é equivalente à sua recíproca, salvo em casos especiais (que não ocorrem aqui).
A banca tenta confundir o candidato ao apresentar a recíproca da condicional como se fosse equivalente. Lembre-se: a única equivalência que inverte a ordem é a contrapositiva (nega ambos e inverte). A recíproca simples (p→q ⇔ q→p) é falsa.
Conclusão: Como as proposições não são equivalentes, o item está Errado.
✅ CERTO — Não se aplica. ❌ ERRADO — É o gabarito.
Link permanente: /questoes/ce160848