13/11/17 23:37:38.50
>>310
もちろん引数の順序を変えているのではないです。
∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
>ある 閉項b について Q(a, b) がなりたったら、そこでおしまい
>既にＱはすべての変数に閉項が代入されてるから、もう何も探す必要はないよ
だからそうは思えないんです
13/11/17 23:37:38.50
>>310
もちろん引数の順序を変えているのではないです。
∀x∃y.Q(x,y) が公理にある場合、その公理に従えば、最初にQ(a,b)とすれば、
後は、Q(b,c), Q(c,d), Q(d,e),．．．となりますよね？
>ある 閉項b について Q(a, b) がなりたったら、そこでおしまい
>既にＱはすべての変数に閉項が代入されてるから、もう何も探す必要はないよ
だからそうは思えないんです