Transforme as seguintes sentenças abertas em proposições verdadeiras usando quantificadores:
Passo 1
O enunciado pede para transformar a sentença aberta
em uma proposição verdadeira usando quantificadores. Aqui o conteúdo é quantificação em lógica de predicados: como indicar que uma propriedade vale para todos os elementos de um domínio.
Passo 2
A propriedade “
” é válida para qualquer número real
. Para torná-la uma proposição, basta prefixar com o quantificador universal sobre o domínio dos reais.