Quais regras de inferência são utilizadas no famoso argumento abaixo?
“Todos os homens são mortais. Sócrates é um homem. Por isso, Sócrates é mortal.”
“Todos os homens são mortais. Sócrates é um homem. Por isso, Sócrates é mortal.”
Passo 1
O argumento é “Todos os homens são mortais. Sócrates é um homem. Logo, Sócrates é mortal.”
Isso cabe em lógica de predicados de primeira ordem, pois envolve um quantificador universal e uma implicação.
Para formalizar e inferir o raciocínio, vamos precisar de duas regras: instanciação universal e modus ponens.
Isso cabe em lógica de predicados de primeira ordem, pois envolve um quantificador universal e uma implicação.
Para formalizar e inferir o raciocínio, vamos precisar de duas regras: instanciação universal e modus ponens.
Passo 2
Formalizamos usando
para “
é homem” e
para “
é mortal”. As fórmulas são:
Passo 3
Usamos a regra de instanciação universal (eliminação do
): a partir de
podemos instanciar
e obter
Passo 4
Aplicamos modus ponens (eliminação do condicional): das premissas
e
inferimos
Resposta
- Instanciação universal (eliminação do quantificador
). - Modus ponens (eliminação do condicional
).