量化されている個体変数のこと

つまり、限量子(\forall,\exists)の対象になっている変数

関数の実引数てきなやつ

function(x) {return x} の x

function(x) {return x}(x) の最後の x は自由変数

言っていることはわかるが名前の由来？がわからない

束縛変数全体の集合

論理式\phiの自由変数x_iに、項tを代入して得られる論理式