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 dá a fórmula lógica
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:
– “ ” significa “para todo número real
e para todo número real
”.
– A condição “ ” vira “se
e
”.
– A conclusão “ ” vira “então
”.
– “
– A condição “
– A conclusão “
Resposta
Para todo número real
e para todo número real
, se
e
, então
.