[理学]第9章谓词逻辑.pptVIP

第9章 谓词逻辑基础 9.1 谓词逻辑的基本概念 9.2 谓词逻辑的等价式和蕴涵式 *9.3 谓词公式的前束范式 9.1 谓词逻辑的基本概念 9.1.1 个体、谓词与谓词表达式 9.1.2 命题函数与个体域 9.1.3 量词与辖域 9.1.4 谓词公式与语句的形式化 9.1.1 个体、谓词与谓词表达式 比较 命题逻辑 一个完整的语句为研究对象 谓词逻辑 将语句细分为“个体” 和“谓词”。 个体一般是语句的主语，谓词一般是语句的谓语。 9.1.2 命题函数与个体域 9.1.3 量词与辖域 9.1.4 谓词公式与语句的形式化 9.2 谓词逻辑的等价式和蕴涵式 9.2.1 谓词公式的永真、永假与可满足式 9.2.2 谓词逻辑的等价式与蕴涵式 9.2.1 谓词公式的永真、永假与可满足式 9.2.2 谓词逻辑的等价式与蕴涵式 第9章 复习 个体，谓词 量词及其辖域 消去量词 自由变元、约束变元的判定及更名 语句形式化（限定谓词的使用） 谓词公式的永真、永假和可满足式的判定 等价式和蕴涵式的定义及证明 常用等价式及蕴涵式 约定: 量词之前的否定联结词, 不是否定该量词, 而是否定该量词及其辖域. (3) 量词否定等价式 设A(x)是含自由变元x的任意谓词公式, 则 ?(?xA(x)) ? ?x(?A(x)) ?(?xA(x)) ? ?x(?A(x)) 证明: 仅当个体域为{a1, a2, …, an}时来证明. ?(?xA(x)) ? ?(A(a1)∧A(a2)∧…∧A(an)) ? ?A(a1)∨?A(a2)∨…∨?A(an) ? ?x(?A(x)) ?(?xA(x)) ? ?(A(a1)∨A(a2)∨…∨A(an)) ? ?A(a1)∧?A(a2)∧…∧?A(an) ? ?x(?A(x)) 解释：对等价式?(?xA(x)) ? ?x(?A(x))而言, ?(?x(A(x))表示: 并不是所有的x都有性质A. ?x(?A(x)) 表示: 存在x没有性质A. 显然“并不是所有的x都有性质A”和“存在x没有性质A”是相同的, 所以?(?x(A(x)) ??x(?A(x)). 对等价式?(?x(A(x)) ??x(?A(x))来说, “不存在某个x有性质A”和“所有的x都没有性质A”也是相同的. (4) 量词辖域的扩张与收缩时的等价式 当公式B中不含变元x时, 有 E27 ?xA(x)∨B ? ?x(A(x)∨B) E28 ?xA(x)∧B ? ?x(A(x)∧B) E29 ?xA(x)∨B ? ?x(A(x)∨B) E30 ?xA(x)∧B ? ?x(A(x)∧B) 例 ?xA(x)∧?yB(y) ? ?x?y (A(x)∧B(y)) ?x (A(x)∧?yB(y)) ? E31 ?x A(x)→B ? ?x(A(x)→B) E32 ?x A(x)→B ? ?x(A(x)→B) E33 B→?x A(x) ? ?x(B→A(x)) E34 B→?x A(x) ? ?x(B→A(x)) E35 ?x A(x)→?x B(x) ? ?x(A(x)→B(x)) 此外还有 可由前面的等价式证明 前者可以理解为: “所有的x有性质A和性质B”和“所有的x有性质A且所有的x有性质B”是等同的. 后者可以利用前者来证明. (5) 量词分配等价式 设A(x)和B(x)是任意谓词公式, 则 E36 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) E37 ?x(A(x)∨B(x)) ? ?xA(x)∨?xB(x) (6) 谓词逻辑中特有的蕴涵式. I9 ?xA(x)∨?x B(x) ? ?x(A(x)∨B(x)) I10 ?x(A(x)∧B(x)) ? ?xA(x)∧?xB(x) 例. 设个体域为某联欢会上的所有人, A(x): x在 联欢会上唱歌; B(x): x在联欢会上跳舞. 联欢会上的所有人既唱歌又跳舞可表示为: ?x(A(x)∧B(x)) 联欢会上的所有人唱歌, 并且联欢会上所有人的跳舞可表示为: ?xA(x)∧?xB(x) 联欢会上有的人唱歌或跳舞可表示为: ?x(A(x)∨B(x)) 联欢会上有的人唱歌或联欢会上有的人跳舞可表示为: ?xA(x)∨?xB(x) 联欢会上所有的人唱歌, 或者联欢会上所有的人跳舞可表示为: ?xA(x)∨?xB(x) 联欢会上所有的人或者唱歌, 或者跳舞可表示为: ?x(A(x)∨B(x)) 联欢会上有人既唱歌又跳舞可表示为: ?x(A(x)∧B(x)) 联欢会上有人唱歌, 并且联欢会上有人跳舞可表示为: ?xA(x)∧