Закон противоречия.
В логике - один из четырех законов мышления, по которому из двух суждений, одно из которых утверждает то, что другое отрицает, одно должно быть ложным.
Латинско-русский и русско-латинский словарь крылатых слов и выражений. — М.: Русский Язык. Н.Т. Бабичев, Я.М. Боровской. 1982.