>>454
矢印もあてにならないようなので式だけで考えますと
（たぶん適当に説明するついでに省いたんでしょうけど）、
(∀z)(∀y)[(∀y){R(x,y)⊃(∃z)R(y,z)}⊃R(x,z)]
の論理式において、自由変項はxだけですよね？
最初の(∀z) (∀y)は全体に掛かっているということでいいんですよね？
そして、場所っていうのは何なんですか？
↓の4ページ目見てスコープや束縛や自由は理解しましたが、
http://research.nii.ac.jp/~terui/mita01.pdf
場所についてだけはよくわかりません。