离散数学：第一节.pdfVIP

在命题逻辑部分，把简单命题作为基本单位， 第二章谓词逻辑 不再进一步分析简单命题的内部结构。所以命题逻 辑在知识的表达和推理上有一定的局限性，因此需 §2.1 谓词和量词 要引入谓词逻辑。 §2.2 项和公式 命题逻辑局限性的表现： §2.3 解释和赋值 1.表达能力有局限性：例如“北京是大城市”， “上海是大城市上海是大城市”，“西安是大城市西安是大城市”，这三个命这三个命 §2.4 永真式 题表达了相同类型的断言，但是在命题逻辑中我们 §2.5 等值演算 必须用三个命题变元p,q,r ，从而看不出这三个命题 §2.6 逻辑推论 变元代表的断言类型是相同的。 作业 2.推理能力的局限性：有时需要进一步分析简单命 题的内部结构，例如著名的苏格拉底三段论： §2.1 谓词和量词 所有的人都是要死的。 在逻辑学中，将命题中表示思维对象的词称为主 苏格拉底是人。 词，将表示对象性质的词称为谓词。 所以，苏格拉底是要死的。 例2.1 考察下面的命题： 在这个三段论推理里，前提和结论都没有联结词， 1. 张华是学生。 它们都是简单命题。从命题逻辑的角度来考虑，它 2. 李明是学生李明是学生。 们都是不同的简单命题。用字母p , q, r 分别表示这 这两个命题的主词分别是“张华”和“李明”， 三个简单命题，显然，p , q |/ r 。这不是命题逻辑 谓词都是“是学生”。 里的正确的推理形式。需要分析简单命题的内部结 a ：张华 b ：李明 H(x) ：x 是学生 构才能揭示这个推理形式的正确性。这是谓词逻辑 这两个命题分别表示为H(a) 和H(b) ，这样的表示 的任务。 就显示了这两个命题有相同谓词的特征。 我们讨论的对象组成了一个非空集合，称这个非空 例2.1 考察下面的命题： 集合为论域。例如，点、线、面、体组成了几何学 张华的父亲爱张华。 的论域，数论的论域是正整数集合。对论域的唯一 a ：张华 f (x) = x 的父亲 L(x , y ) ：x 爱y 要求是它不能为空集。论域中的元素称为个体。论 该命题表示为L(f (a), a) 。 域的子集可看做从论域到集合{0, 1} 的函数，称这 取所有人组成的集合为论域D 。 样的函数为论域上的一元谓词。 例如，设论域是 L 表示人与人之间的关系，可看作从D2 到{{0,, 1 }}的 自然数集自然数集，偶数集可看作如下定义的偶数集可看作如下定义的一元谓词元谓词EE ： 函数，称为二元谓词。若x 爱y ，则L(x , y ) = 1 ， ⎧1 若x 是偶数 否则L(x , y ) = 0 。 E (x) ⎨ 0 若x 是奇数 f 表示从论域D 到D 的一元函数，对每个人x ， ⎩ 其中的变元x 取论域中的元素，即个体为值，故称 f (x) 是x 的父亲。 其为个体变元。表示具体个体的符号，如上例中的