>  2007/01/17 (水) 04:11:07        [qwerty]
> > それでは意味がないよ(;´Д`)
> 「Aでないとは言えない」→「よってAではない」
> 簡略化するとこうでしょ、矛盾してないの?

最初の人じゃないけど、論理で言うところの
¬¬A⇔Aと我々が使う自然言語を同様に扱い過ぎるということでしょ,

参考:2007/01/17(水)04時04分49秒