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

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

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

$\varphi$ における自由な出現 $v_i$ をすべて $v_j$ に書きかえることを

$\varphi$ において $v_i$ に $v_j$ を代入する という。

このとき、書きかえられた 原始言語の論理式 を $\varphi$ において $v_i$ に $v_j$ を 代入した結果 とよぶ。