18/01/01 07:19:44.49 6YUNwJpN.net
> どうも、M_SHIRAISHI氏(つーか、EURMS)の理論」のほうが正しいようだな。
>
> 例えば、対偶律は、従来は、 (P⊃Q)⊃(¬Q⊃¬P) で表わされるもののこと
> と考えられていたのだっただが、これは、どうやら、誤りだったようだ。
>
> そして、M_SHIRAISHI氏の言う[P(x)⇒/x/Q(x)]⇒/p,q/[¬Q(x)⇒/x/¬P(x)]
> こそが【対偶律】を正しく捉えてたものと考えられる。
>
> M_SHIRAISHI氏(たち?)の主張する Logical Reformation は、おそらく、世界を
> 席巻することとなろう。
URLリンク(www.age.ne.jp)
URLリンク(www.age.ne.jp)