13/11/28 13:41:26.38
>>325
「どんなb」というのも変なのでxにしておいた。
とにかく、∀x.B(x) なんていうんじゃなく、∀x∃y.C(x,y) の場合にどうするかを
具体的に示してやらないといけないんじゃないか？
∀の場合は簡単という答の中になんでスコーレム関数のことが出てこないの？
13/11/28 13:41:26.38
>>325
「どんなb」というのも変なのでxにしておいた。
とにかく、∀x.B(x) なんていうんじゃなく、∀x∃y.C(x,y) の場合にどうするかを
具体的に示してやらないといけないんじゃないか？
∀の場合は簡単という答の中になんでスコーレム関数のことが出てこないの？