矛盾律公式

A不是非A

矛盾律的公式可以表述為「A不是非A」。

在這裡，A代表任何一個命題或者思想，而「非A」代表與A相矛盾的命題。這個公式表明，在一個邏輯推理的過程中，任何一個命題和它的否定不能同時為真，即兩者必有一假。

此外，在邏輯學中，矛盾律的公式也可以表示為重言式「¬(p∧¬p)」，這表明一個邏輯命題p與其否定¬p不能同時為真。