Diga qual é a negação de cada proposição abaixo.
Passo 1
O enunciado nos dá a proposição
e pede sua negação. O conteúdo aqui é negação de uma fórmula com quantificador existencial. Vamos usar a equivalência lógica
e pede sua negação. O conteúdo aqui é negação de uma fórmula com quantificador existencial. Vamos usar a equivalência lógica
e em seguida negar o predicado interno.
Passo 2
Aplicando essa equivalência ao nosso caso, obtemos
Passo 3
Agora negamos o predicado interno. Sabemos que
Passo 4
Substituindo de volta, concluímos que a negação da proposição original é