Negue as seguintes proposições (em linguagem natural):
“Para todo número
, existe um número
maior que ele.”
“Para todo número
Passo 1
O enunciado dá a proposição em linguagem natural e pede que a neguemos. As informações e o pedido são:
- Enunciado: “Para todo número
, existe um número maior que ele.” - Pedido: obter a negação dessa proposição (escrever a proposição que é lógica e semanticamente o oposto dela).
Passo 2
Formalizar a proposição com símbolos lógicos ajuda a trabalhar a negação com regras claras. Vamos representar a proposição original por
Explicando o que isso significa:
-
quer dizer "para todo número " — ou seja, para cada escolha possível de . -
quer dizer "existe um número " — ou seja, que pelo menos um satisfaz a condição. -
é a condição "o número é maior que ".
Passo 3
Apresentar a regra de negação de quantificadores (com explicação intuitiva):
- A negação de
é equivalente a . Intuição: "não é verdade que tudo satisfaz " significa "existe algo que não satisfaz ". - A negação de
é equivalente a . Intuição: "não existe um com " significa “para todo , é falso”.
Essas são regras padrão de lógica (negação troca
por
e vice-versa, e nega o predicado).
Passo 4
Aplicar as regras passo a passo na fórmula:
Primeiro aplicamos a negação sobre o quantificador externo:
Agora aplicamos a negação sobre o quantificador interno:
Por fim, traduzimos a negação do predicado:
é equivalente a
. Assim obtemos a forma final formal:
Passo 5
Traduzindo a forma formal para linguagem natural bem clara e direta:
- “Existe um número
tal que, para todo número , tem-se .”
Interpretação intuitiva: a afirmação original dizia que para qualquer número escolhido sempre é possível encontrar um número maior; a negação diz que existe algum número que não admite números maiores — isto é, um número que é maior ou igual a todos os outros (um máximo).
Passo 6
Observação prática e ânimo rápido: para o conjunto dos números reais essa negação é falsa (não existe maior real), então a proposição original é verdadeira nesse contexto. Mas a resposta pedida é a negação formal e em linguagem natural que acabamos de obter — e você agora sabe como aplicar as regras de negação de quantificadores passo a passo. Força nos estudos — já foi um bom passo entender isso!
Resposta
Existe um número
tal que, para todo número
,
.