Exercício 12. Traduzir, em linguagem matemática , utilizando os quantificadores existencial e universal, as seguintes frases :
Todo número real positivo inferior a 1 satisfaz
.
Todo número real positivo inferior a 1 satisfaz
Passo 1
O enunciado pede para traduzir a frase “Todo número real positivo inferior a 1 satisfaz
” usando quantificadores. O conteúdo é lógica de primeira ordem, com domínio dos números reais.
Passo 2
Identificamos que a propriedade deve valer para todos os
em
que satisfaçam a condição “
”. Isso indica o quantificador universal
. O predicado é “
”.
Passo 3
Montamos a fórmula: usamos
e uma implicação que restringe
ao intervalo
.