《离散数学》课件-第2章 谓词逻辑.pdf

云南大学滇池学院《离散数学》 第2 章 谓词逻辑 第2章 谓词逻辑 2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论 云南大学滇池学院《离散数学》 第2 章 谓词逻辑 命题逻辑的局限性 考虑下述推理： 1）所有的人都是要死的，苏格拉底是人，所以苏格拉底 是要死的. （苏格拉底三段论） 2 ）凡偶数都能被2整除, 6是偶数, 所以6能被2整除. 以第二个例子为例，在命题逻辑中 令p : 凡偶数都能被2整除, q: 6是偶数, r: 6能被2整除 符号化为 (p  q)  r 这个推理实质是即要证明这个命题公式是否是重言式，但命题逻辑 中不能证明该推理的正确性， 原因在于：简单命题符号化过程没有刻画出偶数与2的整除关系（即 客体之间的关系），也没有刻画出“6是偶数”这命题的本质属性。 云南大学滇池学院《离散数学》 第2 章 谓词逻辑 第2章谓词逻辑 2.1个体、谓词与量词 2.1.1个体 这些命题中的李玲、张 考察下面的三个原子命题： 华、李红、小高、小王、 小刘等客体就是个体。 ⑴李玲是优秀共产党员。 ⑵张华比李红高。 ⑶小高坐在小王和小刘的中间。 个体：是指所研究对象中可以独立存在的具体的或抽象 的客体。它可以是独立存在的人或物体，也可以是抽象 的概念，如 “马列主义”， “资本主义”等。 个体常用小写英文字母或小写英文字母带下标表示，叫 做个体标识符。 云南大学滇池学院《离散数学》 第2 章 谓词逻辑 个体常元：表示具体或特定个体的标识符称作个体常元。 一般用小写英文字母a、b 、c、„或这些英文字母带下标表 示。 例如：李玲、张华、李红、小高、小王、小刘可如下表示： a ：李玲 b ：张华 c ：李红 d ：小高 e ：小王 f ：小刘 这里，a, b, c, d, e,f 都是个体常元。 个体变元：表示任意个体或泛指某类个体的标识符称为个 体变元。常表示为x 、y 、z 、„等或这些英文字母带下标。 个体域 （论域）：个体变元的变化范围称为个体域或论域。 个体域可以是有穷集合，也可以是无穷集合。 全总个体域：包含任意个体域的个体域称为全总个体域， 实质上它就是指宇宙间一切对象组成的集合。在本书中， 如无特别说明，所采用的都是全总个体域。 例如 “若x 是偶数, 则x 能被2整除.” x 、偶数和2是个体词, 偶数和2是个体常项, x 是个体变项 个体域可以是自然数集N, 整数集Z,…, 也可以是全总个体域 云南大学滇池学院《离散数学》 第2 章 谓词逻辑 2.1.2谓 词 在上面的三个原子命题中，⑴可以分解成为个体 “李玲”和 “„是优秀共产党员”两部分。“„是优秀共产党员”是用来描述 个体 “李玲”的性质的；⑵可以分解成为个体 “张华”、 “李红” 和 “„比„高”两部分。“„比„高”是用来描述个体 “张华”和 “李红”的身高关系的；⑶可以分解成为个体 “小高”、 “小王”、 “小刘”和 “„坐在„和„的中间”两部分。“„坐在„和„的中 间”是用来描述个体 “小高”、 “小王”、 “小刘”的位置关系的。 谓词：刻划个体性质或个体之间相互关系的模式叫做谓词。谓 词常用大写英文字母表示，叫做谓词标识符。