またまたスレ汚しかもしれませんが、
論理式についてさっぱりわからないので
（説明まともにしないのに課題出されたので）
質問したいのですが、
http://up.spawn.jp/file/up27614.png
↑の論理式のフリーに現れる変項とその場所を指摘せよ、
とのことですが、矢印に示される束縛を受けないxが
変項ってことでいいのでしょうか？
それなら場所とかなんだよ、って感じなんですが。。