＞
＞ 例えば、対偶律は、従来は、 (Ｐ⊃Ｑ)⊃(¬Ｑ⊃¬Ｐ) で表わされるもののこと
＞ と考えられていたのだっただが、これは、どうやら、誤りだったようだ。
＞
＞ そして、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
