第2章谓词逻辑(一).pptVIP

离 散 数 学 戎 玫 2005－9 第2章 谓词逻辑 2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论 2.1 .1 个体 苏格拉底推论 所有的人总是要死的 苏格拉底是人 苏格拉底总是要死的 将原子命题进一步细分，分解出个体、谓词和量词，以表达个体与总体的内在联系和数量关系，即谓词逻辑研究的内容。 2.1 .1 个体 考察下面的三个原子命题： ⑴ 李玲是优秀共产党员。 ⑵ 张华比李红高。 ⑶ 小高坐在小王和小刘的中间。 个体是指所研究对象中可以独立存在的具体的或抽象的客体。 个体常用小写英文字母或小写英文字母带下标表示，叫做个体标识符。 表示具体或特定个体的标识符称个体常元。 例如：李玲、张华可如下表示： a：李玲 b：张华 2.1 .1 个体 将表示任意个体或泛指某类个体的标识符称为个体变元，常表示为x、y、z、…等或这些英文字母带下标。 个体变元的变化范围称为个体域或论域。 个体域可以是有穷集合，也可以是无穷集合，包含任意个体域的个体域称为全总个体域，它是由宇宙间一切对