Questão 1199962

• Banca: COPEVE-UFAL
• Órgão: UFAL
• Ano: 2014
• Provas: COPEVE-UFAL - 2014 - UFAL - Programador Visual; COPEVE-UFAL - 2014 - UFAL - Técnico em Assuntos Educacionais
• Disciplina: Raciocínio Lógico
• Assuntos: Proposições Categóricas

Se João é professor de Lógica, então tem uma turma de Introdução à Computação. Se um professor tem uma turma de Introdução à Computação, então ele tirará férias dobradas. Logo, se João é professor de Lógica, então tirará férias dobradas.

A regra de inferência utilizada neste argumento foi

• A. Modus Ponens.
• B. Modus Tollens.
• C. Silogismo Hipotético.
• D. Silogismo Disjuntivo.
• E. Dilema Construtivo.

Gabarito: C

Comentários

• Silogismo Hipotético

  p --> q

  q --> r

  p --> r

• No Silogismo Hipotético, a implicação possui a propriedade transitiva.

  Assim, se chega a conclusão:

  P->Q : "Se João é professor de Lógica, então tem uma turma de Introdução à Computação."

  Q->R : "Se um professor tem uma turma de Introdução à Computação, então ele tirará férias dobradas."

  Logo: P->R : "Se João é professor de Lógica, então tirará férias dobradas."

• GABARITO C

  Para complementar:

  Modus Ponens: uma condicional como uma das premissas e o antecedente da condicional como outra premissa. A conclusão será o consequente da condicional.

  P → Q

  P

  _________

  Q

  Ps.: Sempre que afirmo o antecedente, posso concluir o consequente.

  Modus Tollens: Traz uma condicional como premissa e a negação do consequente dessa condicional como outra premissa. A conclusão será a negação do antecedente da condicional.

  P → Q

  ~ Q

  _________

  ~P