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):
3>4 ou 2 é par.

Passo 1

O enunciado pede para negar a afirmação
3>4 \quad\text{ou}\quad 2\text{ é par}é
sem usar o símbolo \neg, nem palavras como “não” ou expressões tipo “é falso que”. O conteúdo aqui é a negação de uma disjunção, que faz uso da Lei de De Morgan.

Passo 2

Pela Lei de De Morgan, a negação de uma disjunção se transforma numa conjunção das negações:
\neg\bigl(A\lor B\bigr)\quad\Longleftrightarrow\quad (\neg A)\land(\neg B).

Passo 3

Aplicando isso a A\colon 3>4 e B\colon 2\text{ é par}é:
  • A negação de 3>4 é 3\le4.
  • A negação de “ 2 é par” é “ 2 é ímpar”.

Passo 4

Juntando as duas negações em conjunção, obtemos a forma final sem usar símbolos ou palavras de negação:

Resposta

\,3\le4\, e \,2 é ímpar.

Exercícios relacionados