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