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

第二章谓词逻辑 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/A323 ，Tel 24 Mobile: Email: zkchen@ zkchen00@ 44 第二章 谓词逻辑 •在命题逻辑中，命题被当作一个基本的， 不可分割的单位，只研究由原子命题和联 接词所组成的复合命题；因而无法研究命 题的内部结构及命题之间内在的联系。 •本章介绍的谓词逻辑，对原子命题的成份、 结构和原子命题间的共同特性等作了进一 步分析。引入了个体词、谓词、量词、谓 词公式等概念，在此基础上研究谓词公式 间的等值关系和蕴含关系，并且对命题逻 辑中的推理规则进行扩充和进行谓词演绎。 44 主要内容 •谓词、个体、量词 •合式谓词公式 • 自由变元和约束变元 •含有量词的等价式和永真蕴含式 •谓词逻辑中的推理理论 •前束范式、斯柯林范式 44 谓词逻辑的引入 •在命题逻辑中，对下述论断无法判定正确性 – “苏格拉底三段论”： – 凡人都是要死的， P – 苏格拉底是人， Q – 所以苏格拉底是要死的。R (P ΛQ)→R •类似的还有很多，例如： – 所有的人都要呼吸，李华是人，所以李华要 呼吸。 – 所有的正整数都大于0，3是正整数，所以3大 于0 。 44 2.1谓词演算 •本质上是把数学中的逻辑论证加以符号化。 •在谓词演算中，原子命题被分解为谓词和 个体两部分。 •个体：可以独立存在的事物 。 – 老师，计算机，证书，道德，智商等。 •谓词：用来刻划个体的性质或个体之间关 系的词称为谓词，刻划一个个体性质的词 称为一元谓词；刻划n个个体之间关系的 词称为n元谓词。 44 谓词和个体 •例： – （1）李明是学生； – （2）张亮比陈华高； – （3）陈华坐在张亮与李明之间。 –个体：李明，张亮，陈华 –谓词：…是学生； …比…高； …坐在… 和…之间 –一元谓词： …是学生 –二元谓词： …比…高 –三元谓词： …坐在… 和…之间 44 谓词和个体 （1）李明是学生； （2）张亮比陈华高； （3）陈华坐在张亮与李明之间。 – 一般用大写的英文字母表示谓