离散数学-10.pdfVIP

离散数学 Discrete Mathematics 宋牟平songmp@zju.edu.cn 玉泉校区行政楼325 第10章谓词逻辑 在命题演算中，原子命题是基本研究单位，不能再进行分解，研究由原子命题和联 结词所组成的复合命题。具有局限性，如： 所有的人都是要死的。 张三是人， 系 电 信 院 学 息 信 学 大 江 浙 所以张三是要死的。 但用命题推理理论却得不出来。又如， 李芳是大学生。 张岗是大学生。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 在命题逻辑种只能用两个命题来表示，但这样不能表示出两个命题的联系。 在谓词逻辑中，将原子命题分解为谓词和个体；‘李芳’是个体，‘是大学生’为谓词。 10.1 谓词、个体和量词 定义10-1 可以独立存在的物体称为个体 （它可以是抽象的，也可以是具体的）。 在谓词逻辑中，个体通常在一个命题里表示思维对象。 定义10-2 用来刻画个体的性质或关系的词称为谓词。刻画一个个体性质的词称为一 系 电 信 院 学 息 信 学 大 江 浙 元谓词；刻画n个个体之间关系的词称为n元谓词。 例如，“张三是人”，“是人”为一元谓词； “张明和张亮是兄弟”，“…和…是兄弟”是二元谓词。 用大写字母表示谓词，小写字母表示个体。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 例如，Q表示谓词“是大学生”，a和b分别表示“李芳”和“张岗”，则命题“李芳是大学生” 和“张岗是大学生”分别可以写成Q(a)和Q(b) 。 一般地，一个由n个个体和n元谓词所组成的命题可表示为G(a1, a2, …, an)，n个个体 的排列次序有时是重要的。 以命题逻辑中引入的联结词，在这里仍然可以用来构成复合命题。 例如，用Q(a)表示“李芳是大学生” ；G(b, c)表示“张琦比小红高” 则Q(a) ∧G(b, c) 系 电 信 院 学 息 信 学 大 江 浙 Q(a) G(b, c) Q(a) ∨G(b, c) Q(a) ↔G(b, c) 个体常元：具体的确定的个体。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 个体变元：抽象的或泛指的（或者说取值不确定的）个体。 例如，Q(x)表示“x是大学生” 。 定义10-3 由一个谓词 和若干个个体变元组成的表达式称为简单命题函数。P(x , x , …, 1 2 x ) 。由一个或若干个简单命题函数以及逻辑联结词组成的命题形式称为复合命题函 n 数。 简单