Questão 2366269

• Banca: COPEVE-UFAL
• Órgão: ALGÁS
• Ano: 2014
• Provas: COPEVE-UFAL - 2014 - ALGÁS - Analista de Processos Organizacionais - Bacharel em qualquer Área de Conhecimento; COPEVE-UFAL - 2014 - ALGÁS - Engenheiro - Engenharia de Produção
• Disciplina: Raciocínio Lógico
• Assuntos: Problemas Lógicos

Sabe-se que “Se José é obeso, então ele não faz dieta alimentar”. Como José faz dieta alimentar, podemos concluir que José não é obeso. A inferência lógica aplicada é

• A. contraditória.
• B. predicativa.
• C. dedutiva.
• D. reflexiva.
• E. indutiva.

Gabarito: C

Comentários

• GABARITO: C

   

  A inferência é dedutiva porque se trata de uma equivalência da condicional.

   

  Se José é obeso, então ele não faz dieta alimentar         =          Se José faz dieta alimentar, então ele não é obeso.

                                (j --> ~d)                                                                              (d --> ~j)

   

  Essa é a regra clássica do "inverte e nega", utilizado para encontrar a equivalência de uma proposição condicional.

• A inferência dedutiva parte de uma observação universal (geral) para uma validação particular.

  Premissa1: p → ~q (Se José é obeso, então ele não faz dieta alimentar)

  Premissa2: q (José faz dieta alimentar)

  Conclusão:~p (José não é obeso)