>>646
同一律と排中律は肯定的ではなくて？

命題論理の本質は否定だと思う。
そして、「¬」は「→無」と等しい。
例えば、A∧Bというのは、
それ以外の存在は無であるということであり、
A∧Bそれ自体は有るとも無いとも言っていない。
いわば空だ。
真理関数という名前がミスリーディングで、
命題は空と無を示している。
ただ、私の考えは主流ではないことは知っている。

>否定の記号￢よりも、規則の否定の方がより強力であることは言うまでもない
言うまでもないことがよくわかりませんでした。:)
A≠AはA=Aの否定ではないでしょうか。

>>647
無は戯れのイメージはあります。