* Заметим, что закон непротиворечия эквивалентен закону исключённого третьего («всё есть либо А, либо не-А»); это можно доказать с помощью законов Де Моргана. См. Приложение по логике.