离散数学课件第二章谓词逻辑-1.pptVIP

在命题逻辑中，命题是最基本的单位，对简单命题不再进行分解，并且不考虑命题之间的内在联系和数量关系。因而命题逻辑具有局限性，甚至无法判断一些简单而常见的推理。考虑下面的推理: ???? 凡偶数都能被2整除； ???? 6是偶数。 ???? 所以，6能被2整除。  这个推理是我们公认的数学推理中的真命题，但是在命题逻辑中却无法判断它的正确性。 因为在命题逻辑中只能将推理中出现的三个简单命题依次符号化为p，q，r，将推理的形式结构符号化为(p∧q)→r。由于上式不是重言式，所以不能由它判断推理的正确性。 为了克服命题逻辑的局限性，就应该将简单命题再细分，分析出个体词，谓词和量词，以期达到表达出个体与总体的内在联系和数量关系，这就是本章所研究的内容。 本章内容 2-1 谓词的概念与表示 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两部分组成。 设 Ｐ：是计算机系的学生 则： P(陈华)表示“陈华是计算机系的学生”； P(张强)表示“张强是计算机系的学生” 定义 谓词(predicate)：用来刻划一个个体的性质或多个个体之间关系的词，相当于句子中的谓语。常用大写字母P, Q, R…来表示。 客体：可以独立存在的事物称为客体。 客体的取值范围称为个体域(或论域)，常用D表示。 宇宙间的所有个体域聚集在一