Equivalências Lógicas: Neymar, contrapositiva e condicional

Visão geral

Equivalências permitem reescrever uma mesma proposição em formas mais fáceis de tabelar ou comparar. Em concursos, p -> q vira ~p v q (macete Neymar) ou ~q -> ~p (contrapositiva) com a mesma coluna de verdade.

Fundamentos que você precisa dominar

• p -> q equivale a ~p v q (Neymar: nega a primeira ou mantém a segunda).
• Contrapositiva: p -> q equivale a ~q -> ~p.
• Equivalência: mesmos valores em todas as linhas da tabela.
• Não confundir com inversa ~p -> ~q, que em geral não equivale.

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

1. Escreva a forma pedida no enunciado.
2. Se precisar eliminar condicional, aplique ~p v q.
3. Se pedir “equivalente por contrapositiva”, use ~q -> ~p.
4. Valide com uma linha problemática (V,F) se necessário.

Atenção a erros clássicos

Erro recorrente: marcar como equivalente uma forma que só coincide em parte das linhas.

Exemplos guiados extras

Exemplo 1 (treino orientado): Reescreva p -> q sem seta.
Como checar: ~p v q.

Exemplo 2 (variação de prova): Dê a contrapositiva de “Se pago, então acesso liberado”.
Como checar: “Se não há acesso liberado, então não pago” (~q -> ~p).

Conexão com prova e memorização

• Banca coloca inversa como isca; valide com tabela ou com linha V,F.
• Memorização ativa: recite Neymar e desenhe duas setas (condicional e contrapositiva).
• Feche a revisão explicando o tema em voz alta como se estivesse ensinando alguém.

Resumo mental: em equivalências, o ganho de nota vem de ~p v q, ~q -> ~p e de recusar atalhos inválidos.