命题逻辑概述.pptxVIP

第五章命题逻辑

第一节命题逻辑概述1

一、命题（一）命题是什么？命题就是通过语句对对象状况有所反映的思维形式。描述或者评价我们所经历，所想象，所关心的一切对象的普通方式有两种：一是要给对象一种名字，这个成果称之为：；一是把对象和任意一种其它对象联系起来，形成我们的描述或者评价，这个成果称之为：。2

命题的逻辑特性语言学家关心的语句和逻辑学家关心的命题。语言形式和思维形式。思维的三种形式：概念，命题和推理。都是逻辑学研究的对象。这对应于语言的语词，语句和句组或者句段。逻辑学对命题的基本假定：任何命题都是有真假值的思维形式，二值假定，二值原则。3

（二）命题与语句第一，任何命题都要通过语句来体现，但并非任何语句都体现命题。为什么？第二，同一种命题能够用不同的语句来体现。第三，同一种语句，有时能够体现不同的命题。4

（三）命题的分类

命题分成简朴命题与复合命题。简朴命题其构成成分是词项，它不再包含命题，因此，我们也能够把简朴命题称作“原子命题”。p30命题1，2，3。复合命题是由简朴命题与联结简朴命题的联结词构成的，或者说，复合命题是用命题与联结词构成的。命题4，5，6。复合命题=简朴命题+关联词55

支命题，多重复合命题。

构成复合命题的那些命题谓之复合命题的支命题，支命题能够是简朴命题，也能够是复合命题。如果一种复合命题的支命题也是复合命题，则我们谓之多重复合命题。命题逻辑研究的是复合命题及其推理。6

二、推理（一）推理及其逻辑构成推理就是从已有的知识得出新的知识。因此，推理也就是从已知命题得出新命题的思维形式，它在思维形式上体现为一种命题序列。在语言形式上体现为一种语句系列。任何推理都由两部分构成：一是推理中的已知命题，我们谓之前提；一是所推出的新命题，我们谓之结论。7

非数值算法:一种推理实例王专家、胡专家和赵专家3人各自执教逻辑、伦理、哲学、政治、法学、历史六门课程中的两门，请根据下列条件推断他们各自执教哪两门课程？1、伦理学专家和政治学专家是邻居；2、王专家年纪最小；3、赵专家，逻辑学专家和政治学专家这3人经常从学校一起回家；4、逻辑学专家比历史学专家的年纪大；5、哲学专家，历史专家和王专家在双休日喜欢打乒乓球。8

解题思路：1、分清题目的前提，从前提推出结论；2、理解一种命题蕴涵的其它命题；3、使用命题的二值假定；4、使用命题逻辑中的某些推理格式；5、得出拟定的结论。非数值算法举例.doc9

推理的识别最重要的语言标志：由于…，因此…。数学逻辑符号标志：∵，∴。另外尚有，“由于···，以至···”；“···，因此···”；“之因此······，是由于···”，等等。但有时候，在某些推理中人们省略或者不用这些语词标记，而由人们凭句子之间的意义关联去分辨前提与结论。10

推理的特性：从已知命题到新命题已知：前提求证：结论证明：推理逻辑学考察从前提推导出结论时，这些结论是有效的还是可靠的？本章所考察的命题逻辑特别关注推理的有效性。11

（二）推理的分类演绎推理与归纳推理演绎推理是由普通性前提推出特殊性结论即所谓由普通到特殊的推理。也称必然性的推理，即只要前提真就能确保结论必然真的推理；归纳推理是指由特殊到普通的推理。也称或然性的推理，即前提真不一定能确保结论真，前提只对结论提供一定的支持关系的推理。12

（三）演绎推理的有效性与可靠性演绎推理的有效性，指的是推理形式的有效性，它与前提或结论本身的真假是无关的：只要确保假定前提真，结论就一定真，则该推理有效，至于前提如果为假，则结论的真假就无法确保了。p32演绎推理的可靠性则不仅规定推理形式有效，并且规定推理的前提本身事实上必须真，对应地也规定结论一定真。13

有效性实例：4、逻辑学专家比历史学专家的年纪大；2、王专家年纪最小；能够代之以符号A比B年纪大,A＞Ba年纪最小,a＜B-a＜A14

15