换名规则:如果x既是约束变元又是自由变元,为了把两个身份区分开,那么可以把其中的一个身份用另一个字母来表示(前提是约束变元和自由变元所在的谓词公式都有量词的约束)
代入规则:如果谓词公式(例如F(x))前,没有全称量词或者存在量词的约束,可以把x换成另一个字母,和其他谓词公式中的x区分开
区别:换名规则要求x的两个身份所在的谓词公式前,都有量词的约束;而代入规则,也是为了区分身份,但是其中一个身份所在的谓词公式前,没有量词的约束
换名规则:如果x既是约束变元又是自由变元,为了把两个身份区分开,那么可以把其中的一个身份用另一个字母来表示(前提是约束变元和自由变元所在的谓词公式都有量词的约束)
代入规则:如果谓词公式(例如F(x))前,没有全称量词或者存在量词的约束,可以把x换成另一个字母,和其他谓词公式中的x区分开
区别:换名规则要求x的两个身份所在的谓词公式前,都有量词的约束;而代入规则,也是为了区分身份,但是其中一个身份所在的谓词公式前,没有量词的约束