Questão 1366831

• Banca: CESGRANRIO
• Órgão: Petrobras
• Ano: 2012
• Provas: CESGRANRIO - 2012 - Petrobras - Engenheiro A - Analista de Meio Ambiente - Grupo G - Nível Superior
• Disciplina: Raciocínio Lógico
• Assuntos: Fundamentos de Lógica

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

• A contrapositiva é obtida negando e invertendo o antecedente e o consequente da condicional.

  
  

  Assim, a contrapositiva de (p → q) → r é ~r → ~ (p → q).

  
  

  Fazendo a tabela verdade da condicional ~r → ~ (p → q) temos como resultado os valores lógicos V F V V V F V F que são os mesmos da ~r → ((~q) ∧ p).
  

• Não entendi. A negação da condicional não seria repetir a primeira e negar a segunda.

  ( P ----> Q) /\ ~ R