Развёрнутая формулировка закона противоречия Аристотеля по Готфриду Лейбницу

«... всякое высказывание (т. е. утверждение или отрицание) бывает либо истинным, либо ложным; при этом если истинным будет утверждение, то ложным будет отрицание; если истинным будет отрицание, то ложным будет утверждение. Если что-то отрицается как истинное, (очевидно) оно является ложным; а если что-то отрицается как ложное, то оно является истинным».

Готфрид Лейбниц, Об основных аксиомах познания, Сочинения  в 4-х томах, Том 3, М., «Мысль», 1984 г., с. 138-141.