谓词逻辑初步-南京大学.pdfVIP

谓词逻辑初步 离散数学─逻辑和证明 南京大学计算机科学与技术系 内容提要  引言  谓词  量词  推理 引言  例：  人都要死的  苏格拉底是人  苏格拉底要死的 命题逻辑无法处理！ 引言  知识表示  brother(x, y ) ∧father(y , z) →uncle(x, z)  father(x, y ) ∧father(y , z) →grandfather(x, z) 命题逻辑无法表达！ 谓词  如果x 是整数，“x 大于2” 不是命题，它的真值依 赖于x 的取值  可以将“x大于2”表示为P(x) 。  一元谓词P : 陈述P(x) 看作命题函数P在x 的一个值.  P 的定义域是整数集  P(3)是一个取值为T的命题  P(1)是一个取值为F 的命题  举例，二元谓词Q：Q(x, y)表示“x=y +3” 。 量词  若P(x) 是谓词, ∀xP(x)表示 “对所有的x, P(x)” 。 ∀称为全称量词  若P(x) 是谓词, ∃xP(x)表示 “存在某个x, P(x)” 。 ∃称为存在量词。  例：P(x)表示x2  ∀xP(x)为F （假），∃xP(x)为T （真）  优先级：量词的优先级高于其它逻辑运算符。 关于论域/作用域的讨论  符号化以下语句 2  P(x)表示x 0，∀xP(x) 的真值？  有的政治家诚实  所有美国人都喜欢汉堡包 关于论域/作用域的讨论  观察量化表达式  ∀x (P(x) ∧Q(x))  ∀xP(x) ∧∀xQ(x)  ∀xP(x) ∧∀yQ(y )  ∀x (P(x) ∨Q(x))  ∀x (P(x,y) ∧Q(x,y))  量化表达式中的变元：绑定、自由、作用域、替换 带量词的公式的否定式  ¬∀xP(x) ≡∃x¬P(x)  对所有的x , x 的平方是正数  否定：存在某个实数x , 其平方不是正数。  ¬∃xP(x) ≡∀x¬P(x)  存在x , 满足5x=x .  否定：对任意的x , 5x≠x. 多个量词并用  ∀x∀yP (x,y) ≡∀y ∀xP(x,y) 举例：P(x,y) 表示x+y =y +x 。论域为实数集  ∃x∃yP (x,y) ≡∃y ∃xP(x,y) 举例：P(x,y) 表示x=y +1 。  ∀x∃yP (x,y) 与∃y ∀xP(x,y) 不一定等价 举例：P(x,y) 表示 “y x ” 。 将自然语言翻译成逻辑表达式 这个班上的每个学生都学过微积分课程. S(x): x 是这个班上的 C(x): x 学过微积分课程 ∀x (S(x)→C(x)) 这个班上的每个学生都或去过加拿大，或去过墨西哥. ∀x (S(x)→ V(x, 加拿大) ∨V(x, 墨西哥) ) 练习：所有狮子都是凶猛的，有些狮子不喝咖啡。 与量词有关的“自然演绎”规则 ∀x P(x) P(c)对任意的c ——— —————— ∴P(c) ∴∀x P(x) 全称例示 全称生成 ∃x P(x) P(c)对某个c ———————— —————— ∴P(c)对于某个c ∴∃x P(x) 存在例示