Transcreva estas proposições para o português, em que
é "
é um coelho" e
é "
salta" e o domínio são todos os animais.
Passo 1
O enunciado pede para traduzir para o português a fórmula de lógica de predicados
onde o domínio são todos os animais,
significa “
é um coelho” e
significa “
salta”.
Passo 2
A interpretação de
é “existe pelo menos um indivíduo no domínio tal que ele seja coelho e salte”. Como o domínio são todos os animais, podemos traduzir de forma natural para:
“Existe pelo menos um coelho que salta.”
“Existe pelo menos um coelho que salta.”
Resposta
Existe pelo menos um coelho que salta.