14/02/14 05:03:23.40
どうも、M_SHIRAISHI氏(つーか、ＥＵＲＭＳ)の理論のほうが、全面的に、正しいようだな。
例えば、【対偶律】は、従来は (Ｐ⊃Ｑ)⊃(￢Ｑ⊃￢Ｐ) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。
そして、M_SHIRAISHI氏の言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)］⇒/p,q/［￢Ｑ(ｘ)⇒/x/￢Ｐ(ｘ)］
こそが【対偶律】を正しく捉えてたものと考えられる。
M_SHIRAISHI氏（たち？）の主張する Logical Reformationは、おそらく、世界を
席巻することとなろう。
URLﾘﾝｸ(www.age.ne.jp)