19/03/05 15:09:05.52 rF7tPU6M.net
>>906
論理式φ：≡ｘ=ｘ∧∃x(ｘ=ｘ) がいい例ｗ←既に例示してる
後は演習問題(きりっ)ｗｗｗ
といいたい所だが、ID:rF7tPU6Mこいつとは違うのでキチンと言うと
ここでは単に｢φに現れるxは束縛されている｣｢φに現れるxは自由である｣って言うのはおかしいよな？
だって自由なx(ｘ=ｘのｘ)と束縛されてるx(∃x(ｘ=ｘ)のｘ)がどちらも現れてるんだから
だから｢φに現れる左から2番目のxは自由である｣ってな具合にxの�