- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
A negação da sentença
"Se chove então o trânsito fica congestionado"
é:
"Se chove então o trânsito fica congestionado"
é: