>  2007/01/17 (水) 04:12:13        [qwerty]
> > 「Aでないとは言えない」→「よってAではない」
> > 簡略化するとこうでしょ、矛盾してないの?
> 最初の人じゃないけど、論理で言うところの
> ¬¬A⇔Aと我々が使う自然言語を同様に扱い過ぎるということでしょ,
 ~~~~
これは何?(;´Д`)白けた目?

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