Questão nº 24

Questão de Raciocínio Lógico · CEBRASPE INFRA S.A. 2026 (nº 24)

CEBRASPE2026ComumRaciocínio Lógico

No que concerne à lógica proposicional, julgue os itens que se seguem, considerando que as letras maiúsculas representem proposições simples e que os demais símbolos utilizados sejam os símbolos lógicos comuns.


A proposição lógica (P ˄ Q) → R é equivalente à proposição lógica R ˅ (~P) ˅ (~Q).

Resposta comentada

Equivalência é só "dizer a mesma coisa de outro jeito". A implicação A→BA \to B equivale a ∼A∨B\sim A \lor B (nega o antecedente, troca por OU). Aqui o antecedente é (P∧Q)(P \land Q), então ∼(P∧Q)∨R\sim(P \land Q) \lor R. Pela Lei de De Morgan, ∼(P∧Q)=∼P∨∼Q\sim(P \land Q) = \sim P \lor \sim Q. Juntando: R∨∼P∨∼QR \lor \sim P \lor \sim Q.

  • Correta: Certo. (P∧Q)→R≡∼(P∧Q)∨R≡∼P∨∼Q∨R(P \land Q) \to R \equiv \sim(P \land Q) \lor R \equiv \sim P \lor \sim Q \lor R, que é a mesma coisa que R∨∼P∨∼QR \lor \sim P \lor \sim Q (a ordem do OU não importa).

Fica de olho: a banca troca o conectivo final — em vez de ∨\lor, coloca ∧\land (ex.: R∧∼P∧∼QR \land \sim P \land \sim Q) ou mantém o →\to sem negar o antecedente (ex.: ∼P∨∼Q→R\sim P \lor \sim Q \to R). Nos dois casos fica errado. Outra pegadinha clássica: negar só uma das parcelas do antecedente, tipo ∼P∨Q∨R\sim P \lor Q \lor R.

Fonte: CEBRASPE INFRA S.A. 2026 Conhecimentos Comuns. Reproduzida para fins de estudo.

Continue estudando

Estudar é izi

Pratique milhares de questões como esta, de graça, com explicação e gamificação no Quizinho.

Estudar de graça no Quizinho