3) Закон исключенного третьего

Два несовместимых суждения, в одном из которых утверждается то, что отрицается в другом, не могут быть одновременно ложными; одно из них непременно истинное. Пример: 1) Солнце является звездой (истинное суждение). 2) Солнце не является звездой (ложное суждение).