离散数学第2章第2节.pptVIP

内容回顾 谓词逻辑的基本概念： 谓词、谓词填式、n元谓词、命题函数、复合命题函数、个体域、全称量词、存在量词等 谓词合式公式： 递归式定义；命题翻译 举例： (?x) P(x, y) 量词 量词 1、指导变元、作用域、约束变元、自由变元 通常，一个量词的辖域是公式的子公式。因此，确定一个量词的辖域即是找出位于该量词之后的相邻接的子公式，具体地讲： 若量词后有括号，则括号内的子公式就是该量词的辖域； 若量词后无括号，则与量词邻接的子公式为该量词的辖域。 判定给定公式中个体变元是约束变元还是自由变元，关键是要看它在公式中是约束出现，还是自由出现。 就近原则：变元受最近量词的约束； 由里向外原则：对于复杂公式的判断，由里向往逐层判断； a)(?x)(P(x)?Q(x)) b)(?x)(P(x)?(?y)R(x,y)) c)(?x)(?y)(P(x,y)∧Q(y,z))∧(?x)P(x,y) d)(?x)(P(x)∧(?x)Q(x,z)?(?y)R(x,y))∨Q(x,y) a)(?x)(P(x)?Q(x)) b)(?x)(P(x)?(?y)R(x,y)) c)(?x)(?y)(P(x,y)∧Q(y,z))∧(?x)P(x,y) d)(?x)(P(x)∧(?x)Q(x,z)?(?y)R(x,y))∨Q(x,y) 约束变元判断 约束变元判断方法：要求熟练掌握 课外作业：能否程序实现约束变元的判断？ 输入：谓词公式 输出：指导变元、作用域、约束变元、自由变元 2、闭式 2、闭式 c)(?x)(?y)(P(x,y)∧Q(y,z))∧(?x)P(x,y)在一公式中，有的个体变元既是约束出现，又是自由出现，这就容易产生混淆。为了避免混淆，可对约束变元换名或自由变元代入。 规则：将量词辖域中某个约束出现的个体变元及相应指导变元，改成本辖域中未曾出现过的个体变元，其余不变。 2、自由变元代入 规则：对某自由出现的个体变元可用与原公式中所有个体变元不同的个体变元去代入，且代入时需对公式中出现该自由变元的每一处进行。 三、有限论域客体变元的枚举 量词作用域中的约束变元，当论域的元素是有限时，客体变元的所有可能的取代是可枚举的。 四、量词的次序注意：量词对变元的约束，往往与量词的次序有关，量词的次序不能颠倒。 (?x)(?y)(父子(x,y)):任何人都有儿子 (?y)(?x)(父子(x,y)):存在一人是所有人的儿子约定：对命题中的多个量词，约定从左到右的次序读出。 §2—5 谓词演算的等价式和蕴含式 命题逻辑的等价式： ?? P ? P 命题逻辑的蕴含式： P∧Q ? P  量词的否定与德摩根律--?与?的对偶性 当个体域为有限集{x1,…,xn}时, ?(?x)P(x) ? (?x)?P(x) 可表为 ?(P(x1)∧…∧P(xn))??P(x1)∨…∨?P(xn); ?(?x)P(x)?(?x)?P(x) 可表为 ?(P(x1)∨…∨P(xn))??P(x1)∧…∧ ?P(xn).这正是熟知的摩根律.而当个体域不为有限集时, 量词否定可视为摩根律的推广. 证明当B为真时,左右两边都为真;否则, B为假,此时左右两边都等价于(?x)A(x), 证迄. 提示：也可以利用谓词公式的可满足的定义来推理证明上述等价式成立。 证明 (?x)A(x)?B ?(?x)(A(x)?B) (B不含x) 证 (?x)A(x)?B(?x)A(x)∨B条件表达式(?x)? A(x)∨B 量词否定(?x)(?A(x)∨B) 量词辖域扩张(?x)(A(x)?B) 条件表达式 证明 B?(?x)A(x)?(?x)(B?A(x)) (B不含x) 证 B?(?x)A(x)B∨(?x)A(x)条件表达式(?x)(?B∨A(x)) 量词辖域扩张(?x)(B?A(x))条件表达式当谓词的变元与量词的指导变元不同时，有类似于上述的公式。 (?x)(P(x) ∨ Q(y) ) ? ((?x)P(x)) ∨ Q(y) (?x) ((?y) P(x,y) ∧ Q(z)) ? ((?x)(?y) P(x,y) ∧ Q(z)) 在有限个体域 E 上证明(?x)(A(x)∧B(x)) ?(?x)A(x)∧(?x)B(x)和(?x)(A(x)∨B(x)) ?(?x)A(x)∨(?x)B(x)两个等价式。  (?x)(A(x)∧B(x)) (A(a1)∧B(a1))∧(A(a2)∧B(a2))∧…∧(A(an)∧B(an))  ?(A(a1)∧A(a2)∧…∧A(an))∧(B(a1)∧B(a2)∧…∧B(an))  ?(?x)A(x)∧(?x)B(x) (?x)(A(x)∨B(x)) (A(a1)∨