その前に
>>882の
>単に｢論理式φに現れる変数記号xが自由変数であるとは〜｣だけじゃだめで
例えば、｢左から数えてφのｎ文字目に現れている変数記号xが自由変数であるとは〜｣ってな具合で位置まで指定しないと意味が無い
ということ証明してよ