Diga qual é a negação de cada proposição abaixo.
2 <= 5 3^2 <= 5^2

Passo 1

O enunciado apresenta a proposição
2 <= 5 3^2 <= 5^2
e pede sua negação. O conteúdo aqui é lógica proposicional, em particular a negação de uma implicação. Para isso, vamos usar a equivalência
negl(p to qr);equiv;p land neg q

Passo 2

Identificamos as partes da implicação:
p é a proposição “ 2 <= 5” e
q é a proposição “ 3^2 <= 5^2”.
Pela equivalência de negação de implicação, temos
negl(2 <= 5 3^2 <= 5^2r) equiv l(2 <= 5r)land negl(3^2 <= 5^2r)

Passo 3

A negação de 3^2 <= 5^2 é 3^2 > 5^2. Logo, a forma final é
2 <= 5 ;land; 3^2 > 5^2

Resposta

A negação é
2 <= 5 land 3^2 > 5^2

Exercícios de Livros Relacionados