Sejam f e g duas aplicação de
em
. Traduzir em termos de quantificadores as expressões seguintes :
f não é inferior a g.
f não é inferior a g.
Passo 1
Temos duas funções
e queremos traduzir a frase “
não é inferior a
” usando quantificadores.
Passo 2
Primeiro, “
é inferior a
” significa que, para todo
em
, vale
Em linguagem de quantificadores:
Passo 3
A frase “
não é inferior a
” é a negação desse enunciado. Logo, escrevemos
Passo 4
Aplicando a lei de De Morgan para quantificadores, obtemos a forma equivalente
e como
equivale a
, concluímos