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.
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 (
): 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 (
): 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 (
): 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
(todo / todos / para todo): 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
(existe / há): 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:
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
tal que " (escrita simbólica: ).
A negação é "ou não existe nenhumcom ou existem pelo menos dois distintos com ". Em forma lógica: 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)
- Leia a frase e sublinhe a parte principal (quantificador ou conectivo principal).
- Traduza mentalmente para uma forma simbólica simples (use
conforme aparecer). - 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).
- Reescreva o resultado em linguagem corrente de forma natural e clara, evitando construções estranhas.
- 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): .
Negação simbólica:
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”).
Frase: “Todo estudante passou e entregou o trabalho.”
Tradução simbólica (simplificada):
Negação simbólica:
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: ).
Observação: isso é raro na matemática correta (a negação é um contraexemplo).
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:
Observação: isso é raro na matemática correta (a negação é um contraexemplo).
Exemplo C (quantificadores mistos):
Frase: “Para cada número natural existe um número natural
tal que
.”
Símbolo: .
Negação: .
Em português: “Existe um número natural tal que nenhum número natural
é maior que
.” (ou seja, “há um maioral”, que contradiz a verdade usual dos naturais).
Frase: “Para cada número natural
Símbolo:
Negação:
Em português: “Existe um número natural
Passo 8
Erros comuns a evitar (e truques para se certificar)
- Não confunda “não existe” com “existe um que não”: comparar
com . - 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:
- 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.