Exercício 7. Negue as seguintes afirmações (dando sua resposta numa forma que não contenha o símbolo de negação \neg, a palavra “não”, ou a expressão “é falso que” e similares):
5 é primo e 4 é ímpar.

Passo 1

O enunciado pede para negar a afirmação “ 5 é primo e 4 é ímpar” sem usar o símbolo \neg, a palavra “não” ou expressões equivalentes. Vamos trabalhar com lógica de proposições e depois reescrever a negação de forma positiva.

Passo 2

Definimos as proposições
P: “ 5 é primo”
Q: “ 4 é ímpar”
A afirmação original é P \land Q.

Passo 3

Para negar P \land Q usamos a lei de De Morgan, que diz
\neg (P \land Q) \equiv (\neg P) \lor (\neg Q).

Passo 4

Agora traduzimos \neg P e \neg Q em sentenças sem usar negação explícita:
\neg P vira “ 5 é composto”
\neg Q vira “ 4 é par”
Portanto a negação final é a disjunção dessas duas.

Resposta

5 é composto ou 4 é par.

Exercícios relacionados