Exercício 7. Negue as seguintes afirmações (dando sua resposta numa forma que não contenha o símbolo de negação
, a palavra “não”, ou a expressão “é falso que” e similares):
se
é par, então
é impar.
se
Passo 1
O enunciado é a implicação “Se
é par, então
é ímpar”. Para negar uma implicação usamos a equivalência
Aqui
é “
é par” e
é “
é ímpar”.
Passo 2
Pela regra,
isto é,
A negação de “
é ímpar” é “
é par”. Logo a forma sem usar símbolo de negação ou a palavra “não” fica:
Passo 3
“Existe um número inteiro
par cujo sucessor é par.”
Resposta
Existe um número inteiro
par cujo sucessor é par.