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

Passo 1

O enunciado apresenta a fórmula
\forall x\,(R(x)\rightarrow H(x))
no domínio “todos os animais”, em que R(x) significa “ x é um coelho” e H(x) significa “ x salta”. O objetivo é traduzir essa expressão para o português.

Passo 2

O quantificador \forall x (“para todo x”) indica que a propriedade vale para cada elemento do domínio, ou seja, para cada animal.

Passo 3

A implicação R(x)\rightarrow H(x) quer dizer: “se x é um coelho, então x salta”.

Passo 4

Unindo o quantificador e a implicação, obtemos a frase em português.

Resposta

Para todo animal x, se x é um coelho, então x salta.

Exercícios de Livros Relacionados