Qual regra prática mais lembrada para negar condicional?

Negação da condicional: regra MANÉ

Cheat Sheet em tópicos

Negação de (p -> q) é (p ^ ~q).
MANÉ: mantém a primeira e nega a segunda.
Negação da condicional não vira condicional negada.
Tradução textual correta evita confusão com contrapositiva.

Explicação detalhada

Visão geral

A negação de p -> q não é “se não p então não q”. A forma correta é conjunção: p verdadeiro com q falso. O macete MANÉ (mantém a primeira, nega a segunda) fixa isso em segundos.

Fundamentos que você precisa dominar

Negação: ~(p -> q) equivale a (p ^ ~q).
MANÉ: mantém p, nega q; conectivo vira e.
Linguagem natural: “chove e não levo guarda-chuva” nega “se chove, então levo”.
Distinção: contrapositiva (~q -> ~p) é equivalente a p->q, não é negação.

Passo a passo de resolução/interpretação

Identifique o par antecedente e consequente.
Escreva p ^ ~q em símbolos.
Traduza para português com “e” entre as duas cláusulas.
Compare com alternativas que tragam ~p -> ~q ou ~p v ~q sem equivalência comprovada.

Atenção a erros clássicos

Erro recorrente: confundir negação da condicional com inversa ou com negação só do consequente.

Exemplos guiados extras

Exemplo 1 (treino orientado): Negue p -> q simbolicamente.
Como checar: p ^ ~q.

Exemplo 2 (variação de prova): Negue: “Se economizo, então compro o curso.”
Como checar: “Economizo e não compro o curso.”

Conexão com prova e memorização

FGV oferece ~p v q e outras formas para testar se você domina equivalência versus negação.
Memorização ativa: escreva MANÉ no caderno e faça cinco negações em um minuto.
Feche a revisão explicando o tema em voz alta como se estivesse ensinando alguém.

Resumo mental: na negação da condicional, o ganho de nota vem de p ^ ~q e de não cair em atalhos de inversa.

Prática ativa do tema

Use este bloco para testar retenção, identificar lacunas e revisar com intenção.

Prática guiada — tente responder antes de revelar:

1. Negue: “Se chove, então levo guarda-chuva”.

Chove e não levo guarda-chuva.

2. Explique em 2 linhas por que ~p -> ~q está errado como negação.

Isso é outra proposição e não equivalente à negação formal de p->q.

3. Converta a frase negada para símbolo.

p ^ ~q.

Exercícios com gabarito oculto

1. Negação de p -> q.

2. No MANÉ, o que acontece com p?

3. No MANÉ, o que acontece com q?

Tabela curta

Expressão	Forma equivalente
p->q	~p v q
~(p->q)	p ^ ~q

Mapa Mental: p->q

Operação	Resultado	Observação
Original	p->q	Falsa só em V,F
Negação	p ^ ~q	Regra MANÉ

O que mais cai

Assunto muito cobrado por unir regra curta com alto índice de pegadinha.

Cuidado: A banca tenta te enganar

FGV coloca alternativas com ~p v q para confundir com forma original de p->q.