久しぶりに論理学について書いてみようかしら？

と。
思ったものの、
特に書く事が思い付かないので、
有名なのを気ままに列挙してみようーｗ


同一律
AはAである。
例：それが川ならば川である。

矛盾律
Aであり、非Aであることはない。
例：それが川であり、川ではないということはない。

排中律
Aまたは、非Aである。
例：それは川、または川ではないものだ。

交換律
「Aまたは、B」は「Bまたは、A」とすることができる。
例：その川は長く、深い⇒その革は深く、長い。

推移率
AはBである。BはCである。よって、AはCである。
例：その椅子は木でできている。木は燃やすことができる。よって、その椅子は燃やすことができる。

アリストテレス連鎖式
AはBである。BはCである。CはDである。DはEである・・・・・・YはZである。よって、AはZである。
例：面倒くさいのでしょーりゃく！ｗ

添加律
Aまたは、Bである。はAまたは、Bまたは、Cであるといってもよい。
例：ある人が男性である場合。
「その人は男か女かのいずれかである」は真。
これに条件を添加して、
「その人は男か女か、はたまたニューハーフのいずれかである」としても真。


では。