Закон логики, указывающий на то, из двух противоречащих суждений одно истинное, другое ложное, третьего не дано: