- Lógica ProposicionalEquivalências Lógicas
- Lógica ProposicionalNegação de Proposições CompostasLeis de De Morgan
Considere a sentença
“Se Arquimedes é torcedor do Ji-Paraná, então Sócrates é torcedor do Rondoniense”.
A negação lógica dessa sentença é: