Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais.
Passo 1
O enunciado apresenta a fórmula
que pertence ao conteúdo de lógica de predicados com quantificadores universais. Nosso objetivo é traduzir essa expressão para o português, assumindo que
e
variam sobre todos os números reais.
Passo 2
Identificamos os elementos da fórmula:
-
: “para todo e para todo ”. -
: “ é maior ou igual a zero e é menor que zero”. -
: “se … então …”. -
: “ menos é maior que zero”.
Passo 3
Agora, juntamos todas as partes em uma única frase em português, deixando claro que o domínio de
e
é
.
Resposta
Para todo número real
e para todo número real
, se
e
, então
.