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

Passo 1

O enunciado pede para traduzir a fórmula
\forall x\,(R(x)\wedge H(x))
onde R(x) significa “ x é um coelho” e H(x) significa “ x salta”, tomando como domínio todos os animais.

Passo 2

Para todo animal x, afirmamos que x é um coelho e x salta.

Resposta

Para todo animal x, x é um coelho e x salta.

Exercícios de Livros Relacionados