第2章-数理逻辑.ppt

第2章 一阶逻辑 在命题逻辑中，命题被当作一个基本的，不可分割的单位，不再对命题进行分解,因而无法研究命题的内部结构及命题之间内在的联系。本章介绍的一阶逻辑，对原子命题的成份、结构和原子命题间的共同特性等作了进一步分析。引入个体词、谓词、量词、谓词公式等概念，在此基础上研究谓词公式间的等值关系和蕴含关系。一阶逻辑也称谓词逻辑。 主要内容如下： 2.1 一阶逻辑基本概念 2.2 一阶逻辑合式公式及解释 2.3 一阶逻辑等值式 2.4 一阶逻辑推理理论 2.1一阶逻辑基本概念 例 在命题逻辑中 ，对下述论断无法判断其正确性。 “苏格拉底三段论” ： 凡人都是要死的， 苏格拉底是人， 所以苏格拉底是要死的。 类似的例 还有许多。 例如： 所有的人都要呼吸 , 所有的正整数都大于0, 李莉是人 , 3是正整数, 所以李莉要呼吸。 所以3大于0。 1、简单命题的分解 在一阶逻辑中，可将原子命题分解为谓词与个体词两部分。 个体词：是指可以独立存在的客体。 注：个体可以是抽象的，也可是具体的。个体通常在一个命题里表示思维对象。 谓词：用来刻划个体的性质或个体之间关系的词。 刻划一个个体性质的词称为一元谓词；刻划n个个体之间关系的词称为n元谓词。 例 （1）李明是学生； （2）张亮比陈华高； （3）陈华坐在张亮与李明之间。 在这三个命题中，李明、张亮、陈华都是个体；“…是学生”是一元谓词， “…比…高”是二元谓词， “…坐…与…之间”是三元谓词。 通常用大写字母表示谓词，小写字母表示个体。 上述命题可分别表示为 Q（a）, P（b,c），R（c,b,a）。 一般地，一个由n个个体和n元谓词所组成的命题可表示为F（a1,a2, … ,an）,其中F表示n元谓词, a1,a2, … ,an 分别表示n个个体。 注意：a1,a2, … ,an的排列次序是重要的。 命题符号化： （1）4 是偶素数。 令F(x)：x 是偶数，G(x)：x 是素数，则 F(4) ? G(4) ? 0 （2）若 3 大于 2 , 则 3 大于 4 。 令H(x , y)：x ? y ，则 H(3 , 2) ? H(3 , 4) ? 0 （3）若 4 大于 3，且 3 大于 2，则 4 大于 2。 (H(4 , 3) ? H(3 , 2)) ? H(4 , 2) ? 1 个体： 个体常项 表示具体或特定的个体的个体词。常用a,b,c,…表示。 个体变项 表示抽象的，或泛指的个体词。常用x,y,z,…表示。 个体域 个体变项的取值范围。 全总个体域 宇宙间所有事物组成的个体域。 谓词： 谓词常项 表示具体性质或关系的词。 谓词变项 表示抽象的或泛指的谓词。 例 设谓词H是表示 “…能够到达山顶”； 对个体w:王红；t：老虎；s：汽车； 则H（w）表示“王红能够到 达山顶。” H（t）表示“老虎能够到达山顶。” H（s）表示“汽车能够到达山顶。” H（x）表示x能够到达山顶。这里的x是泛指的，是个体变元。 例 L(x,y,z)表示“x+y=z”,其中x,y,z为个体变元。 L(3,2,5)表示真命题“3+2=5”， L(1,2,4)表示假命题“1+2=4”。 2.量词 （1）全称量词 　“ ? x” 例：“所有人都是要死的。”可表示为 ? x D(x)， 这里 x 的个体域为全体人的集合。 （2）存在量词 “ ? x ” 例： “有些有理数是整数。”可表示为 ? xＩ(x） 其中 x 的个体域为有理数集合。 带有量词的命题符号化 例： (1) “所有的人都是要死的。” (2) “有的人活百岁以上。” 当x的个体域E为全体人组成的集合时，符号化上述命题。 令D(x)：x 是要死的。则(1)可表示为 ? x D(x)。 令G(x)：x 活百岁以上。则(2)可表示为 ? x G(x)。 当取x的个体域为全总个体域时，必须引入一个特性谓词将人从全宇宙的一切事物中分离出来