>  2008/10/19 (日) 04:07:35        [qwerty]
> > 横レスだが反証の意味分かってるか?
> わからんのかよ
> 存在量化の反証は否定の全称量化だ
> あるカラスは白いことを反証するにはすべてのカラスは白くないことを示さなきゃならん
> だがすべてのカラスを数えあげるのは不可能
> 反証不可能なのでこの文は非科学的な無意味な文ってことになるんだ

科学の問題ではなくて論理学の問題
「白いカラスが存在する」の否定は単純に「白いカラスは存在しない」
これは否定の全称命題で真であることを証明するのは極めて難しいため「悪魔の証明」とも呼ばれる
但しカラスなら理論的には全数調査が可能なので否定が不可能というわけではない
ただそれだけだ(;´Д`)

参考:2008/10/19(日)04時04分56秒