离散数学概要.ppt

 Lecturer： 王振宏 Email: wdwzhong@126.com mobile: Office Address： 北7-1203D 第二章 谓词逻辑 §1 谓词的概念与表示法 §2 命题函数与量词 §3 谓词公式与翻译 §4 变元的约束 §5 谓词演算的等价式与蕴含式 §6 前束范式 §7 谓词演算的推理理论 第二章 重点问题 （1）命题与符号之间的相互翻译（谓词逻辑） （2）运用谓词逻辑推理规则进行推理 §1 谓词的概念与表示法 逻辑学中著名的苏格拉底三段论 ： 大前提p： 凡人都是要死的， 小前提q: 苏格拉底是人， 结 论r： 所以苏格拉底是要死的 在命题逻辑中就无法表示这种推理过程。 命题逻辑 命题被当作一个基本的，不可分割的单位。 研究由原子命题和联接词所组成的复合命题。 无法研究命题的内部结构及命题之间内在的联系。 谓词逻辑 对原子命题的成份、结构和原子命题间的共同特性等作进一步分析。 引入了个体词、谓词、量词、谓词公式等概念。 研究谓词公式间的等价关系和蕴涵关系。 对命题逻辑中的推理规则进行扩充和进行谓词演算。 §1 谓词的概念与表示法 在谓词逻辑中，可将原子命题分解为个体词、谓词、量词三部分。 一、个体词 定义 个体是指可以独立存在的客体 个体可以是抽象的，也可是具体的。个体通常在一个命题里表示思维对象。 将表示具体或特定的客体的个体词称作个体常量，一般用小写英文字母a，b，c…表示。 将表示抽象或泛指的个体词称为个体变元，常用x，y，z…表示。 称个体变项的取值范围为个体域(或称论域)。有一个特殊的个体域，它是由宇宙间一切事物组成的，称它为全总个体域。在论述或推理中如没有指明所采用的个体域，都是使用全总个体域。 二、谓词 定义 用来刻划个体的性质或个体之间关系的词称为谓词。 刻划一个个体性质的词称为一元谓词；刻划n个个体之间关系的词称为n元谓词。 注意：这里的“元”指的是自由变元 通常用大写字母表示谓词，小写字母表示个体。 1、Q(x): x是学生；P(x,y): x比y高；R(x,y,z): x坐y与z之间；a:李明； b:张亮； c:陈华 上述命题可分别表示为 Q(a), P(b,c), R(c,b,a) 2、一般地，一个由n个个体和n元谓词所组成的命题可表示为F(a1,a2, … ,an)，其中F表示n元谓词, a1,a2, … ,an 分别表示n个个体。 3、注意：a1,a2, … ,an的排列次序是重要的。 n元谓词的概念 元：指自由变元 n: 指自由变元的个数 如： Q(x)，P(x,y)， R(x,y,z) n元谓词不是命题！ §2 命题函数与量词 1. 命题函数 定义：由一个谓词字母和一个非空的客体变元的集合所组成的表达式，称为简单命题函数。 2 量词 全称量词 “?x” 例 所有人都是要死的。 解 个体域为全体人的集合。D(x)：x是要死的。 命题可以表示为?x D(x) 存在量词 “?x ” 例 有些有理数是整数。 解 个体域为有理数集合。令I(x)：x是整数。 命题可以表示为?x I(x) 3 命题符号化 在命题符号化时，除特殊说明外，均使用全总个体域。而对个体变化的真正取值范围，用特性谓词加以限制。 特性谓词 ：把命题的所讨论的个体从全总个体域中剥离出来的谓词。 特性谓词的使用 对全称量词，特性谓词作条件式的前件。 对存在量词，特性谓词作合取项。 例 (1) 所有的人都是要死的。 (2) 有的人活百岁以上。 当x的个体域E为全体人组成的集合时，符号化上述命题。 令D(x)：x是要死的。则(1)可表示为?x D(x)。 令G(x)：x活百岁以上。则(2)可表示为?xG(x)。 当取x的个体域为全总个体域时，必须引入一个特性谓词将人从全宇宙的一切事物中分离出来。 令H(x)：x是人。 （1）?x( H(x)?D(x) ) （2） ? x( H(x)∧G(x) ) 例 将下列命题符号化，并讨论真值。1.所有的人都长着黑头发。2.有的人登上过月球。3.没有人登上过木星。4.在美国留学的学生未必都是亚洲人。 解： 1.所有的人都长着黑头发。令 F(x)：x是人。G(x)：x长着黑头发。则命题符号化为：?x( F(x)?G(x) )。 2.有的人登上过月球。令 F(x)：x是人。G(x)：x登上过月球。则命题符号化为：? x( H(x)∧G(x) ) 。 3.没有人登上过木星。令F(x)：x是人。G(x)：x登上过木星。则命题符号化为：?? x( H(x)∧G(x) ) 。 4.