Para cada uma das proposições do Exercício 21 , escreva a sua negação em linguagem simbólica e em linguagem natural
Passo 1
O enunciado que recebi diz: “Para cada uma das proposições do Exercício 21, escreva a sua negação em linguagem simbólica e em linguagem natural.”
Informações fornecidas: nenhuma das proposições do Exercício 21 foi enviada junto com a pergunta.
O que o problema pede: para cada proposição (que não foi dada) escrever (a) a negação em sintaxe simbólica e (b) a negação em linguagem natural.
Informações fornecidas: nenhuma das proposições do Exercício 21 foi enviada junto com a pergunta.
O que o problema pede: para cada proposição (que não foi dada) escrever (a) a negação em sintaxe simbólica e (b) a negação em linguagem natural.
Observação importante: sem o texto das proposições do Exercício 21 não há como fornecer as negações específicas pedidas, porque a negação depende exatamente da forma lógica de cada proposição (quantificadores, conectivos, domínio, etc.). Portanto, não é possível produzir as negações específicas solicitadas até que as proposições sejam fornecidas.
Passo 2
Mesmo sem as proposições concretas, vou te ensinar passo a passo como construir a negação de qualquer proposição — assim, quando você me mandar as proposições (ou quando cair isso na prova), você vai saber exatamente o que fazer. Primeiro, as regras básicas que valem sempre:
- Se
é uma proposição atômica, a negação é . Em linguagem natural: colocar “não” de forma adequada: ex.: : “Está chovendo” → : “Não está chovendo”. - Dupla negação:
é equivalente a .
Passo 3
Regras para os conectivos lógicos (essas são as que você mais vai usar — vou explicar por que e como aplicá-las):
-
Negação de uma conjunção:Interpretação em palavras: “não (p e q)” é equivalente a “não p ou não q” (pelo menos um dos dois é falso).
-
Negação de uma disjunção:Em palavras: “não (p ou q)” é “não p e não q” (nenhum dos dois é verdadeiro).
Estas duas regras são as Leis de De Morgan; são cruciais porque muitas vezes a frase original contém “e” ou “ou” e a negação troca o conector e nega as partes.
Passo 4
Negação de implicação e bicondicional:
-
Negação de uma implicação:Explicação: “não (se p então q)” é equivalente a “p e não q” — ou seja, a implicação só falha quando a hipótese é verdadeira e a conclusão é falsa. Atenção: NÃO é correto dizer só “se p então não q” — essa forma ainda é uma implicação e não é equivalente à negação.
-
Negação de bicondicional:Em palavras: “p é equivalente a q” negado significa que exatamente uma das duas é verdadeira (elas têm valores distintos).
Passo 5
Negação de quantificadores (essencial para análise e provas):
-
Para todo / existe:Em linguagem natural: "não é verdade que para todo
, " significa “existe pelo menos um tal que é falso”. -
Negação do existe:Em palavras: "não existe
tal que " é “para todo , é falso”.
Regra prática: ao puxar a negação para dentro passando por um quantificador, troque
por
e vice-versa, e negue a propriedade interna.
Passo 6
Negação de sentenças com expressões relacionais (inequações, pertencimento, igualdade):
- Exemplos:
Ao negar uma afirmação com desigualdade, troque o sinal pelo complementar correto (preste atenção em
vs
,
vs
).
Passo 7
Exemplos completos — faço devagar, como na prova:
Exemplo A (atômica)
- Proposição:
: “Está chovendo”. - Negação simbólica:
. - Negação em linguagem natural: “Não está chovendo”.
Exemplo B (conjunção)
- Proposição:
com : " é par" e : " ". - Negação simbólica:
- Negação em linguagem natural: "
não é par ou ". (Lembre-se: “ou” aqui é inclusivo — poderia ser ambos.)
Exemplo C (implicação com quantificador implícito)
- Proposição usual: “Para todo
, se é primo então é ímpar.”
Simbólico:onde : " é primo", : " é ímpar". - Negação: aplicar regra de quantificador e implicação:
- Linguagem natural: “Existe um
tal que é primo e não é ímpar.” (Ou: “Existe um número primo que é par.” — nesse caso dá até para ver que é verdadeiro porque é exemplo.)
Exemplo D (uma negação clássica de análise)
- Proposição (continuidade-like):
- Negação: troque quantificadores um a um e negue a implicação no final:
Aplicando : - Linguagem natural: “Existe
tal que para todo existe com e .” (É exatamente a negação da definição de continuidade.)
Passo 8
Checklist prático para a prova — siga estes passos quando for negar uma proposição:
- Identifique claramente o tipo da proposição: possui quantificadores? Qual o conectivo principal (∧, ∨, →, ↔)?
- Se houver quantificadores externos, comece negando e trocando-os (
) antes de mexer no resto. - Aplique De Morgan para conjunções/disjunções quando puxar a negação para dentro.
- Use
para implicações. - Traduzir a negação simbólica para natural com atenção: transforme desigualdades corretamente e verifique o domínio (por exemplo, “existe” significa “pelo menos um”).
- Revise se a negação resultante ainda faz sentido no domínio dado (adapte o domínio se necessário).
Passo 9
Erros comuns (para evitar na prova)
- Colocar simplesmente “não” na frente da frase original sem trocar conectivos nem quantificadores. Ex.: “Não é verdade que todos são felizes” ≠ “Todos não são felizes”; a forma correta é “Existe alguém que não é feliz”.
- Esquecer de trocar
por (e vice-versa). - Negar uma implicação como se fosse uma implicação invertida:
não é . - Confundir “ou” exclusivo/inclusivo: na lógica padrão,
é inclusivo.
Passo 10
Se você quiser, me mande agora as proposições concretas do Exercício 21. Eu vou aplicar exatamente este procedimento passo a passo para cada uma: escrever a negação simbólica e depois a negação em linguagem natural, explicando cada troca de quantificador e cada aplicação de De Morgan — bem mastigado, como você pediu. Força aí: você vai conseguir — é só organizar uma por uma.
Resposta
Não é possível escrever as negações específicas porque as proposições do Exercício 21 não foram fornecidas.