Diga qual é a negação de cada proposição abaixo.
(exists x)(raizx<0)

Passo 1

O enunciado nos dá a proposição
exists x(raizx<0)
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
negexists x,P(x);equiv;forall x,neg P(x)
e em seguida negar o predicado interno.

Passo 2

Aplicando essa equivalência ao nosso caso, obtemos
negexists x,(raizx<0);equiv;forall x,neg(raizx<0)

Passo 3

Agora negamos o predicado interno. Sabemos que
neg(raizx<0);equiv;raizx>= 0

Passo 4

Substituindo de volta, concluímos que a negação da proposição original é
forall x,(raizx>= 0)

Resposta

forall x(raizx>= 0)

Exercícios de Livros Relacionados