Question

Quais regras de inferência são utilizadas neste famoso argumento?
"Todos os homens são mortais. Sócrates é um homem. Por isso, Sócrates é mortal."

A) Instanciação universal.

B) Instanciação universal e modus ponens.

C) Modus ponens.

D) Instanciação existencial e modus ponens.

E) Instanciação universal e modus tollens.

Answer 1

Resposta:

B) Instanciação universal e modus ponens.

Explicação:

A instalação universal é usada para concluir que "Se Sócrates for um homem, então Sócrates é mortal". Modus ponens é então usada para concluir que Sócrates é mortal.