逻辑学第六章

1、第六章第六章 谓词演算谓词演算教学重点与要点教学重点与要点性质命题内部结构的现代谓词分析关系命题内部结构的现代谓词分析一元谓词演算的自然演绎推证分析二元谓词演算的自然演绎推证分析现代谓词演算的认知角度现代谓词演算的认知角度传统谓词逻辑 现代谓词逻辑 （局限性：单称归全称；关系作性质；对结构缺乏深层把握）现代谓词逻辑 谓词演算方法 （自然演绎法、公理化方法）（关注简单命题及其推理有效性） 一元谓词演算 二元谓词演算第一节第一节 简单命题的内部分析简单命题的内部分析一、传统谓词逻辑的局限性一、传统谓词逻辑的局限性【实例分析】 所有的马都是动物, 所以，所有的马头都是动物头。命题逻辑的局限性命题逻辑

2、的局限性 在研究命题逻辑中， 原子命题是命题演算中最基本的单位，不再对原子命题进行分解， 这样会产生两大缺点：（1）不能研究命题的结构，成分和内部逻辑的特征；不能研究命题的结构，成分和内部逻辑的特征；（2）也不可能表达二个原子命题所具有的共同特征，也不可能表达二个原子命题所具有的共同特征，甚至在命题逻辑中无法处理一些简单又常见的推理过甚至在命题逻辑中无法处理一些简单又常见的推理过程程。二、现代谓词逻辑对性质命题的内部结构的分析二、现代谓词逻辑对性质命题的内部结构的分析（一）单称命题及其逻辑结构（一）单称命题及其逻辑结构1、单称命题的含义 单称命题是陈述某个特定个体对项具有或者不具有某种性质的简

3、单命题。例如：西安是历史名城。2、单称命题的构成要素分析 单称命题由个体词和谓词组成。单称命题中的个体词只表示某个特定的单一对象，称为个体常项，用英文小写字母a,b,c,d,来表示。性质命题中的谓词称为一元谓词，用大写的英文字母E,F,G,H,.来表示。 （个体词、谓词、个体常项、一元谓词）3、单称命题逻辑结构的公式刻画（二）泛称命题及其逻辑结构（二）泛称命题及其逻辑结构1、泛称命题的含义2、泛称命题的构成要素分析 （个体词、谓词、量词、个体变项）3、全域下的泛称命题逻辑结构形式刻划 (x)(SxPx) (x)(SxPx) (x)(SxPx) (x)(SxPx)个体词、谓词个体词、谓词谓词，在

4、谓词逻辑中，简单命题分解成个体词和谓词. 个体词个体词是可以独立存在的客体，它可以是具体事物或抽象的概念。谓词谓词是用来刻划个体词的性质或事物之间关系的词。 个体词分个体常项(用a,b,c,表示)和个体变项(用x,y,z,表示)；谓词分谓词常项(表示具体性质和关系)和谓词变项(表示抽象的或泛指的谓词)，用E,F,G,H,表示。 注意：注意：单独的个体词和谓词不能构成命题，将个体词和谓词分开不是命题。谓词填式谓词填式、一元谓词、多元谓词、一元谓词、多元谓词（1）谓词填式谓词填式：谓词字母后填以客体所得的式子。 例：H(a, b) （2）若谓词字母联系着一个客体，则称作一元谓词一元谓词；若谓 词字

5、母联系着二个客体，则称作二元谓词二元谓词；若谓词字 母联系着n个客体，则称作n元谓词元谓词。 （3）客体的次序必须是有规定的。 例：河南省北接河北省。 a L b 写成二元谓词为：L(a,b)，但不能写成L(b,a) 。谓词公式谓词公式 谓词公式，由原子公式、联结词和量词可构成谓词公式(严格定义见教材)。 命题的符号化结果都是谓词公式。例如例如: : (x)(F(x)G(x)， (x)(F(x)G(x)， (x)(y)(F(x)F(y)L(x,y)H(x,y)等都是谓词公式。 谓词公式只是一个符号串，没有什么意义，但我们给这个符号串一个解释，使它具有真值，就变成一个命题. 所谓解释所谓解释就是

6、使公式中的每一个变项都有个体域中的元素相对应。 在谓词逻辑中，命题符号化必须明确个体域，无特别说明认为是全总个体域。一般地，使用全称量词，特性谓词后用；使用存在量词，特性谓词后用。谓词公式的归纳法定义谓词公式的归纳法定义 原子谓词公式是谓词公式； 若A是谓词公式，则A也是谓词公式； 若A, B都是谓词公式，则 (AB),(AB),(AB),(AB)都是谓词公式； 若A是谓词公式，x是任何变元，则(x)A, (x)A也都是谓词公式； 量词量词 量词量词，是在命题中表示数量的词，量词有两类：全称量词全称量词 ，表示“所有的”或“每一个”；存存在量词在量词 ，表示“存在某个”或“至少有一个”。在谓词

7、逻辑中，使用量词应注意以下几点：在谓词逻辑中，使用量词应注意以下几点：(1) 在不同个体域中，命题符号化的形式可能不同，命题的真值也可能会改变。 (2) 在考虑命题符号化时，如果对个体域未作说明，一律使用全总个体域。 (3) 多个量词出现时，不能随意颠倒它们的顺序，否则可能会改变命题的含义。 全称量词全称量词 “ ”为全称量词符号，读作“对于所有的”，“对任一个”，“对一切”。例：“这里所有的都是苹果”可写成： xA(xxA(x) )或或( ( x)A(x)x)A(x) 几种形式的读法： xP(x)： “对所有的x，x是”； xP(x)： “对所有x，x不是”； xP(x)： “并不是对所有的

8、x，x是”； xP(x)：“并不是所有的x，x不是”。存在量词存在量词 “ ”为存在量词符号，读作“存在一个”，“对于一些”，“对于某些”，“至少存在一个”，“这里存在着这样的”等等。 “”表达式的读法： x A(x) ：存在一个x,使x是； xA(x) ：存在一个x, 使x不是； x A(x) ：不存在一个x, 使x是； xA(x) ：不存在一个x, 使x不是。三、现代谓词逻辑对关系命题内部结构的分析三、现代谓词逻辑对关系命题内部结构的分析1、关系命题的含义2、关系命题构成要素分析（二元谓词、多元谓词）3、二元关系命题的逻辑结构形式分析与刻划(1)所有S与所有P有R关系： (x)(Sx(y)

9、(PyRxy)(2)所有S与所有P没有R关系： (x)(Sx(y)(PyRxy)(3)所有S与有些P有R关系： (x)(Sx(y)(PyRxy)(4)所有S与有些P没有R关系： (x)(Sx(y)(PyRxy)(5)有些S与所有P有R关系： (x)(Sx(y)(PyRxy)(6)有些S与所有P没有有R关系：(x)(Sx(y)(PyRxy)(7)有些S与有些P有R关系： (x)(Sx(y)(PyRxy)(8)有些S与有些P没有R关系： (x)(Sx(y)(PyRxy)四、量词的辖域四、量词的辖域1、变元与辖域、变元与辖域（1）辖域：辖域：紧接在量词后面括号内的谓词公式。 例： xP(x) , x

10、(P(x) Q(x) 。 若量词后括号内为原子谓词公式，则括号可以省去。（ 2）自由变元自由变元与约束变元约束变元约束变元：在量词的辖域内，且与量词下标相同的变元； 自由变元：当且仅当不受量词的约束。 例： xP(x,y) , x(P(x) y(P(x,y) 。在谓词公式xA和xA中，x是指导变元指导变元，A是相应量词的辖域辖域. 在x和x的辖域A中，x的所有出现都是约束出现，即x是约束变元约束变元，不是约束出现的变元，就是自由变元自由变元。 也就是说，量词后面的式子是辖域辖域。 量词只对辖域内的同一变元有效。 2、量词的辖域与谓词公式的真假量词的辖域与谓词公式的真假 逻辑学所研究的谓词公式都

11、是或真或假的公式，因此，为此公式种不允许出现自由变项。五、自然语言符号化五、自然语言符号化自然语言符号化为谓词公式时的注意事项自然语言符号化为谓词公式时的注意事项（一）标准形式的结构刻划应当规范化（二）特殊情形下的处理分四种情况 1、个体词涉及全域中任意个体对象时，无需引入表明个体对象性质的谓词符号。 2、个体词表示单独对象时，须用个体常项替换谓词中的个体变项。 3、个体词涉及不同类对象时，须引入不同的个体变项和相应的量词符号。 4、命题的复合形式出现时，要把它刻划为复合的量词公式。第二节第二节 一元谓词演算一元谓词演算一、量词规则一、量词规则（一）全称量词的销去和引入规则1.销去 销去的注意

12、事项 ( x)Rx Ra a/x 销去销去 2、 引入 *a Ra ( x)Rx 引入引入引入的根据引入推导图式具体做法引入的应用限制1. ( x)(SxPx)2. Sa Pa3. SaPa (1 a/x 销去）4. Pa (2.,3 销去)证毕。1. ( x)（SxHx)2. Sa3. Sb4. Sc /HaHbHc5. SaHa (1 a/x 销去）6. SbHb (1 b/x 销去） 7. ScHc (1 c/x 销去)8. Ha (2,5 销去)9. Hb (3,6 销去)10.Hc (4,7 销去)11.HaHbHc (8,9,10 引入）证毕。1. ( x)(AxBx)2. ( x

13、)(BxCx)3. ( x) Cx / ( x)(AxDa)4 . *b5 . AbBb (1 b/x 销去） 6. BbCb (1 b/x 销去） 7 . Cb (1 b/x 销去） 8 . Bb (6,7 销去)9 . Ab (5,8 销去)10. AbDb （9 引入）引入）11. ( x)(AxDa) (4,10 引入）引入）证毕。1. ( x)(SxZx)2. ( x)(ZxBx)3.Ca / ( x)(SxBx) Cx)4. *a5. SaZa (1 a/x 销去）6. ZaBa (2 a/x 销去）7. SaBa ( 5,6连锁 ） 8. ( SaBa)Ca (3，7 引入引入)

14、9. ( x)(SxBx) Cx) (4,8 引入引入)证毕。（二）存在量词的销去与引入规则（二）存在量词的销去与引入规则1、 销去销去 ( x)Rx Ra *a/x 销去2、引入 Ra ( x)Rx 引入销去的注意事项使用不受任何限制1.Sa2. (x)(SxCx) /Ca3.SaCa (2*a/x 销去）销去）4. Ca （3 销去）销去）证毕。证毕。注意：注意：这个推理是错误的。第三步销量词时，列举的个体这个推理是错误的。第三步销量词时，列举的个体常项常项a是前提是前提1中已经出现过的。中已经出现过的。1.（ (x)Ax (x)Bx) Da2. (x)(AxFx)3. (x)(BxGx

15、) / (x)Dx4. AbFb (2*b/x 销去)5.Ab (4 销去)6. (x) Ax (5 引入)7.BcGc (3*c/x 销去 )8.Bc (7 销去)9. (x)Bx (8 引入)10. (x)Ax (x)Bx (6，9引入)11.Da (1，10销去 )12. (x)Dx (11 引入)证毕。证毕。（三）量词变换规则（三）量词变换规则1、否定 ( x)Rx (x)Rx (x)Rx ( x)Rx2、否定 ( x)Rx (x)Rx (x)Rx ( x)Rx 或或1. (x) （SxGx)2.(x)(SxCx) / (x)(GxCx)3.(x)（SxGx) (1 否定)4.(x)

16、(SxCx) ( 2否定)5.（SaGa) (3*a/x 销去)6. (SaCa) (4a/x 销去)7.SaGa (5 等值)8.SaCa (6等值)9.Sa (7销去)10.Ca (8，9销去)11.Ga (7销去) 12.GaCa (10，11 引入)13. (x)(GxCx) (12 引入)二、一元谓词演算的形式证明二、一元谓词演算的形式证明（一）证明的步骤（一）证明的步骤 谓词演算的形式证明一般有以下4步：1、对待证的推理进行符号化符号化。2、按有关限制销销去推理前提的量词量词。3、根据命题推理的规则进行推演推演。4、根据需要和有关规则给结论添加应有的量词给结论添加应有的量词。（二）

17、运用量词规则的方法（二）运用量词规则的方法1、当推理的前提中既有全称量词公式，又有存在量词公式时，应先销 去存在量词，后销去全称量词。2、当推理的结论是全称量词公式时，要注意准确使用全称量词引入规则，遵守该规则的限制。3、当前提或结论中有否定的量词公式时，要灵活运用量词变换规则。4、当推理的前提或结论中有复合的量词公式时，应先分解复合命题的公式再销量词。5、当推理的前提或结论中有单称命题时，应用个体常项符号刻画命题公式，而后进行推演。1. (x)（Cx(WxRx)2. (x)(CxQx) / (x)(WxQx) 3. CaQa (2*a/x 销去)4. Ca(WaRa ) (1a/x 销去)5. Ca (3销去)6. WaRa ( 4，5销去)7. Wa (6 销去)8. Qa (3销去) 9. WaQa (7，8 引入)10.(x)(WxQx) (9 引入)三、假设证明和反证法在证明过程中的应用三、假设证明和反证法在证明过程中的应用四、一元谓词演算的其他作用四、一元谓词演算的其他作用1、前提一致性判