>>906
論理式φ：≡ｘ=ｘ∧∃x(ｘ=ｘ)　がいい例ｗ←既に例示してる
後は演習問題(きりっ)ｗｗｗ


といいたい所だが、ID:rF7tPU6Mこいつとは違うのでキチンと言うと
ここでは単に｢φに現れるxは束縛されている｣｢φに現れるxは自由である｣って言うのはおかしいよな？
だって自由なx(ｘ=ｘのｘ)と束縛されてるx(∃x(ｘ=ｘ)のｘ)がどちらも現れてるんだから
だから｢φに現れる左から2番目のxは自由である｣ってな具合にxの位置まで指定しなきゃいけないよな