prawo rachunku w logice zdań, według którego negacja negacji (podwójne zaprzeczenie) wzajemnie się znosi nie powodując zmiany wartości logicznej tego zdania; np. zdanie nieprawda, że drzewo nie jest zielone jest równoważne twierdzeniu drzewo jest zielone.
- ZDAŃ RACHUNEK, teoria zdań