20/04/22 23:14:56 gQCe02i1.net
>>171
>すべてのカラスは黒い
>あるカラスが居る ←これが居ることの担保がない
>ゆえに
>そのカラスは黒い
>この問題を回避するにはどういう公理が必要なの?
上記を論理式で表す
1.∀x.カラス(x)→黒(x) すべてのカラスは黒い
2.∃x.カラス(x)∧黒(x) そのカラスは黒い(黒いカラスが存在する)
よく見ればわかるが、2は1の特称化ではない
1の特称化は以下の通り
3.∃x.カラス(x)→黒(x) あるものが存在しカラスであるならば黒い
1から3は導けるが、2は導けない