Substitution (logic) とは

置換は論理の基本概念である。置換は、正式な表現の構文的変換です。式に代入を適用するとは、その変数またはプレースホルダのシンボルを他の式で一貫して置き換えることを意味します。結果の式は、元の式の置換インスタンス、つまり短いインスタンスと呼ばれます。