Questão 1139287

• Banca: Prefeitura do Rio de Janeiro - RJ
• Órgão: TCM-RJ
• Ano: 2011
• Provas: Prefeitura do Rio de Janeiro - RJ - 2011 - TCM-RJ - Analista de Informação; Prefeitura do Rio de Janeiro - RJ - 2011 - TCM-RJ - Engenheiro
• Disciplina: Raciocínio Lógico
• Assuntos: Equivalência Lógica e Negação de Proposições; Equivalências - Proposições Logicamente Equivalentes

A afirmação “se Adir é arquiteto e Benito é engenheiro, então Carlos é matemático” é logicamente equivalente a:

• A. se Carlos é matemático, então Adir é arquiteto e Benito é engenheiro
• B. se Carlos não é matemático, então Adir não é arquiteto e Benito não é engenheiro
• C. se Carlos não é matemático, então Adir é arquiteto ou Benito é engenheiro
• D. se Carlos não é matemático, então Adir é arquiteto ou Benito não é engenheiro
• E. se Carlos não é matemático, então Adir não é arquiteto ou Benito não é engenheiro

Gabarito: E

Comentários

• Para resolver essa questão, tem que se ter em mente que:

  p ---> q é equivalente a ~q -->~p

  ~(p ^q)     =    ~p \/ ~q

  
  

  
  

  Logo, trazendo para o exemplo da questão:

  p = Adir é arquiteto e Benito é engenheiro

  q = Carlos é matemático

  
  

  O que implica:

  ~p = Adir não é arquiteto ou Benito não é engenheiro

  ~q = Carlos não é matemático

  
  

  Finalmente temos que: 

  "se Adir é arquiteto e Benito é engenheiro, então Carlos é matemático" é equivalente a "se Carlos não é matemático, então Adir não é arquiteto ou Benito não é engenheiro"

  
  

  Gabarito: alternativa e.