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.
“Todas as comidas que são saudáveis não têm um sabor bom.” “Tofu é uma comida saudável.” “Você come apenas o que tem gosto bom.” “Você não come tofu.” “Cheeseburgers não são comidas saudáveis.”
“Todas as comidas que são saudáveis não têm um sabor bom.” “Tofu é uma comida saudável.” “Você come apenas o que tem gosto bom.” “Você não come tofu.” “Cheeseburgers não são comidas saudáveis.”
Passo 1
Vamos formalizar as premissas em lógica de predicados. Seja o universo “alimentos” e definamos os predicados:
: “
é saudável”
: “
tem gosto bom”
: “você come
”
As premissas são:
O que vamos usar:
– Instanciação Universal (IU)
– Modus Ponens (MP)
– Contrapositiva
– Silogismo Hipotético (SH)
– Instanciação Universal (IU)
– Modus Ponens (MP)
– Contrapositiva
– Silogismo Hipotético (SH)
Passo 2
Aplicando IU em (P1) com
e depois MP usando (P2):
Ou seja, concluímos:
Passo 3
De (P3) tomamos a contrapositiva:
Instanciando em
e aplicando MP com
obtemos
o que reafirma (P4).
Passo 4
Também de (P1) extraímos sua contrapositiva geral:
Com isso e (P3) usamos Silogismo Hipotético:
Logo, concluímos:
Passo 5
Da premissa (P5)
e da conclusão
não podemos inferir
, pois de “se come então não saudável” e “cheeseburger não saudável” não decorre que você come cheeseburgers.
Resposta
As conclusões relevantes são:
(a) (tofu não tem gosto bom), obtido por Instanciação Universal em (P1) e Modus Ponens com (P2).
(b) (você não come tofu), obtido pela contrapositiva de (P3) e Modus Ponens com (a).
(c) (você só come o que não é saudável), obtido pela contrapositiva de (P1) e Silogismo Hipotético com (P3).
(d) Não há como concluir algo sobre além de que “cheeseburgers não são saudáveis” (P5).
(a)
(b)
(c)
(d) Não há como concluir algo sobre