｢自由変数｣の厳密な定義って案外厄介だよな
よくよく考えると、単に｢論理式φに現れる変数記号xが自由変数であるとは〜｣だけじゃだめで
例えば、｢左から数えてφのｎ文字目に現れている変数記号xが自由変数であるとは〜｣ってな具合で位置まで指定しないと意味が無いから