- De acordo com os seguintes predicados, decodifique as seguintes sentenças em lógica de predicados:
cria y
: x é pessoa
: x é animal
1: Lucas
a)
b)
c)
d)
1: Lucas
a)
b)
c)
d)
Passo 1
O enunciado fornece os predicados
e a constante
que representa Lucas. Nosso objetivo é traduzir cada fórmula para uma frase em português.
Passo 2
A sentença
diz que “existe ao menos um
que seja um animal e que Lucas crie esse
”. Em palavras:
“Lucas cria pelo menos um animal.”
“Lucas cria pelo menos um animal.”
Passo 3
A sentença
diz que “para toda
, se
é pessoa, então existe algum
que seja animal e que
crie esse
”. Em palavras:
“Toda pessoa cria pelo menos um animal.”
“Toda pessoa cria pelo menos um animal.”
Passo 4
A sentença
diz que “existe algum
que é pessoa e, para todo
, se
é animal, então
não cria
”. Em palavras:
“Há pelo menos uma pessoa que não cria nenhum animal.”
“Há pelo menos uma pessoa que não cria nenhum animal.”
Passo 5
A sentença
diz que “para todo
, se
é animal, então existe algum
que é pessoa e que cria
”. Em palavras:
“Todo animal é criado por alguma pessoa.”
“Todo animal é criado por alguma pessoa.”
Resposta
a) Lucas cria pelo menos um animal.
b) Toda pessoa cria pelo menos um animal.
c) Há pelo menos uma pessoa que não cria nenhum animal.
d) Todo animal é criado por alguma pessoa.
b) Toda pessoa cria pelo menos um animal.
c) Há pelo menos uma pessoa que não cria nenhum animal.
d) Todo animal é criado por alguma pessoa.