代换实例

定义 设 $A_0$ 是含命题变项 $p_1,p_2,...,p_n$ 的命题公式, $A_1,...,A_n$ 是 $n$ 个谓词公式, 用 $A_i$ 代替 $A_0$ 中的 $p_i$, 所得公式 $A$ 称为 $A_0$ 的代换实例.