Questão 1330060

• Banca: FMP Concursos
• Órgão: PROCEMPA
• Ano: 2012
• Provas: FMP Concursos - 2012 - PROCEMPA - Analista de Infraestrutura Computacional; FMP Concursos - 2012 - PROCEMPA - Analista de Programação de Sistemas Informatizados e Georeferenciados; FMP Concursos - 2012 - PROCEMPA - Analista de Redes Computacionais; FMP Concursos - 2012 - PROCEMPA - Designer; FMP Concursos - 2012 - PROCEMPA - Engenheiro
• Disciplina: Raciocínio Lógico
• Assuntos: Lógica de Argumentação - Diagramas e Operadores Lógicos

Se Carlos passou, então ele estudou. Logo:

• A. Se Carlos não estudou, então ele não passou.
• B. Carlos estudou.
• C. Se Carlos não passou, então ele não estudou.
• D. Carlos passou.
• E. Se Carlos estudou, então ele passou.

Gabarito: A

Comentários

• Acredito que seja uma questão de equivalência.  Gabarito A.

  Dizemos que duas proposições são equivalentes se elas forem formadas pelas mesmas proposições simples e suas tabelas-verdade forem iguais. Ou seja, pra os mesmos valores lógicos de suas proposições simples, seus valores resultantes serão sempre os mesmos. Usamos para a equivalência o símbolo "<------>" 

• Equivalência  da Condicional

  Se Carlos passou, então ele estudou.

  C: Carlos Passou

  E: ele estudou

  c-> E <-----> ~E -> ~C
  

• Gabarito: A

  
  

  Questão de equivalência lógica!

  
  

  p: Carlos passou

  q: Carlos estudou

  
  

  p → q = ~q → ~p 

  Troca de posições e nega as proposições.

  
  

  Vejamos:

  Se Carlos passou, então ele estudou = Se Carlos não estudou, então ele não passou

        (  p         →          q )            =               (  ~q          →      ~p )