Para cada grupo de premissas abaixo, qual conclusão ou conclusões relevantes podem ser tiradas? Explique as regras de inferência utilizadas para obter cada conclusão das premissas.
“O que é bom para as corporações é bom para os Estados Unidos.” “O que é bom para os Estados Unidos, é bom para você.” “O que é bom para as corporações é você comprar muitas coisas.”
“O que é bom para as corporações é bom para os Estados Unidos.” “O que é bom para os Estados Unidos, é bom para você.” “O que é bom para as corporações é você comprar muitas coisas.”
Passo 1
O enunciado dá três premissas sobre “o que é bom para corporações”, “o que é bom para os Estados Unidos” e “o que é bom para você”. O conteúdo é lógica de implicação em que usaremos as regras de silogismo hipotético e modus ponens para chegar às conclusões.
Passo 2
Formalizamos as premissas com predicados: seja
= “
é bom para as corporações”,
= “
é bom para os Estados Unidos” e
= “
é bom para você”. Então temos:
Passo 3
Aplicamos silogismo hipotético (de
e
inferimos
) às duas primeiras premissas e obtém-se
Passo 4
Instanciamos
(regra de especialização) e depois usamos modus ponens:
- De
e
vem
ou seja, “comprar muitas coisas é bom para os Estados Unidos.”
- Em seguida, de
e
vem
ou seja, “comprar muitas coisas é bom para você.”
Resposta
“Comprar muitas coisas é bom para os Estados Unidos.”
“Comprar muitas coisas é bom para você.”
“Comprar muitas coisas é bom para você.”