Para cada argumento a seguir, aponte quais regras de inferência foram utilizadas em cada passo.
“Cada um dos 93 estudantes nesta classe possuem seu próprio computador. Todos que possuem seu próprio computador podem usar um programa de processamento de palavras. Por isso, Zeke, um estudante da sala, pode usar um programa de processamento.”

Passo 1

O enunciado afirma que “cada um dos 93 estudantes da classe possui seu próprio computador” e que “todos que possuem computador podem usar um programa de processamento de palavras”. Queremos mostrar que, de fato, Zeke pode usar esse programa. O conteúdo aqui é Inferência em Lógica de Predicados, e vamos usar principalmente Instanciamento Universal e Modus Ponens.

Passo 2

Formalizamos as informações assim:
\forall x\,\bigl(Estud(x)\to Com(x)\bigr)
\forall x\,\bigl(Com(x)\to Prog(x)\bigr)
e sabemos também que Estud(Zeke).

Passo 3

Aplicando Instanciamento Universal (UI) na primeira premissa para o indivíduo Zeke, tiramos:
Estud(Zeke)\to Com(Zeke)

Passo 4

Como temos Estud(Zeke) e Estud(Zeke)\to Com(Zeke), por Modus Ponens (MP) concluímos Com(Zeke).

Passo 5

Agora aplicamos Instanciamento Universal na segunda premissa para Zeke, obtendo:
Com(Zeke)\to Prog(Zeke)

Passo 6

E como já temos Com(Zeke) junto com Com(Zeke)\to Prog(Zeke), por Modus Ponens concluímos Prog(Zeke), isto é, Zeke pode usar um programa de processamento de palavras.

Resposta

Passo 3: Instanciamento Universal
Passo 4: Modus Ponens
Passo 5: Instanciamento Universal
Passo 6: Modus Ponens

Exercícios de Livros Relacionados