[经济学]第二章 谓词逻辑.pptVIP

第二章 谓词逻辑 谓词逻辑的引入 在命题逻辑中，对下述论断无法判定正确性 “苏格拉底三段论”： 凡人都是要死的， P 苏格拉底是人， Q 所以苏格拉底是要死的。R (PΛQ)→R 类似的还有很多，例如： 所有的人都要呼吸，李华是人，所以李华要呼吸。 所有的正整数都大于0，3是正整数，所以3大于0。 第二章 谓词逻辑 2.1谓词演算 2.2谓词逻辑中的推理理论 2.3谓词逻辑的范式 2.1谓词演算 2.1.1谓词和个体 2.1.2量词 2.1.3合式公式 2.1.4自由变元和约束变元 2.1.5谓词公式的解释 2.1.6含有量词的等价式和永真蕴含式 2.1.1谓词和个体 谓词演算本质上是把数学中的逻辑论证加以符号化。 在谓词演算中，原子命题被分解为谓词和个体两部分。 个体词：可以独立存在的事物 。 个体常元：一个指定的、具体的个体词称。一般用a,b,c表示。（相当于函数的常量） 个体变元：不确定的个体词。一般用x,y,x表示。相当于函数的变量。 个体域：个体变元的取值范围，相当于函数的变量作用域。 谓词：用来刻划个体的性质或个体之间关系的词称为谓词。 谓词常元：表示具体的性质或者是具的关系的谓词。常用大定字母F， G，H表示。G(x)，x是研究生。 谓词变元：表示抽象的没有指明具体意义的谓词。常用大定字母F，G，H表示。 F(X):表示X具有性质F；L(x,y):表示x和y有关系L。 谓词和个体 例： （1）李明是学生； （2）张亮比陈华高； （3）陈华坐在张亮与李明之间。 个体：李明，张亮，陈华 谓词：…是学生； …比…高； …坐在… 和…之间 一元谓词： …是学生 二元谓词： …比…高 三元谓词： …坐在… 和…之间 谓词和个体 （1）李明是学生； Q(a) （2）张亮比陈华高； P(b,c) （3）陈华坐在张亮与李明之间。 R(c,b,a) 一般用大写的英文字母表示谓词，而用小写的英文字母表示个体。 上述命题可分别表示为Q(a),P(b,c),R(c,b,a) 一般地，由n个个体和n元谓词所组成的命题可表示为F（a1,a2, … ,an）,其中F表示n元谓词, a1,a2, … ,an 分别表示n个个体。 注意：a1,a2, … ,an的排列次序是重要的。 谓词和个体 对于F（a1,a2, … ,an），如果括号内的个体是抽象的可变化的，那么F（a1,a2, … ,an）称为n元原子谓词公式或n元命题函数。 命题函数：带有个体变元的谓词（变元或常元） Q(x),P(x,y),R(x,y,z) 命题函数在逻辑学里叫谓词，但谓词不一定是命题。 注意：命题的n元谓词表示形式和n元命题函数不同。 a:张明。 b:李娅。 命题函数：P(x) x是学生。 谓词表示形式: P(a) 张明是学生。 P(b) 李娅是学生。 个体域 定义：任何个体的变化都有一个范围，这个变化范围称为个体域(或论域)。个体域可以是有限的，也可以是无限的。所有个体域的总和叫作全总个体域。以某个个体域为变化范围的变元叫个体变元。 全总个体域是指论域是一切可以作为对象的东西的集合。 R(x)：x是计院学院的学生． 如果x的讨论范围是计院某个班级的学生，则R(x)永真； 如果x的讨论范围是医专的小姑娘，则R(x)永假 如果x的讨论范围是曲靖市的所有市民，则R(x)可能为真，也可能假。 2.1谓词演算 2.1.1谓词和个体 2.1.2量词 2.1.3合式公式 2.1.4自由变元和约束变元 2.1.5谓词公式的解释 2.1.6含有量词的等价式和永真蕴含式 2.1.2量词 使用前面介绍的谓词和个体变元，还不足以描述自然界的所有命题。 例： 描述命题“所有的正整数都大于0”以及命题“有些正整数是素数”。 量词的引入：量词指在命题里表示数量的词。 全称量词 符号“ ”表示命题：“对于个体域中所有个体x，谓词P(x)均为T ”。其中“ ”叫作全称量词， 读作“对于所有的x”。谓词P(x)称为全称量词的辖域或作用范围。 例如： 所有的人都是要死的 令D(x)：x 是要死的。 则命题可表示为 x D(x) 取个体域为全体人的集合，是真命题。 所有的正整数都是素数； 令 P(x)：x 是素数 则命题可表示成 x P(x) 取个体域为正整数集，是假命题。 存在量词 符号“ ”表示命题：“在个体域中存在某些个体使谓词 P(x) 为