Para cada argumento a seguir, aponte quais regras de inferência foram utilizadas em cada passo.
“Doug, um estudante desta sala, sabe como escrever programas em Java. Todos que sabem como escrever
programas em Java conseguem um emprego bem remunerado. Por isso, alguém nesta sala pode conseguir um emprego bem remunerado.”
“Doug, um estudante desta sala, sabe como escrever programas em Java. Todos que sabem como escrever
programas em Java conseguem um emprego bem remunerado. Por isso, alguém nesta sala pode conseguir um emprego bem remunerado.”
Passo 1
Resumindo o enunciado em lógica de predicados de primeira ordem (LPO):
Domínio: pessoas desta sala.
Predicados: : “
sabe programar em Java”.
: “
consegue um emprego bem remunerado”.
Premissas: \
.
\
.
Conclusão desejada: .
Vamos usar as regras de eliminação do quantificador universal, modus ponens e introdução do quantificador existencial.
Domínio: pessoas desta sala.
Predicados:
Premissas:
Conclusão desejada:
Vamos usar as regras de eliminação do quantificador universal, modus ponens e introdução do quantificador existencial.
Passo 2
Da premissa
aplicamos eliminação do quantificador universal (Instanciação Universal) substituindo
por
.
Obtém-se:
Obtém-se:
Passo 3
Usando modus ponens sobre
(premissa 1) e
(Passo 2), inferimos:
Passo 4
A partir de
aplicamos introdução do existencial (Generalização Existencial) para concluir:
Resposta
As regras de inferência utilizadas foram:
- Instanciação Universal (eliminação do
) no Passo 2. - Modus Ponens no Passo 3.
- Introdução do Existencial (generalização existencial) no Passo 4.