谓词逻辑中公式定义与变元约束分析.pdfVIP

2.2谓词公式与解释

定义2.8

P(t,t,…,t)称为谓词演算的原子谓词公式，其中，P是谓词，t,t,…,t是个体变元、个体常元或

12n12n

任意的n元函数。

定义2.9

1）原子谓词公式是谓词公式；

2）若A是谓词公式，则(﹁A）也是谓词公式；

3）若A和B都是谓词公式，则(A∧B),(A∨B),(AB),(AB)都是谓词公式；

4）若A是谓词公式，x是任何个体变元，则xA和xA都是谓词公式；

5）只有经过有限次地应用规则1），2），3），4）所得到的公式是谓词公式。

2.2.1谓词公式的定义

根据运算的优先级，有些括号可以适当的去掉如：

F(x)

F(x)G(x,y)

x(F(x)G(x))

xy(F(x)G(y)L(x,y))

都是谓词公式。

定义2.１０

对于谓词公式xA或xA来说，x称为量词x或量词x的指导变元或作用变元。A称为相应量词的

辖域。在x和x的辖域中，x的所有出现都称为约束出现，所有约束出现的变元称为约束变元。A

中不是约束出现的其他变元均称为是自由出现的，所有自由出现的变元为自由变元。

例2.5说明下列各式中量词的辖域与变元约束的情况：

1）xF(y)

2）x(F(x)G(x))

3）x(F(x)yG(x,y))

4）xy(F(x,y)∧G(y,z))∧xF(x,y)

5）x(F(x)∧xG(x,z)yH(x,y))∨G(x,y)

6）x(F(x)G(x))∧xH(x)∧R(x)

解：

1）xF(y)

x的辖域是F(y)，其中y为自由出现。

2）x(F(x)G(x))

x的辖域是F(x)G(x),x为约束出现。

3）x(F(x)yG(x,y))

x的辖域是F(x)yG(x,y),y的辖域是G(x,y)，其中x,y都为约束出现。

4）xy(F(x,y)∧G(y,z))∧xF(x,y)

x的辖域是y(F(x,y)∧G(y,z))，y的辖域是F(x,y)∧G(y,z)，x的辖域是F(x,y)，其中在

xy(F(x,y)∧G(y,z))中，x，y都为约束出现，z为自由出现，在xF(x,y)中，x为约束出

现，y为自由出现。

5）x(F(x)∧xG(x,z)yH(x,y))∨G(x,y)

x的辖域是F(x)∧xG(x,z)yH(x,y))，其中x的3次出现都为约束出现，但第2次出现是受

量词x的约束，而第1次、第3次出现是受量词x的约束，z为自由出现，x的辖域是G(x,z)。

y的辖域是H(x,y)，其中y为约束出现，G(x,y)中的x,y都为自由出现。

6）x(F(x)G(x))∧xH(x)∧R(x)

x的辖域是F(x)G(x)，x为约束出现，x的辖域是H(x),x也为约束出现，R(x)中x的出现为自

由出现。

定义2.１１

若公式A中不含自由出现的个体变元，则称A为封闭的公式，简称闭式。

例如：xy(F(x)G(y)H(x,y))为闭式，而x(F(x)G(x,y))不是闭式。

约束变元的换名规则：

1）换名时，更改的变元名称的范围是量词中的指导变元，以及该量词辖域中所出现

的所有该变元，公式的其余部分不变；

2）换名时一定不能更改为该量词辖域中的其他变元名称。

为了使一个变元在同一个公式中只以一种身份出现，除了进行约束变元换名外，也

可以进行自由变元代入。

自由变元的代入规则：

1）将给定公式中出现该自由变元的每一处都用新的个体变元替换

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

例２.７

1）v(F(v,y)∨G(x,z))

谓词公式x(F(x,y)

∨G