第三章命题逻辑推理理论

((┐p∧┐q)∨p) ∨ q
((┐p∨p )∧(┐q∨p)) ∨ q
(┐q∨p) ∨ q 1
精选课件ppt
由定理 3.1可知， 推理正确。
15
推理定律--重言蕴含式
(1) A (A∨B)
附加律
(2) (A∧B) A
化简律
(3) (A→B)∧A B
假言推理
(4) (A→B)∧┐B ┐A
拒取式
(5) (A∨B)∧┐B A
析取三段论
(6) (A→B) ∧ (B→C) (A→C)
假言三段论
(7) (AB) ∧ (BC) (A C)
等价三段论
(8) (A→B)∧(C→D)∧(A∨C) (B∨D) (A→B)∧(┐A→B)∧(A∨┐A) B
构造性二难 构造性二难
(特殊形式)
(9)(A→B)∧(C→D)∧(┐B∨┐精D选)课件pp(t ┐A∨┐C) 破坏性二难16
只要不出现(3)中的情况，推理就是正确的，因而判断 推理是否正确，就是判断是否会出现(3)中的情况。
推理正确，并不能保证结论B一定为真。
精选课件ppt
8
例题
例3.1 判断下列推理是否正确。（真值表法）
(1) {p,p→q}├ q (2) {p,q→p}├ q
正确 不正确
p q p(p→q) q p(q→p)
推理是指从前提出发推出结论的思维过程。
前提是已知命题公式集合。
结论是从前提出发应用推理规则推出的命题公式。
证明是描述推理正确或错误的过程。
要研究推理，首先应该明确什么样的推理是有效的或 正确的。
精选课件ppt
4
命题逻辑的推理理论
概念
描述问题 的句子

第一节 命题的概述
一 ,定义 命题是对思维对象有所断定的一种思维形式 二,命题的逻辑特征 1,对思维对象有所肯定或否定 所谓断定,要么对思维对象有所肯定,要么对思维对象 有所否定,即肯定或否定思维对象具有什么性质. 2,有真假 学术界关于逻辑真与经验真问题.(形式真与事实真) 逻辑从命题形式上研究命题的逻章要点
命题-语句-直言命题-真假关系-对当关系-项 的周延性-推理-对当关系推理-命题变形规则推理换质推理-换位推理-换质位推理-换位质推理-戾换 推理-三段论-三段论组成,公理,规则,格与式, 省略形式-关系命题-关系的性质-关系推理
三,命题与语句
联系: 命题作为思维形式是离不开语句而赤裸裸的存在着;命题的形成,存在,巩固和 表达都离不开语句.语句离开命题则是毫无意义的音节或笔划的堆积.命题是语句的 思维内容和逻辑基础,语句则是命题的物质外壳和表达形式. 区别: ①命题属于思想范畴,是客体的反映,语句属于语言范畴,是用来表达思想的音 节或符号.二者属于不同对象领域. ②任何命题都要用语句表达,但并非所有语句表达命题,陈述句,反诘句,感叹 句,祈使句在一定语境中可以间接表达命题. 同一命题可以用不同语句表达. 例如:我是一名教师——I am a teacher. 2,在同一民族语言中同一命题因交际的目的,对象,语境不同,也可以表达不同 的语句. 如:a一切事物都包含着矛盾 b事物总有矛盾. c难道有不包含矛盾的事物. 3,同一语句可以表达不同的命题. 例如:鸡不吃了 我看见白头翁 学生不能欺骗老师
同一素材下A 同一素材下A,E,I,O真假关系由下表来表示
推知 推知 已知真 A E I O T F 不定 F F T F 不定 T F T 不定 F T 不定 T O I E A A E I O 已知假

例如：从“他们都不是学生”可推出一 个等值命题：“他们都是非学生”。
A、E、I、O都可以按上述方法进行换质 法变形推理：
原命题 SAP SEP SIP SOP
换质命题 SE﹁P SA﹁P SO﹁P SI﹁P
⑵换位法，改变原命题主项和谓项的位 置而推出一个新命题的推理方法。
步骤:第一，只更换主、谓项的位置；第 二，换位命题的主、谓项不得扩大原命 题中的对应项的周延情况。
(2) 按照前提和结论一般性程度的不同，可以把推理分为演 绎、归纳和类比。演绎是由一般性的前提推到个别性的结论； 演绎推理的前提必须蕴涵结论，即一个正确的演绎推理的前提 如果是真的，则结论一定是真的，所以它一定是必然性推理。 归纳是由个别性的前提推到一般性的结论；类比是由个别性的 前提推到个别性的结论。归纳和类比就是所说的或然性推理。
2.命题和语句
(1)命题是表达判断的语句，但并非所有语句都表达 命题。只有能区分其真或假的语句才构成命题。
语句主要有四种，即陈述句、疑问句、祈使句和感 叹句。其中陈述句一般是能区分真假的，它是命题的最 基本语言形式；疑问句、祈使句、感叹句一般不直接表 达判断，所以不是命题；但反诘疑问句、预设句因为隐 含着判断，所以是命题。
(2)一类推理的正确性，必须分析到简单命题即原子命题所包含 的概念即词项才能判定，则这种推理就称为简单命题推理即词 项推理。相应的逻辑称为词项逻辑。
例如：所有谎言是不可信的
所有S是P
有些谎言是不可信的
有些S是P
另一类推理的正确性，如果只要分析到其中所包含的简单命 题即原子命题为止即可判定，那么这类推理就称为复合命题推 理即命题推理。相应的逻辑称为命题逻辑。
直言命题A、E、I、O四种形式的换 质位情况归纳如下:

命题。
❖ 全称否定命题的逻辑形式是：
❖ 所有的S不是P(或：SEP、E)。 ❖ 如：所有的鲸都不是鱼。
❖ （3）特称肯定命题 ❖ 它是断定某类对象中至少有一个对象（部分对象）
具有某种直言的命题。
❖ 特称肯定命题的逻辑形式是：
❖ 有的（有些）S是P(或：SIP、I)。 ❖ 如：有些学生是共产党员。
❖ （4）特称否定命题 ❖ 它是断定某类对象中至少有一个对象（部分对象）
❖ 如前面例子中的“所有”、“有些”、“这个”。 联项和量项都是逻辑常项。
❖ 一个直言命题的基本结构可用公式表示为：
❖ 所有的（或有的、某个）S是（或不是）P
三、直言命题的种类 ——根据命题的质与量来分类
1、按命题的联项不同即“质” 划分 肯定命题 ：断定对象具有某种直言 的命题。
用 “是”表示，其逻辑形式为 “S是P” 否定命题 ：断定对象不具有某种直言的命题。
❖ 2．二者的区别 第一，所有命题都能用语句来表达，但并非所
有语句都能表达命题。
不能对事物情况的真假做出断定的语句，不能表 达命题。
一般说来，陈述句直接表达命题，反问句间接表达命 题，一般疑问句、祈使句和感叹句不表达命题。
❖ 例：
❖ 今天是星期一。
❖
√
❖ 难道还有什么困难不能克服吗？
❖
√
❖ 你每天几点起床？
❖ 上述四个命题分别是A、E、I、O命题，它们 的主项相同，谓项也相同。因此又叫同素材 的直言命题。它们之间存在着一种真假相互 制约的关系。这种关系亦称“对当关系”。
而“所有的树都是植物”与 “有些人是工人” 不存在关系；
❖ 2、主谓项不能出现虚假概念，因为无法讨论 真假；
❖ 3、必须弄清特称命题的单义性。