>>65　＞ＲＬ(the Reformed Theory of Logic)の場合だと（断固として！）述型です。
>>66　＞と言うよりも、“二偕の変項”と言ったほうが正確ですね。

つまり、集合論で
∀P,Q.(∀x.(x∈P⊃(x∈Q∨x∈R)))⊃
　　　(∀x.(x∈P⊃x∈Q)∨∀x.(x∈P⊃x∈R))　(1)
と書くのと同じでしょうか？

ところで、述語論理では、(1)は
　∀P,Q,x.((x∈P⊃x∈Q∨x∈R)⊃((x∈P⊃x∈Q)∨(x∈P⊃x∈R))　(2)
とは違いますが、その点は御存知でしょうか？