离散数学高等里离散数学课件chapt15.pptVIP

第十五章 一 阶 逻 辑 逻辑学中的三段论 1 凡有理数都是实数 2 1/3是有理数 3 1/3是实数 原 因 在命题逻辑中无法将所有命题之间的内在联系反映出来。命题逻辑中描述的三段论，即P∧Q→R，使R是与命题P、Q无关的独立命题。但实际上R是与命题P、Q有关的，只是这种关系在命题逻辑中得不到反映。 §15.1 谓词与量词 概念的讨论 谓词是用来刻划个体的性质或个体之间的关系的。 例子: 1,武汉位于重庆与上海之间. 三段论基于谓词的符号化： A(x):x是有理数，B(x):x是实数，则三段论可表示为： P：A(x) ?B(x) Q：A(1/3) R：B(1/3). 原因： 命题P的确切意思为：“对任意x，如果x是有理数，则x是实数”。但是，A(x)?B(x)中并没有确切表达出“对任意x”这个意思。这说明， A(x)?B(x)还不是一个命题。因此，在一阶逻辑中，除了引进谓词外，还需要引进语句“对任意x”，以及与之对偶的语句“存在一个x”。 定义 15.1.2： 两个重要的式子： 习 题 (1)任何金属都可以溶解在某种液体中. (2)每一个人的祖母都是他父亲的母亲. 习 题: 令P(x)为“x是质数”,E(x)为“x是偶数”,O(x)为“x是奇数”,D(x,y)为“x除尽y”.把下列各式译成汉语. §15.2 合式公式及解释 项的定义（定义15.2.1）： §15.1中各命题符号化的结果都是合式公式。 对于一个谓词，如果其中每一个变量都在一个量词的作用之下，则它就不再是命题函数而是一个命题了。但是，这种命题和命题逻辑中的命题还是有区别的。因为这种命题中毕竟还有变量，尽管这种变量和命题函数中的变量有所不同。因此，有必要区分这些变量。 约束变量与自由变量(定义15.2.4)： 1 在一个谓词公式中变量的出现说是约束的，当且仅当它出现在使用这个变量的量词作用域之内。 有关公式中变量的两条规则： 改名规则： 将谓词公式中出现的约束变量改为另一个约束变量。此改名必须在量词作用域内各处以及该量词符号中进行，且改成的新约束变量要与改名区域中的其它变量有别。 解释(定义15.2.4)： 在一阶逻辑中,公式G的一个解释I,是由非空论域D和对G中常量符号、函数符号、谓词符号按下列规则进行的一组指定所组成。 习题 给定解释I如下: (1) Di:={2,3}； (2) a?=2； (3) 函数f(x)为f(2)=3，f(3)=2； (4) 谓词：F(x)为F(2):=0,F(3):=1; G(x,y)为G(i,j):=1,i,j=2,3; L(x,y)为L(2,2)=L(3,3):=1, L(2,3)=L(3,2)=:0. 谓词公式的分类： 定义15.2.5：设G是一个谓词公式 如果存在解释I,使G在I 下为真（I 满足G），则称G是可满足的。 如果所有解释I均不满足G（弄假），则称G是恒假的，或不可满足的。 如果G的所有解释I都满足G，则称G是恒真的。 判断下列公式的类型: 解答: (1)无论对Q指派何种命题常元,Q∨﹁Q的真值总是1.而在I中对任意的x,总存在y=1使x-1x+1成立 §15.3 等值式与范式： 定义15.3.1：设A、B是谓词公式。若A?B是恒真公式，则称A与B是等值的，记为A?B，否则记为A?B，称A?B为等值式。 显然， A?B当且仅当对任何解释I，I同时满足A与B，或I同时弄假A与B。 1 命题公式的推广 由于命题逻辑中的公式都可看作特殊的谓词公式，因此，§14.2(P189) 给出的19个基本等值式，以及对其中每个等值中的同一命题变元用同一谓词公式代入，所得的关系式都是一阶逻辑中的等值式。 例1：由P?Q?﹁P∨Q可得 2 量词否定等值式 3 量词作用域的收缩与扩张等值式 定理: 设G(x)是恰含一个自由变元x的谓词公式, H是不含变量x的谓词公式. 证明：设D是论域，I是G(x)和H的一个解释. 4 量词分配等值式 定理: 设G(x),H(x)是恰含一个自由变元x的谓词公式,则有: 原因 取解释I如下： D：=自然数集； G(x)：=“x是奇数”； H(x)：=“x是偶数”. 证明 前束范式 定义： 设G为一个谓词公式，如果G具有如下形式： Q1x1…QnxnM 则称G为前束范式， 定理15.3.4： 对任意谓词公式G，都存在一个与其等值的前束范式。 例子: 习 题：将下式化成前束范式 解（2）： 一种特殊的前束范式: Skolem范式