自由变元与命题变元的代入规则

自由变元与命题变元的代入规则

1.自由变元的代入规则

自由变元也可以改名，但必须遵守以下代入规则。

（1）欲改变自由变元x的名，必改x在公式中的每一处自由出现。

（2）新变元不应在原公式中以任何约束形式出现。

2.命题变元的代换规则

用任一谓词公式A _i 代换永真公式B中某一命题变元P _i 的所有出现，所得到的新公式′B仍然是永真式（但在A _i 的个体变元中不应有B中的约束变元出现），并有B⇒B′。