Transcreva estas proposições para o português, em que R(x) é " x é um coelho" e H(x) é " x salta" e o domínio são todos os animais.
\exists x(R(x) \wedge H(x))

Passo 1

O enunciado pede para traduzir para o português a fórmula de lógica de predicados
\exists x \bigl(R(x)\wedge H(x)\bigr)
onde o domínio são todos os animais, R(x) significa “ x é um coelho” e H(x) significa “ x salta”.

Passo 2

A interpretação de \exists x\bigl(R(x)\wedge H(x)\bigr) é “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.”

Resposta

Existe pelo menos um coelho que salta.

Exercícios de Livros Relacionados