Exercício 20. Dizer se as afirmações seguintes são verdadeiras e escrever suas negações.
Passo 1
O enunciado apresenta a afirmação com quantificadores na reta real:
O que se pede é (1) decidir se essa afirmação é verdadeira ou falsa e (2) escrever sua negação lógica.
Passo 2
Para testar a veracidade de
basta encontrar um par
que satisfaça
. Por exemplo,
e
dão
Logo, a afirmação é verdadeira.
Passo 3
A negação de
é
Aqui
é o predicado “
”. Assim, a negação é
Resposta
A afirmação original é verdadeira.
Sua negação é
Sua negação é