20/04/22 23:22:47.48 gQCe02i1.net
>>172
１．∀ｘ．カラス（ｘ）→黒（ｘ） すべてのカラスは黒い
３．∃ｘ．カラス（ｘ）→黒（ｘ） あるものが存在しカラスであるならば黒い
３の否定
４．∀ｘ．カラス（ｘ）∧￢黒（ｘ） すべてのものは黒くないカラスである
∀ｘ．カラス（ｘ）→黒（ｘ） １
∀ｘ．カラス（ｘ）∧￢黒（ｘ） ４ ３の否定
カラス（ａ） ４の全称例化
￢黒（ａ） ４の全称例化
カラス（ａ）→黒（ａ） １の全称例化
￢カラス（ａ） 黒（ａ）
× ×
したがって１から３は導ける