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 ou 4 é ímpar.

Passo 1

O enunciado afirma
P:\;\text{"5 é primo"}\quad\text{ou}\quad Q:\;\text{"4 é ímpar."}ééí
Queremos negar essa afirmação sem usar o símbolo “ \neg”, a palavra “não” ou expressões como “é falso que”.

Passo 2

Pela Lei de Morgan,
\neg(P\lor Q)\;\equiv\;\neg P\;\land\;\neg Q.
Aqui \neg P é “5 não é primo” e \neg Q é “4 não é ímpar”. Para evitar a palavra “não”, reescrevemos:
– “5 não é primo” vira “5 é composto”.
– “4 não é ímpar” vira “4 é par”.

Resposta

5 é composto e 4 é par.

Exercícios relacionados