Закон исключения третьего
Истинно
суждение либо его
-третьего не
