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.”
“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:
e sabemos também que
.
Passo 3
Aplicando Instanciamento Universal (UI) na primeira premissa para o indivíduo
, tiramos:
Passo 4
Como temos
e
, por Modus Ponens (MP) concluímos
.
Passo 5
Agora aplicamos Instanciamento Universal na segunda premissa para
, obtendo:
Passo 6
E como já temos
junto com
, por Modus Ponens concluímos
, 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
Passo 4: Modus Ponens
Passo 5: Instanciamento Universal
Passo 6: Modus Ponens