自考离散数学第2章ppt.ppt

离散数学 第二章 谓词演算 主要内容 2.1谓词的概念与表示 2.2量词与合式公式 2.3谓词演算的等价式与蕴含式 2.4前束范式 2.5谓词演算的推理理论 2.1 谓词的概念与表示 客体：指可以独立存在的对象，一个具体的事物，一个抽象的概念 谓词：指明客体性质或指明客体之间关系 例：（1）王强是个大学生 （2）7是质数 （3）哥白尼指出地球绕太阳转 （4）济南位于北京与上海之间 我们将用大写字母表示谓词，小写字母表示客体名称。 2.1 谓词的概念与表示 个体常项：具体、特定的个体 个体变项：抽象、泛指的个体 个体域（论域）：个体变项的取值范围 全总个体域：一切事物组成的个体域 谓词常项：表示具体性质或关系的谓词 定义2.1.1 由一个谓词，一些个体变元组成的表达式简称为谓词变项或命题函数。 谓词变项中，个体变元的数目称为谓词变项的元数。 如F(x)为一元谓词，L(x,y)为二元谓词。F(a)（a为常量）为0元谓词 2.1 谓词的概念与表示 例：以谓词表达下述命题。 某人大于18岁，身体健康，无色盲，大学毕业，则他可参加飞行员考试。 解：设某人为a。A(x):x超过18岁；B(x):x身体健康；C(x):x色盲；D(x):x大学毕业；E(x):x参加飞行员考试； 2.1 谓词的概念与表示 例：用0元谓词符号化下列命题。 （a）如果3小于4，且4小于5，则3小于5. （b）如果某数是有理数，则某数可写成分数。 解：（a）设L(x,y):x小于y （b）设G(x):x是有理数；H(x):x可写成分数；a：某数。 2.1 谓词的概念与表示 练习：P29 3 2.2 量词与合式公式 量词：表示数量的词 量词有2种： 1.全称量词：对应日常语言中的“一切”“任意的”“所有”“凡是”等词。用符号“ ”表示。 表示对个体域里所有的x，而 表示个体域里所有个体，都有性质F。 2.存在量词：对应日常语言中的“存在的”“有一个”“至少有一个”等词。用符号“ ”表示。 表示存在个体域中的个体，而 表示存在个体域中的个体具有性质F。 2.2 量词与合式公式 例：每个自然数都是实数。 解：个体域设为自然数集N，令R(x):表示x是实数。 若不指明论域，那么可设N(x)：x是自然数，R(x):x是实数 例：有些人可以活过百岁。 解：若把人类领域作为论域，令G(x):x可以活过百岁。 若不指明论域，令S(x):x是人，G(x):x可以活过百岁。 2.2 量词与合式公式 例：每个自然数都是实数。 解：个体域设为自然数集N，令R(x):表示x是实数。 若不指明论域，那么可设N(x)：x是自然数，R(x):x是实数 例：有些人可以活过百岁。 解：若把人类领域作为论域，令G(x):x可以活过百岁。 若不指明论域，令S(x):x是人，G(x):x可以活过百岁。 N(x),S(x)都是用来指明论域，它们称特性谓词。 在全称量词中，特性谓词是条件式的前件。 在存在量词中，特性谓词后跟一个合取项。 2.2 量词与合式公式 例：凡是偶数均能被2整除。 解：E(x):x是偶数；G(x)：x能被2整除。 例：没有不犯错误的人。 解：设M(x):x是人；F(x):x犯错误。 本题可改述为：所有人都犯错误。 2.2 量词与合式公式 例：著名的苏格拉底三段论可叙述如下： （a）所有人都要死的； （b）因为苏格拉底是人； （c）所以苏格拉底总是要死的。 解：设M(x):x是人；D(x):x是要死的；a：苏格拉底 （a） （b）M(a) （c）D(a) 前提： ，M(a) 结论：D(a) 2.2 量词与合式公式 2.2 量词与合式公式 2.2 量词与合式公式 2.2 量词与合式公式 定义2.2.1 由一个或几个原子命题函数以及逻辑联结词组合而成的表达式称为复合命题函数。 定义2.2.2 谓词演算的合式公式，可由下述各条组成（合式公式A记为WffA）： （1）原子谓词公式是合式公式。 （2）若A是合式公式，则?A是一个合式公式。 （3）若A和B都是合式公式，则（A?B），（A?B），（A→B），（A?B）是合式公式。 （4）如果A是合式公式，x是A中出现的任何变元，则 和 都是合式公式。 （5）只有经过有限次应用规则（1）（2）（3）（4）所得到的公式是合式公式。 2.2 量词与合式公式 2.2 量词与合式公式 定义2.2.3 给定谓词合式公式A，其中一部分公式形式为