Закон исключенного третьего.
В логике - один из четырех законов мышления.
По закону исключенного третьего (principium exclusi tertii) два противоречащих суждения, исключающих одно другое, не могут быть ошибочны. (Г. В. Плеханов, Предисловие переводчика ко 2-му изданию брошюры Ф. Энгельса "Людвиг Фейербах".)
Латинско-русский и русско-латинский словарь крылатых слов и выражений. — М.: Русский Язык. Н.Т. Бабичев, Я.М. Боровской. 1982.