А не есть не-А
А не есть не-А
(A ist nicht non-A) — буквенное выражение закона противоречия в логике.
Источник: Философский словарь [Пер. с нем.] Под ред. Г. Шишкоффа. Издательство М. Иностранная литература. 1961