Sejam f e g duas aplicação de
em
. Traduzir em termos de quantificadores as expressões seguintes :
f é inferior a g.
f é inferior a g.
Passo 1
O enunciado pede para traduzir, em lógica de predicados com quantificadores, a afirmação “
é inferior a
”, sabendo que
e
são aplicações de
em
.
Passo 2
Dizer que “
é inferior a
” significa que, para todo ponto
no domínio, o valor de
não ultrapassa o de
. Em lógica de predicados, usamos o quantificador universal para capturar “para todo
”.
Passo 3
A tradução fica: