Operações sobre proposições: negação e lei da dupla negação