离散数强学谓词公式与解释.pptVIP

§2.2 一阶逻辑合式公式及解释 原子公式： 为n元谓词符号，t1,t2,…,tn 是项，则 是原子公式； 合式公式的归纳定义： 1、任意的原子公式是公式 2、若A是公式，则?xA、?xA是公式； 3、若A、B是公式，则? A、A∧ B、A∨B、A → B、A ?B是公式； 有限次地应用前三条，得到公式。 二、约束部分 在谓词公式中，形如?xP(x)或?xP(x)以及 ?xP(x，y)的部分中x称为指导变元，在辖域中,x的所有出现称为约束变元（约束出现）；y是自由变元（自由出现）。量词的辖域 ?(x)P(x)或?(x)P(x)中的公式P(x)，通称为量词的辖域。换言之，量词的辖域是邻接其后的公式，除非辖域是原子公式，否则应在所辖公式的两侧插入圆括号。 量词辖域举例 例如：?x F(x)?G(x,y) 解：?x的辖域仅F(x),x是指导变元，变元x第一次出现是约束出现，第二次出现是自由出现，y的出现是自由出现。所以第一个x是约束变元，第二个x是自由变元，本质上这两个x的含义是不同的；而y仅是自由变元。 换名规则 可以看出,在谓词公式中一个变元可能既是约束出现,同时又有自由出现,则该变元既是自由变元又是约束变元,本质上这