20/04/22 23:22:47.48 gQCe02i1.net
>>172
1.∀x.カラス(x)→黒(x) すべてのカラスは黒い
3.∃x.カラス(x)→黒(x) あるものが存在しカラスであるならば黒い
3の否定
4.∀x.カラス(x)∧¬黒(x) すべてのものは黒くないカラスである
∀x.カラス(x)→黒(x) 1
∀x.カラス(x)∧¬黒(x) 4 3の否定
カラス(a) 4の全称例化
¬黒(a) 4の全称例化
カラス(a)→黒(a) 1の全称例化
¬カラス(a) 黒(a)
× ×
したがって1から3は導ける