Exercício 12: Dé a negaçāo em linguagem corrente de cada uma das seguintes proposições:

Passo 1

O enunciado pede: “Dê a negação em linguagem corrente de cada uma das seguintes proposições.”
Informações fornecidas no enunciado recebido por mim: nenhuma proposição foi incluída — isto é, não há frases ou fórmulas específicas para negar.
Portanto o pedido está bem claro (negacionar proposições), mas faltam as proposições concretas que eu precisaria para escrever as negações correspondentes.

Passo 2

O que eu vou fazer agora: explicar passo a passo como você deve proceder para negar qualquer proposição em linguagem corrente. Assim, quando você tiver as proposições do seu professor, vai aplicar exatamente esse procedimento e conseguir escrever as negações corretamente na prova.
Raciocínio geral (visão rápida): identificar a estrutura lógica principal da proposição (quantificadores, conectivos: e/ou, se… então…, etc.), traduzir mentalmente para uma forma simbólica simples, aplicar a regra de negação correta (De Morgan, troca de quantificadores, negação de condicional), e reescrever em português natural.

Passo 3

Regras fundamentais de negação (com explicação e interpretação em linguagem corrente).
  • Negação de proposição simples: se a proposição é “P” então a negação é “não P”.
    Ex.: P = “João estuda”, negação = “João não estuda”.
  • Negação de conjunção ( A \land B):
    \neg(A \land B) \equiv \neg A \lor \neg B.
    Em linguagem corrente: “não (A e B)” equivale a “ou A não acontece, ou B não acontece (ou ambos)”.
    Ex.: “Está chovendo e está frio.” — negação: “Ou não está chovendo, ou não está frio (ou ambos).”
  • Negação de disjunção ( A \lor B):
    \neg(A \lor B) \equiv \neg A \land \neg B.
    Em linguagem corrente: “não (A ou B)” equivale a “nem A nem B”.
    Ex.: “Vou ao cinema ou fico em casa.” — negação: “Não vou ao cinema e fico fora de casa” — reescreva naturalmente: “Nem vou ao cinema nem fico em casa.”
  • Negação de condicional ( A \rightarrow B):
    \neg(A \rightarrow B) \equiv A \land \neg B.
    Em linguagem corrente: “não (se A então B)” equivale a “A acontece e B não acontece”.
    Ex.: “Se estudo, passo na prova.” — negação: “Estudo e não passo na prova.”

Passo 4

Negação de quantificadores — regra chave (sempre muito usada em provas).
  • Negação de \forall (todo / todos / para todo):
    \neg\big(\forall x\, P(x)\big) \equiv \exists x\, \neg P(x).
    Em português: A negação de “Para todo x, P(x)” é “Existe pelo menos um x tal que P(x) não vale”.
    Ex.: “Todo aluno passou no exame.” — negação: “Existe pelo menos um aluno que não passou no exame.”
  • Negação de \exists (existe / há):
    \neg\big(\exists x\, P(x)\big) \equiv \forall x\, \neg P(x).
    Em português: A negação de “Existe algum x tal que P(x)” é “Para todo x, P(x) não vale” (ou seja, não existe nenhum x com P(x)).
    Ex.: “Existe um livro na prateleira.” — negação: “Não existe nenhum livro na prateleira” ou “Para toda coisa na prateleira, não é livro.”
  • Negação de alternâncias de quantificadores: troca cada quantificador e nega a propriedade.
    Exemplo: \neg\big(\forall x\,\exists y\,P(x,y)\big) \equiv \exists x\,\forall y\,\neg P(x,y).
    Em português: a negação de “Para todo x existe y tal que P(x,y)” é “Existe um x tal que, para todo y, P(x,y) não vale.”

Passo 5

Casos especiais úteis
  • "Existe exatamente um x tal que P(x)" (escrita simbólica: \exists! x\,P(x)).
    A negação é "ou não existe nenhum x com P(x) ou existem pelo menos dois distintos x,y com P". Em forma lógica:
    \neg(\exists! x\,P(x)) \equiv \big(\forall x\,\neg P(x)\big) \lor \big(\exists x\,\exists y\, (P(x)\land P(y)\land x\neq y)\big).
    Em linguagem corrente: “Não existe exatamente um” = “ou não existe nenhum, ou existem dois ou mais.”
  • Negação de “para todo, existe” vs “existe, para todo”: atenção à ordem dos quantificadores — ela muda totalmente a afirmação e a negação troca cada quantificador.

Passo 6

Um pequeno algoritmo prático para usar na prova (passo a passo para cada proposição)
  1. Leia a frase e sublinhe a parte principal (quantificador ou conectivo principal).
  2. Traduza mentalmente para uma forma simbólica simples (use \forall,\exists,\land,\lor,\rightarrow conforme aparecer).
  3. Aplique as regras: negue o conectivo principal e mova a negação para dentro trocando quantificadores quando necessário (De Morgan e as regras de quantificadores).
  4. Reescreva o resultado em linguagem corrente de forma natural e clara, evitando construções estranhas.
  5. Se possível, confira com um exemplo concreto para ver se a negação faz sentido (transforme em uma frase testável).
Dica: evite simplesmente colocar “não” no início da frase sem pensar — muitas vezes isso não corresponde à negação lógica correta (especialmente com quantificadores e condicionais).

Passo 7

Exemplos-resolvidos (modelo que você pode replicar na prova)
Exemplo A (conjunção):
Frase: “Todo estudante passou e entregou o trabalho.”
Tradução simbólica (simplificada): \forall x\,\big(P(x)\land Q(x)\big).
Negação simbólica: \exists x\,\neg\big(P(x)\land Q(x)\big) \equiv \exists x\,(\neg P(x)\lor \neg Q(x)).
Negação em linguagem corrente: “Existe pelo menos um estudante que ou não passou ou não entregou o trabalho.” (pense: “há um estudante com alguma das falhas”).
Exemplo B (condicional):
Frase: “Se um número é par, então é divisível por 2.” (P → Q)
Negação: “Existe um número que é par e que não é divisível por 2.” (em lógica: P\land\neg Q).
Observação: isso é raro na matemática correta (a negação é um contraexemplo).
Exemplo C (quantificadores mistos):
Frase: “Para cada número natural n existe um número natural m tal que m>n.”
Símbolo: \forall n\,\exists m\, (m>n).
Negação: \exists n\,\forall m\, \neg(m>n).
Em português: “Existe um número natural n tal que nenhum número natural m é maior que n.” (ou seja, “há um maioral”, que contradiz a verdade usual dos naturais).

Passo 8

Erros comuns a evitar (e truques para se certificar)
  • Não confunda “não existe” com “existe um que não”: comparar \neg\exists com \exists\neg.
  • Para condicionais, não escreva “se A então não B” como negação; a negação é “A e não B”.
  • Quando houver várias frases ligadas por “ou”, reescreva como “nem … nem …” para clareza ao negar.
  • Sempre verifique sua negação tentando construir um exemplo que satisfaça a negação: se conseguir, provavelmente está correta.

Passo 9

Resumo rápido e encorajamento final
  • As regras essenciais (em símbolos) para gravar: \neg(A\land B)\equiv\neg A\lor\neg B,\qquad \neg(A\lor B)\equiv\neg A\land\neg B,
\neg(A\rightarrow B)\equiv A\land\neg B,
\neg(\forall x\,P(x))\equiv\exists x\,\neg P(x),\qquad \neg(\exists x\,P(x))\equiv\forall x\,\neg P(x).
  • Siga o algoritmo do Passo 6 e pratique com algumas frases do seu caderno; isso ajuda muito para a prova. Você está mais preparado do que pensa — aplica essas etapas devagar e com calma que dá certo.

Resposta

Não é possível fornecer as negações pedidas porque as proposições a serem negadas não foram incluídas no enunciado.

Exercícios relacionados