- Lógica ProposicionalNegação de Proposição Simples
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Se p e q representam proposições, “∧” representa o conectivo “e”, “∨” representa o conectivo “ou”, e “~” representaa negação, então a sentença ~ (~ p∨ ~ q) é logicamente equivalente a: