Pular para o conteúdo principal

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

Raciocínio LógicoEquivalência Lógica e Negação de Proposições
Código
ce222552
Banca
CESPE / CEBRASPE
Órgão
BANRISUL
Ano
2025
Nível
Superior
Assinale a opção em que é corretamente apresentada a proposição lógica equivalente à (P ˄ Q) ˅ (R ˄ S).
  1. A(P ˅ S) ˄ (P ˅ R) ˅ ((R ˅ Q) ˄ S)
  2. B(P ˄ S) ˄ (R ˅ Q)
  3. C(R ˅ S) ˅ (P ˅ Q)
  4. D((P ˅ R) ˄ (Q ˅ R)) ˄ ((P ˄ Q) ˅ S)
  5. E(P ˅ R) ˅ (Q ˅ S)
Revelar gabarito e comentário

GabaritoD — ((P ˅ R) ˄ (Q ˅ R)) ˄ ((P ˄ Q) ˅ S)

Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.

Raciocínio Lógico – Equivalência Lógica

Gabarito: letra D. A proposição (PQ)(RS)(P \land Q) \lor (R \land S) é equivalente a ((PR)(QR))((PQ)S)((P \lor R) \land (Q \lor R)) \land ((P \land Q) \lor S), obtida pela aplicação sucessiva da propriedade distributiva da conjunção sobre a disjunção. As demais alternativas falham em preservar a tabela-verdade original.

A banca testa a capacidade de manipular expressões lógicas usando equivalências notáveis, especialmente a distributiva. A resolução mais direta é simplificar a alternativa D e verificar que ela se reduz à original.

  1. 1Expressão original: (P∧Q)∨(R∧S)
  2. 2Distributiva: (P∨R)∧(Q∨R)
  3. 3Junção: [(P∧Q)∨R]
  4. 4Distributiva: [(P∧Q)∨R]∧[(P∧Q)∨S]
  5. 5Resultado: (P∧Q)∨(R∧S)
LEVEL · soulevel.com.br

Alternativa A — ❌ Incorreta

A=(PS)(PR)((RQ)S)A = (P \lor S) \land (P \lor R) \lor ((R \lor Q) \land S). A expressão é mal formada (falta parênteses para definir a precedência), mas mesmo interpretando como [(PS)(PR)][(RQ)S][(P \lor S) \land (P \lor R)] \lor [(R \lor Q) \land S], ela não é equivalente. Por exemplo, quando P=V,Q=F,R=F,S=VP=V, Q=F, R=F, S=V, a original é falsa, mas A é verdadeira (primeira parcela verdadeira).

Alternativa B — ❌ Incorreta

B=(PS)(RQ)B = (P \land S) \land (R \lor Q). Esta conjunção é muito mais restritiva que a original. Exemplo: P=F,Q=V,R=V,S=VP=F, Q=V, R=V, S=V torna a original verdadeira (pois RSR\land S é verdade), mas B é falsa (pois PSP\land S é falsa).

Alternativa C — ❌ Incorreta

C=(RS)(PQ)=PQRSC = (R \lor S) \lor (P \lor Q) = P \lor Q \lor R \lor S. A original é falsa quando exatamente uma das conjunções é falsa e a outra também? Na verdade, original é falsa apenas quando nem (PQ)(P\land Q) nem (RS)(R\land S) são verdadeiras. Por exemplo, P=V,Q=F,R=F,S=FP=V, Q=F, R=F, S=F: original falsa, mas CC verdadeira (pois PP é verdade). Discrepância.

Alternativa D — ✅ Correta ⟵ GABARITO

D=((PR)(QR))((PQ)S)D = ((P \lor R) \land (Q \lor R)) \land ((P \land Q) \lor S).

Simplificação:

  • Primeiro, (PR)(QR)(PQ)R(P \lor R) \land (Q \lor R) \equiv (P \land Q) \lor R (distributiva: (AB)(CB)(AC)B(A\lor B)\land(C\lor B) \equiv (A\land C)\lor B).

  • Então D[(PQ)R][(PQ)S]D \equiv [(P \land Q) \lor R] \land [(P \land Q) \lor S].

  • Aplique novamente a distributiva: (XR)(XS)X(RS)(X \lor R) \land (X \lor S) \equiv X \lor (R \land S), com X=PQX = P \land Q.

  • Logo D(PQ)(RS)D \equiv (P \land Q) \lor (R \land S), que é exatamente a proposição original. Portanto, são equivalentes.

Alternativa E — ❌ Incorreta

E=(PR)(QS)=PQRSE = (P \lor R) \lor (Q \lor S) = P \lor Q \lor R \lor S, mesma falha de C.

PEGA ESSA DICA!

Sempre que uma alternativa parecer muito diferente da original, tente simplificá-la usando as leis de distribuição e De Morgan. A equivalência (AB)(CD)(A\land B)\lor(C\land D) pode ser reescrita como (AC)(AD)(BC)(BD)(A\lor C)\land(A\lor D)\land(B\lor C)\land(B\lor D) (quatro termos), mas aqui a banca usou uma simplificação engenhosa em duas etapas.

MNEMÔNICO
NEYMAR
MA(R)MAntém a segunda parte (o que vem depois do ENTÃO). Assim, P→Q equivale a ~P ∨ Q ('não P ou Q'). NE = NEga a primeira parte da proposição (o que está entre o SE e o ENTÃO)Ya letra Y traz no topo o símbolo 'V', que representa a disjunção 'OU' (∨), ou seja, troca-se a condicional pelo 'ou'
Equivalência do condicional (Se...então) → disjunção

Gabarito: letra D

Link permanente: /questoes/ce222552