Questão 818608

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2012
• Provas: CESGRANRIO - 2012 - Petrobras - Engenheiro Civil - Grupo G - Nível Superior
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalência Lógica e Negação de Proposições; Equivalências - Proposições Logicamente Equivalentes

Se P, Q e R são afirmações lógicas, então a contraposição da implicação (P→Q)→R é logicamente equivalente à implicação

• A. ~R→ ((~Q)∧ P)
• B. ((~Q) →(~P)) → ~R
  
• C. ~R →((~P) ∨ Q)
• D. R →((~Q) → (~P))
  
• E. ~ (P →Q) → ~R
  

Gabarito: A

Comentários

• lembrando P→Q a negação é P^~Q, esta equivalente a ~Q^P

  (P→Q)→R, equivale a ~R→ ((~Q)∧ P), só negar as duas cruzado.

• ~R→ ((~Q)∧ P) é equivalente a (P->Q)->R consoante a tabela da verdade, a qual retorna v f v v v v f f para as 2 afirmações