無矛盾律
ある事物について，ある性質を満たしつつ同時にその性質を満たさない，といったことはあり得ない．という原則
古典的な命題論理の記述なら$ \lnot(p \land \lnot p)で表され，普通は常に成立する．