Sejam f e g duas aplicação de
em
. Traduzir em termos de quantificadores as expressões seguintes :
f não se anula nunca.
f não se anula nunca.
Passo 1
O enunciado pede para traduzirmos “f não se anula nunca” em linguagem de predicados, ou seja, usar quantificadores sobre
e a relação
.
Passo 2
“f não se anula nunca” significa que não existe nenhum
em
tal que
. Em notação de lógica de predicados:
Por equivalência lógica de negação de existência, isso é o mesmo que: