無矛盾律
無矛盾律(むむじゅんりつ、英: Law of noncontradiction)は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。矛盾律(むじゅんりつ、英: Law of contradiction)とも。命題論理で表すと、次のようになる。
¬ ( P ∧ ¬ P ) {\displaystyle \neg (P\wedge \neg P)\!}
同一律、排中律と共に、アリストテレスの3つの思考の法則の1つとされている。