11/09/25 15:21:12.62
どうも、「M_SHIRAISHI氏(つーか、EURMS)の理論」のほうが正しいようだな。
例えば、対偶律は、従来は、 (P⊃Q)⊃(¬Q⊃¬P) で表わされるもののこと
と考えられていたのだっただが、これは、どうやら、誤りだったようだ。そして
M_SHIRAISHI氏の言う[P(x)⇒/x/Q(x)]⇒/p,q/[¬Q(x)⇒/x/¬P(x)]
こそが、対偶律を正しく捉えてたものと考えられる。
M_SHIRAISHI氏(たち?)の主張する「論理革命」は、早晩、世界を席巻することとなろう。
URLリンク(www.age.ne.jp)
URLリンク(www.age.ne.jp)