07/04/15 05:26:42 U/RmHqxA0
>>826
そうそれ。じゃあ仮に掲載順が低くても打ち切りになったxが？個以下だったらP(x)としよう
そのP(x)が>>820が偽であることの証明に必要ないだろ？
一個でも反例が見つかればいいわけだから。
でも問一には必要なわけよ。P(x)なら∀xF(x)→H(x)という形で
「掲載順が低くても打ち切りになったxが？個以下だったらP(x)」っていうのは
つまり「反例が稀であることの証明」なわけで、∀xF(x)→H(x)には必要。
でも∀xF(x)→G(x)には要らないんだな。真か偽かで片付いてしまう