>>680
否定は「→無」というのは、
「ないことはない」ということが「ある」ということ
を示すということかな。
ただ、これは量化を使用するという考えもありえて、
命題論理で話を済ませるというのは流儀に過ぎない。