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) \rightarrow H(x))

Passo 1

Temos a fórmula
\exists x\bigl(R(x)\rightarrow H(x)\bigr)
onde R(x) significa “ x é um coelho” e H(x) significa “ x salta”. O domínio são todos os animais.

Passo 2

A interpretação de R(x)\rightarrow H(x) é “se x é um coelho, então x salta”. E \exists x quer dizer “existe pelo menos um animal x” para o qual essa condição vale.

Resposta

“Existe pelo menos um animal que, se for um coelho, então salta.”

Exercícios de Livros Relacionados