13/11/18 00:28:58.81
>>312
あれ？伝わりませんか？
Q(a,b) とすれば、このbも、∀x∃y.Q(x,y) における∀xのカバー範囲に入るので、
先のaと同様にQ(b,c)としなければいけなくなり、そうすると、その次は、
cについても同様に．．．という意味だったのですが
13/11/18 00:28:58.81
>>312
あれ？伝わりませんか？
Q(a,b) とすれば、このbも、∀x∃y.Q(x,y) における∀xのカバー範囲に入るので、
先のaと同様にQ(b,c)としなければいけなくなり、そうすると、その次は、
cについても同様に．．．という意味だったのですが