＞どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論」のほうが正しいようだな。
＞
＞例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののことと
＞信じられていたのだっただが、これは、どうやら、誤りだったようだ。
＞
＞そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［¬Ｑ(ｘ)⇒/x/¬Ｐ(ｘ)］
＞こそが【対偶律】を正しく捉えてたものと考えられる。
＞
＞M_SHIRAISHI氏（たち？）の主張する Logical Reformationは、おそらく、世界を
＞席巻することとなろう。


http://www.age.ne.jp/x/eurms/

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html