02-谓词逻辑-1.1-1.3.ppt

第二章 谓词逻辑 命题逻辑存在的问题 在命题逻辑中，把命题分解到原子命题为止，仅研究以原子命题为基本单位的复合命题之间的逻辑关系和推理。 有些推理难以用命题演算确切表达。例如： “所有人总是要死的” “苏格拉底是人” “所以苏格拉底是要死的” 命题逻辑存在的问题 问题在于：各个命题之间的逻辑关系，不是体现在原子命题之间，而是体现在构成原子命题的内部成分之间，即体现在命题结构的更深层次上 所以，在研究某些推理时，有必要对原子命题做进一步分析，分析出其中的个体词、谓词和量词，研究它们的形式结构和逻辑关系，正确的推理形式和规则 这就是谓词逻辑（Lp）的基本内容 命题逻辑存在的问题 例如： “所有人总是要死的” “苏格拉底是人” “所以苏格拉底是要死的” 第一节 个体、谓词和量词 第一节 个体、谓词和量词 命题是具有真假意义的陈述句，从语法上分析，一个陈述句由主语和谓语两个部分组成。 在谓词逻辑中，为揭示命题内部结构及不同命题的内部结构关系，就按这两个部分进行分析 主语称为个体或客体 谓语称作谓词 个体和谓词 一、个体和谓词 定义： 在原子命题中，所描述的对象，称为个体 用以描述个体性质，或个体间关系的部分，称为谓词 个体 个体，是指可以独立存在的事物，可以是具体的，也可以是抽象的。例如：李明、香蕉、电视机、精神、思想，等 表示特定的个体，称为个体常元通常用 a, b, c, … 或ai, bi, ci, …表示例如：李明、字母A、数字5 表示不确定的个体，叫作个体变元通常用 x, y, z, … 或xi, yi, zi, …表示例如：花朵、星星、男生、学校 谓词 当谓词与一个个体相关时，刻划了该个体的性质例如：5是质数，A是字母 一元谓词 当谓词与两个或两个以上个体相关时，刻划了个体间的关系例如：李明生于北京，10比5大 二元谓词 谓词一般用大写字母 P, Q, R, … 或 Pi, Qi, Ri, … 表示 命题的谓词形式 二、命题的谓词形式 单独的个体和谓词不能构成命题 命题的表示：将表示个体的小写字母，写在表示谓词的大写字母右侧的括号里。 命题的谓词形式 “李明是大学生” 其中：李明是个体，用a表示 “…是大学生”是谓词，用S表示 则该命题表示为 S(a)：李明是大学生 “张华出生在北京” 其中：张华和北京是个体，用a表示张华，用b表示北京 “…出生在…”是谓词，用B表示 则该命题表示为 B(a, b)：张华出生在北京 命题的谓词形式 定义：一个原子命题，用一个谓词P和n个有次序的个体常元 a1, a2, … , an 表示成 P (a1, a2, … , an)，称为（原子）命题的谓词形式 注意：命题的谓词形式中的个体出现的次序影响命题的真值。 例如：P：…比…大，则 P(10, 5)：10比5大，真值为真而P(5, 10)：5比10大，真值为假 原子谓词 三、原子谓词 将原子命题的谓词形式进行抽象，例如n个个体常元a1, a2, … , an 替换成n个个体变元x1, x2, … , xn，这样便得到了一种关于命题结构的新表达形式 P (x1, x2, … , xn) ，称为n元原子谓词 。 例如： S(a) ? S(x) ：x是学生 原子谓词 定义： 由一个谓词P和n个个体变元x1, x2, … , xn组成的 P (x1, x2, … , xn) 称为n元原子谓词或n元命题函数简称n元谓词 。 个体变元的取值范围叫作个体域或论域 当n=1时，称为一元谓词当n=2时，称为二元谓词特别的，当n=0时，称为零元谓词，即命题 原子谓词 n元谓词并不是命题，只有当所有的命题变元都用个体常元替代时，才能成为一个命题 而个体变元在哪个论域取值，对命题的真值有影响 例如： S(x) ：x是大学生 若x的论域是某大学的全体学生，则S(x) 为真 若x的论域是某小学的全体学生，则S(x) 为假 若x的论域是商场的全体顾客，则S(x)的真值不确定 原子谓词 把一个n元谓词中的每个个体的论域综合在一起作为n元谓词的全总论域 当一个命题未指定论域时，一般将全总论域作为其论域。这时往往需要一个一元谓词 P(x) 来限定个体变元x的取值范围，将 P(x) 称为特性谓词。 例如： S(x) ：x是学生 N(x) ：x是自然数 量词 四、量词 对谓词的理解，如 S(x) ：x是学生（x是某单位的职工） 可以理解为：某单位的职工都是学生 或者：某单位存在一些职工是学生 为了避免歧义，表达“所有的”或者“存在一些”等表示数量的词，我们引进量词这个概念。 量词 定义1： ? ：全称量词符。表示“所有的”、“对每一个”、