今日は超基本となる論理規則を取りあげてみます。

・同一律
・矛盾律
・排中律

同一律とは、ＡはＡであるという論理の事。
例：いかなるものもそれが川であれば、川である。

矛盾律とは、Ａであり、Ａではないという事は無いという論理。
例：それは川であると同時に、川ではないという事はない。

俳中律とは、Ａ、又は非Ａのいずれかは真なりという論理。
例：それは川であるか、川でないかのいずれかである。

これらは1つの主張の中で一貫して守られなければならない規則です。
何かを証明する際に、
冒頭でＡ＝Ａとしたはずなのに、
後の方で、Ａ≠Ａとしてはいけないという事。

一度真と確定した事は確実に最後まで真ですよね？

これらの論理規則は論理の一貫性を保つために求められる規則なのですが、
他にも交換律とか、推移律とか色々あります。
（↑私は憶えていませんが…汗）
興味のある方は調べてみても面白いかもしれません♪