論理学で、思考の原理の一。

「Aは非Aではない」または「いかなるものもAかつ非Aであることはできない」という形式で表される。

同一原理の反面を表す。

矛盾律。矛盾法。