13/11/17 22:58:11.68
∀x∃y.Q(x,y) に関してだけど
Q(y,z)って何？引数の順序には意味があるんだから位置変えちゃだめでしょ
任意の 閉項a に対して ∃ｙQ(a, y) がなりたって、
ある 閉項b について Q(a, b) がなりたったら、そこでおしまい
既にＱはすべての変数に閉項が代入されてるから、もう何も探す必要はないよ
13/11/17 22:58:11.68
∀x∃y.Q(x,y) に関してだけど
Q(y,z)って何？引数の順序には意味があるんだから位置変えちゃだめでしょ
任意の 閉項a に対して ∃ｙQ(a, y) がなりたって、
ある 閉項b について Q(a, b) がなりたったら、そこでおしまい
既にＱはすべての変数に閉項が代入されてるから、もう何も探す必要はないよ