O que acontece quando você nega uma proposição composta
Muita gente trava na hora de negar proposições do tipo "não sabe matemática ou sabe português". O problema não é a lógica em si, mas a forma como a dupla negação e a mudança de conectivos se comportam. Se você já tentou resolver isso na cabeça e acabou com uma resposta errada, provavelmente caiu numa das armadilhas mais comuns de lógica proposicional. Vou explicar de forma direta, sem rodeios, e mostrar exatamente o procedimento que funciona na prática.
a negação de não sabe matemática ou sabe português é
A negação de "não sabe matemática ou sabe português" é "sabe matemática e não sabe português". A aplicação da Lei de De Morgan resolve tudo: Seja P = "sabe matemática" e Q = "sabe português". A proposição original é ~P Q. Para negá-la, aplicamos a lei de De Morgan:
~(~P Q) ~~P ~Q P ~Q O resultado é "sabe matemática e não sabe português". Duas mudanças fundamentais aconteceram: o conectivo "ou" virou "e", e cada componente recebeu uma negação. A dupla negação em ~P se cancela, deixando apenas P.
O procedimento passo a passo
Primeiro, identifique as proposições simples e traduza para símbolos. Depois, negue a estrutura inteira aplicando De Morgan. Quando o conectivo é "ou" (), vira "e" () na negação, e vice-versa. Cada termo dentro dos parênteses também recebe negação. Vou dar outro exemplo rápido para fixar. A negação de "está chovendo e faz frio" é "não está chovendo ou não faz frio". Note que o "e" virou "ou". O princípio é o mesmo em todos os casos.
Erros que eu vejo todo dia
O erro mais frequente é esquecer de negar os termos internos. Alguém vê "~P Q" e acha que a negação é só "~P ~Q". Isso está errado. Você precisa negar TUDO que está dentro da proposição, não apenas trocar o conectivo. Outro erro comum é achar que a negação de "ou" continua sendo "ou". Não é. De Morgan foi exatamente criado para lidar com essa inversão. O conectivo sempre inverte: vira , e vira .
👉 Clique no botão abaixo para saber mais sobre o assunto!
Também notei que muitas pessoas confundem a negação de uma implicação com a de uma disjunção. ~P Q pode ser reescrito como P Q. A negação de uma implicação P Q é P ~Q, que é exatamente o mesmo resultado que De Morgan dá. Se você decorar só a negação da condicional, já consegue resolver boa parte dos exercícios.
Um caso que me deu trabalho
Há alguns anos, numa banca de concurso, caiu uma questão com uma proposição mais complicada: a negação de "se não gosta de matemática, então gosta de português". A forma simbolizada é ~M P. A negação de uma condicional A B é A ~B. Então ~M é o primeiro termo, e ~P é a negação do segundo. O resultado ficou ~M ~P, ou seja, "não gosta de matemática e não gosta de português". O problema é que muitos candidatos convertiam ~M P para M P antes de negar e chegavam a uma resposta errada. A conversão para M P está correta, mas na hora de negar ~M P diretamente com De Morgan fica mais seguro, pois evita confusão com a dupla negação. Usei essa segunda abordagem no concurso e garanti a resposta certa.
Limitações importantes
A lógica proposicional simples funciona bem para enunciados curtos e diretos. Mas quando a proposição envolve quantificadores como "todo", "algum", "nenhum", o sistema muda completamente. A negação de "todo aluno passa" não se resolve com De Morgan — aí entra a lógica de predicados, e a negação de x P(x) é x ~P(x). Se você tentar aplicar De Morgan nesses casos, vai errar. Outro ponto: proposições com equivalências lógicas embutidas podem dar margem a ambiguidades na interpretação. "Ou" em português às vezes carrega sentido exclusivo (XOR), diferente do "ou" inclusivo da lógica formal. Em testes de múltipla escolha, o "ou" quase sempre é o inclusivo padrão, mas vale ficar atento a contextos informais.
Se o seu interesse for lógica de primeira ordem com quantificadores, recomendo estudar separadamente a negação de quantificadores. O material sobre De Morgan para proposições conectivas é rápido de dominar — leva em média 30 minutos com exercícios práticos —, mas a parte de predicados exige mais tempo e prática específica.
Resumo prático
Para negar qualquer proposição com "ou" ou "e", aplique De Morgan: inverta o conectivo e negue cada termo. Na questão inicial, a negação de "não sabe matemática ou sabe português" resulta em "sabe matemática e não sabe português". O processo é mecânico quando você domina a regra, e a principal vantagem é que ela se aplica a qualquer estrutura do mesmo tipo, independentemente do conteúdo dos termos.
