Negação de proposições: como inverter corretamente afirmações simples e compostas (e, ou, se…então).
Em lógica, a negação inverte o valor de uma proposição. Para proposições compostas, há regras precisas:
- Negação de "p e q": "não p ou não q" (Leis de De Morgan).
- Negação de "p ou q": "não p e não q".
- Negação de "se p então q": "p e não q" (a condicional só é falsa quando o antecedente é verdadeiro e o consequente é falso).
- Negação de "todo A é B": "existe A que não é B"; negação de "algum A é B": "nenhum A é B".
Fórmulas e regras-chave
- ¬(p ∧ q) ≡ ¬p ∨ ¬q
- ¬(p ∨ q) ≡ ¬p ∧ ¬q
- ¬(p → q) ≡ p ∧ ¬q
Dicas e pegadinhas comuns
- Negar 'e' vira 'ou' e vice-versa (De Morgan).
- Negar 'se…então' NÃO é outra condicional: é 'p e não q'.
- Negar 'todo' vira 'existe um que não'; negar 'algum' vira 'nenhum'.