論理ろんり式における代入可能性

$i,j$ を $1,2,\ldots$ のいずれかとする。

$v_1,v_2,\ldots$ を 変数記号、$\varphi$ を 原始言語の論理式 とする。

$\varphi$ において $v_i$ に $v_j$ を 代入した結果 を $\psi$ とする。

$\varphi$ における自由な出現 $v_i$ を書きかえてできた $v_j$ がすべて、$\psi$ における自由な出現 であるとき、$v_j$ は $\varphi$ において $v_i$ に 代入可能 であるという。