23/12/14 13:15:35.08 jUgdOWZc.net
ところで、線形論理では Ｘ⇔￢Ｘは矛盾ではない
Ｘ⇔￢Ｘ とは Ｘ⇒￢Ｘ かつ ￢Ｘ⇒Ｘ のこと
ＸとＸ⇒￢Ｘから￢Ｘは導けるが、
線形論理の場合 Ｘは使ってしまうとなくなるので
もはやＸでなくなる したがってＸと￢Ｘは同時に成立しない
同様に
￢Ｘと￢Ｘ⇒ＸからＸが導けるが
これまた￢Ｘは使ってしまうとなくなるので
もはや￢Ｘでなくなり、やはり、Ｘと￢Ｘは同時に成立しない
このような論理で 排中律が成り立ってもとくに上記に変更はない