論理学の三大原理

$ A＝A

$ A \to A

↑この2つの違いはなんでしょう？

排中律

$ P∨〜P

$ A \lor \lnot A

P であるか、または P でないか

(言い換え)いかなる命題Pも真か偽のいずれかである

矛盾律

$ 〜（P∧〜P）

$ \lnot (A \land \lnot A)

P でありかつ非 P であることはない