Diga qual é a negação de cada proposição abaixo.
(-3)^2=9 raiz9 neq-3

Passo 1

O enunciado nos dá a proposição
(-3)^2=9 ;; raiz9neq -3
e pede a sua negação. O conteúdo aqui é lógica proposicional, especificamente a negação de uma implicação.

Passo 2

Para negar uma implicação ;P Q; usamos a equivalência
negl(P Qr);equiv;P;land;neg Q
Isso vem do fato de que P Q só é falsa quando P é verdadeira e Q é falsa.

Passo 3

Identificamos
P:;(-3)^2=9, Q:;raiz9neq -3
Logo
negl(P Qr);=;P;land;neg Q

Passo 4

Substituindo P e Q na fórmula da negação, temos
(-3)^2=9 land negl(raiz9neq -3r)
E neg(raiz9neq -3) é a afirmação raiz9= -3. Portanto a negação final é
(-3)^2=9 land raiz9= -3

Resposta

(-3)^2=9 land raiz9= -3

Exercícios de Livros Relacionados