Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais.
\forall x \forall y(((x \geq 0) \wedge(y \geq 0)) \rightarrow(x y \geq 0))

Passo 1

O enunciado dá a fórmula lógica
\forall x\;\forall y\;\bigl(\,(x\ge 0)\wedge(y\ge 0)\;\to\;(x\,y\ge 0)\bigr)
com domínio de cada variável sendo os números reais, e pede sua tradução para o português.

Passo 2

Vamos ler quantificador por quantificador e a implicação:
– “ \forall x\;\forall y” significa “para todo número real x e para todo número real y”.
– A condição “ (x\ge 0)\wedge(y\ge 0)” vira “se x\ge 0 e y\ge 0”.
– A conclusão “ \,x\,y\ge 0” vira “então x\,y\ge 0”.

Resposta

Para todo número real x e para todo número real y, se x\ge 0 e y\ge 0, então x\,y\ge 0.

Exercícios de Livros Relacionados