第三章命题逻辑推理理论
合集下载
离散数学课件03命题逻辑的推理理论
((┐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
命题逻辑的推理理论
概念
描述问题 的句子
《逻辑学》第三章 命题的自然推理
基本真值联结词 ¬ 否定 ∧ 合取 ∨ 析取 蕴涵 等值
5种基本真值形式
¬ p 否定式
p ∧q 合取式 pq 蕴涵式 pq 等值式
p∨q 析取式 真值函项
函数讲的是数值关系，一个函数的值依赖于其中变数的值 y＝f（x），即y的值f（x）由x的取值决定。 与函数类比 真值函项讲的是真值（真假）关系，一个真值形式的值依 赖其变项的值，如p∧q的值，由p和q的值决定。 每一真值形式都是真值函项；真值形式与真值函项的数目并不一样多， 真值形式的数目无限，真值函项数却是确定的；不同的真值形式，表 达相同的真值函项；真值函项是对公式中变项的真假组合的真值断定， 变项组合数2n，对每一组合有真假两种断定，故真值函项数为22n。 当n（变项数）为1时，其真假组合为2，对真假组合的断定有4种可 能，即真值函项有4个；变项数为2，则真值函项有16个；变项数为3， 则真值函项为256个。
f9 f8 的矛盾式
f13 f4 的矛盾式
f14 f3 的矛盾式 f15 f2 的矛盾式
f10
f12
f7 的矛盾式
f5 的矛盾式
f11 f6 的矛盾式
f16
f1 的矛盾式
随着变项数目的增加，函项数也增加，当变项数目为3时，函项数目达 到256个。但不管函项数是多少，重言式的函项只是一个，矛盾式的函 项也是一个，其余均是可满足式。真值函项有3类，那么，表达真值函 项的真值形式也有3类：重言式（永真式）、矛盾式（永假式）和可满 足式（可真可假式）。当然，每一类真值函项包括很多的真值形式， 而同一类真值函项的真值形式是等值的。
但逻辑学难以对付诸如相关性、顺序等影响命题真假的因素。逻辑研究 撇开逻辑联结词在自然语言中的非真值意义，仅从复合命题与支命题之 间的真假制约关系来考虑逻辑联结词，这样，逻辑联结词就成为真值联 结词；命题的逻辑形式也就成为真值形式。
法律逻辑学第三章 简单命题及推理
第一节 命题的概述
一 ,定义 命题是对思维对象有所断定的一种思维形式 二,命题的逻辑特征 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 已知假
一 ,定义 命题是对思维对象有所断定的一种思维形式 二,命题的逻辑特征 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 已知假
3形式逻辑-第三章 简单命题及其推理(上)
例如：从“他们都不是学生”可推出一 个等值命题：“他们都是非学生”。
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四种形式的换 质位情况归纳如下:
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四种形式的换 质位情况归纳如下:
3 命题逻辑的推理理论
（7）拒取式规则
AB B A
（8） 假言三段论规则
AB BC AC
（9）析取三段论规则
AB B A
（10）构造性二难推理规则
AB CD AC BD
（11）破坏性二难推理规则
AB CD BD AC
（12） 合取引入规则
A B AB
证明方法： ◦ 直接证明法 ◦ 附加前提法 ◦ 归谬法（或称反证法）
（2） 联结词符号： ┐， ， ， ， （3） 括号与逗号：( )，， 2. 合式公式（同合取联接词定义）
3. 推理规则
（1）前提引入规则 在证明的任何步骤上都可以引入前提。
（2）结论引入规则 在证明的任何步骤上所得到的结论都可以作为后继证明的前提。
（3）置换规则 在证明的任何步骤上，命题公式中的子公式都可以用与之等值的公
1、用不同的方法验证下面推理是否正确。对于正确的推理还 要在P系统中给出证明。 （1） 前提：pq, q
结论：p （2） 前提：qr, pr
结论：qp
（1）不正确。 验证答案，只需证明(pq)qp不是重言式。 方法一 等值演算
(pq)qp ((pq)q)p (pq)qp ((pq)(qq))p pq 易知10是成假赋值，故(pq)qp不是重言式，所以推理不正确。
数理逻辑
命题逻辑 一阶逻辑
命题和联结 词
命题变项
复合命题 公式
真值表 等值式与等
值演算 公式类型
范式
实际应用
析取范式 合取范式
主析取范式 主合取范式
根据下列真语句，请判断是谁谋害了张先生？ (1)A、B、C三人中至少有一人。 (2)如果张先生生前未饮过麻醉剂，那不是C。 (3)如果张先生曾饮过麻醉剂，那不是A。 (4)如果是A谋害的，那么B也参加了。 (5)如果作案在落雨前，则是A谋害的。 (6)如果作案不在落雨前，张先生临死前搏斗过。 (7)张先生临死前搏斗过，就不是B谋害的。 (8)经过法医解剖化验，张先生死前曾饮过麻醉剂。
3第三章 命题逻辑的推理理论
从语言角度, 推理分为语义和语法两种。 从语言角度, 推理分为语义和语法两种。 语义(semantics)推理注重内涵的正确性 也就是从真 语义(semantics)推理注重内涵的正确性, 也就是从真 推理注重内涵的正确性, 要推出真的结论来, 的前提出发要推出真的结论来 推理过程考虑得少, 的前提出发要推出真的结论来, 推理过程考虑得少,关 心的是结论的正确性。 心的是结论的正确性。 语法推理则注重形式上的有效, 注重推理过程是否符 语法推理则注重形式上的有效, 注重推理过程是否符 则注重形式上的有效 合某些事先规定的逻辑规则, 结论是严格遵循规则 合某些事先规定的逻辑规则, 若结论是严格遵循规则 有效的 得到的, 那便是有效 得到的, 那便是有效的。 数理逻辑主要采用语法推理, 数理逻辑主要采用语法推理, 它关心的是结论的有效 不关心前提的实际真值, 性，而不关心前提的实际真值, 当然语法推理作为一 种推理方法, 种推理方法, 它必须能反映客观事物中真实存在的逻 辑关系, 语法推理必须保证语义上的正确性 必须保证语义上的正确性。 辑关系, 即 语法推理必须保证语义上的正确性。
3、2.1节给出的24个等值式中的每个都可以 2.1节给出的 个等值式中的每个都可以 节给出的24 派生出两条推理定律。 派生出两条推理定律。 例如：双重否定律 A⇔¬¬A ⇔¬¬A 例如： 可以产生两条推理定律 A⇒¬¬A ¬¬A ¬¬A ¬¬A ⇒A
§3.2 自然推理系统P 自然推理系统P
由上一节知识可知，可以利用真值表法、等值演算法 由上一节知识可知，可以利用真值表法、 真值表法 和主析取范式法三种方法来判断推理是否正确。 和主析取范式法三种方法来判断推理是否正确。 三种方法来判断推理是否正确 但是，当推理中包含的命题变项较多时，以上三种 命题变项较多时 但是，当推理中包含的命题变项较多 方法的演算量太大。因此对于由前提A1, A2,…,Ak推 方法的演算量太大。因此对于由前提A B的正确推理应给出严谨的证明。 正确推理应给出严谨的证明。 证明是一个描述推理过程的命题公式序列， 证明是一个描述推理过程的命题公式序列，其中的每 是一个描述推理过程的命题公式序列 个公式是已知前提或者是由某些前提应用推理规则得 个公式是已知前提或者是由某些前提应用推理规则得 已知前提或者是 到的结论。 到的结论。
逻辑学导论第三章
14
也可以用否定词、等值把矛盾关系表述如下：
◦ （1）SAP↔¬SOP ◦ （2）SEP↔¬SIP ◦ （3）SIP↔¬SEP ◦ （4）SOP↔¬SAP
15
差等关系
◦ 亦称“从属关系”，指A与I、E与O之间的关系。我们可 以把它概括为：如果全称命题真，则相应的特称命题真； 如果特称命题假，则相应的全称命题假；如果全称命题假， 则相应的特称命题真假不定；如果特称命题真，则相应的 全称命题真假不定。
SAP 等 关 系 差 等 关 系 关 系 SIP 下反对关系 SOP 矛 盾 盾 矛 关 反对关系 系 差 等 关 关 系 系 差 SEP 差 等 关
差 a （某个 S） 是P 差
系 系 a（某个 S） 不是 P
等
等
关
19
直言命题中词项的周延性
◦ 在直言命题中，若断定了一个词项的全部外延，则称它是 周延的，否则是不周延的。由此可知，直言命题中词项的 周延性有下述特点：
41
以上五条三段论规则是基本的，用它们就足以把有 效的三段论与无效的三段论区分开来。为明确和方 便起见，有时还从它们证明、推导出一些规则，例 如：
◦ （6）两个特称前提不能得结论。 ◦ （7）如果两个前提中有一个特称，结论必然特称。
42
根据三段论的一般规则，还可以证明有关三段论的 一些定理，例如：
◦ 定理 一个结论全称的正确三段论，其中项不能周延两次。
43
三段论的特殊规则
第一格规则：
◦ （1）小前提必须肯定。 ◦ （2）大前提必须全称。
44
第二格规则：
◦ （1）两个前提必须有一个否定。 ◦ （2）大前提必须全称。
45
第三格规则：
◦ （1）小前提必须肯定。 ◦ （2）结论必须特称。
第三章推理的形式结构
充分性: 若蕴涵式(A1∧A2∧…∧Ak)→B为重言式，则对于任何赋 值此蕴涵式均为真，因而不会出现前件为真后件为假 的情况，即在任何赋值下，或者A1∧A2∧…∧Ak为假， 或者A1∧A2∧…∧Ak和B同时为真，这正符合定义3.1中 推理正确的定义。 由此定理知，推理形式： 前提：A1,A2,…,Ak 结论：B 是有效的当且仅当(A1∧A2∧…∧Ak)→B为重言式。
以引入前提。
（2） 结论引入规则：在证明的任何步骤上所得 到的结论都可以作为后继证明的前提。 （3） 置换规则：在证明的任何步骤上，命题公 式中的子公式都可以用与之等值的公式置换，得到 公式序列中的又一个公式。
（4） 假言推理规则
（5） 附加规则：
（6） 化简规则：
（7） 拒取式规则：
（8） 假言三段论规则：
A1,A2,…,Ak和B中出现的命题变项的任意一组赋值，
或者A1∧A2 ∧…∧Ak为假，或者当A1∧A2 ∧…∧Ak为 真时，B也为真，则称由前提A1,A2,…,Ak推出B的推 理是有效的或正确的，并称B是有效结论。 其中，前提是一个有限的公式集合，记为Г。 将由Г推B的推理记为Г├ B。 若推理是正确的，则记为Г B，否则记为Г B。
（9） 析取三段论规则：
（10） 构造性二难推理：
（11） 破坏性二难推理规则：
（12） 合取引入规则：
P中的证明就是由一组P中公式作为前提，利用P 中的规则，推出结论。当然此结论也为P中公式。
例3.3 在自然推理系统P中构造下面推理的证明： (1)前提：p∨q,q→r,p→s,┐s 结论：r∧(p∨q) 证明： ① p→s ② ┐s 前提引入
结论的否定 前提引入 前提引入 ②③析取三段 前提引人 ④⑤拒取式 ⑥置换 前提引入 ⑦⑧析取三段
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
14.09.2020
8
只要证明蕴涵式(p ∧ (p q)) q为重言式即可。 三种方式证明：真值表、 等值演算、 主析取范式。 例：判断下列推理是否正确。 1、今天小李或去网吧或去教室。他没去教室，所以
他去网吧了。 设 p：小李去网吧。q：小李去教室。则
前提：p ∨ q , q 结论：p 推理的形式结构： ((p ∨ q) ∧ q) p
<AX(I)，R(I)>为I 的形式演算系统
14.09.2020
17
自然推理系统 P 定义如下： 1、字母表
（1）命题变项符号：p,q,r,… （2）联结词符号： ，∧，∨，， （3）括号与逗号：() , 2、合式公式 定义同1.6 3、推理规则
14.09.2020
3
3.1 推理的形式结构
关于定义3.1的说明： （1）由前提A1，A2，…Ak 推 B 的推理
记作{A1，A2，…Ak}∧ B,称为推理的形式结构。 若推理正确，记作{A1，A2，…Ak}|=B ，
否则：记作{A1，A2，…Ak}|≠B。
14.09.2020
4
3.1 推理的形式结构
14.09.2020
9
（1）真值表
p q p∨q q (p∨q)∧q
00 0 1
0
01 1 0
0
10 1 1
1
11 1 0
0
((p∨q)∧q) p 1 1 1 1
14.09.2020
10
（2）等值演算法： ((p∧ q) ∧ q) p
((p∧ q )∧ (q∧ q)) p (p∧ q ) p (p∧ q )∧ p p∧ q∧ p 1
14.09.2020
15
8.构造性二难 (A→B)∧ (C→D)∧ ( A∧ C) (B∧ D)
(特殊形式) (A→B)∧ ( A→B)∧ ( A∧ A) B
9.破坏性二难 (A→B)∧ (C→D)∧ ( B∧ D)
( A∧ C)
判断推理是否正确，上述三种方法演算量太大， 故而应给出严谨的证明。证明是一个描述推理过 程的命题公式的序列，其中的每个公式或者是已 知前提，或者由某些前提应用推理规则得到的结 论.要构造出严谨的证明必须在形式系统中证明。
14.09.2020
16
3.2 自然推理系统P
定义3.2 一个形式系统 I 由下列四个部分组成： （1）非空的字母表集，记作A（I）。 （2）A(I)符号构造的合式公式集，记作E(I)。 （3）E(I)中一些特殊的公式组成的公理集,记作AX(I)。 （4）推理规则集，记作R(I)。 可以将I 记作为4元组<A(I),E(I),AX(I),R(I)> 其中< A(I)，E(I) >是I 的形式语言系统
14.09.2020
13
3、若下午气温超过30◦C，则王小燕必去游泳。若她 去游泳，她就不去看电影了。所以，若王小燕没去 看电影，下午气温必超过了30◦C。
p：下午气温超过30◦C
q：王小燕去游泳
r：王小燕去看电影
前提：p q，q r 结论： r p 形式结构： ((p q)(q r)) ( r p)
(2)对于任一组赋值，前提和结论的取值有以下四种 情况： ① {A1，A2，…Ak}为0，B为0。 ② {A1，A2，…Ak}为0，B为1。 ③ {A1，A2，…Ak}为1，B为0。 ④ {A1，A2，…Ak}为1，B为1。
结论: ① ② ④ 情况下的推理是正确的. ③ 情况下的推理是错误的.
14.09.2020
所以，推理正确，即((p∧ q)∧ q) p
14.09.2020
12
例：判断下列推理是否正确。 2、若a能被4整除，则天下雨。现在天下雨，所以a
能被4整除。 设 p： a能被4整除。q：天下雨。则， 前提：p q , q 结论：p 推理的形式结构： ((p q) ∧ q) p
答案： 此推理不正确
0
1
1
0
1
1
结论: (1) 式正确. (2)式推理不正确.
14.09.2020
7
定理3.1 命题公式A1，A2，…Ak 推 B 的推理正确当 且仅当 (A1 ∧ A2 ∧ … ∧ Ak) B为重言式。
（证明参见课本） 本书中, 一般采用(A1 ∧ A2 ∧ … ∧ Ak) B作为推 理的形式结构, 并且把它写成下面的形式. 前提：p , p q 结论：q 推理的形式结构： (p ∧(p q)) q
所以，推理正确，即((p∧ q)∧ q) p
14.09.2020
11
（3）主析取范式法： ((p ∧ q) ∧ q) p ((p ∧ q) ∧ q) ∧ p (p ∧ q) ∧ q ∧ p ( p ∧ q ) ∧ q ∧ p (p∧ q )∧ q∧ (p∧ p)∧ p∧ (q∧ q ) (p∧ q )∧ (q∧ p)∧ (q∧ p)∧ (p∧ q)∧ ( p∧ q ) m0 ∧ m1 ∧ m2 ∧ m3
第三章 命题逻辑的推理理论
14.09.2020
1
3.1 推理的形式结构
所谓推理是指从前提出发推出结论的思维过程. 本节所要研究的内容是以什么样的形式来进行 推理, 什么样的推理过程才是正确的推理过程, 也 就是说什么样的推理才是有效的推理.
14.09.2020
2
3.1 推理的形式结构
定义3.1 设A1,A2,…,Ak,B都是命题公式，若对于 A1,A2,…,Ak,B中出现的命题变项的任意一组赋值， 或者A1∧ A2∧ … ∧ Ak为假，或者当A1∧ A2∧ … ∧ Ak为真时，B也为真，则称由前提A1,A2,…,Ak推 出B的推理是有效的或正确的，并称B是有效的结 论。
5
3.1 推理的形式结构
（3）推理正确, 并不能保证结论B一定为真, 这与数 学上的推理是不同的.
判断下列推理是否正确 (1) {p,pq}∧ q (2) {p,qp}∧ q
14.09.2020
6
3.1 推理的形式结构
pq
00 01 10 11
p∧(pq) q
0
Hale Waihona Puke 0010
0
1
1
p∧(qp) q
0
0
14.09.2020
14
推理定律
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.等价三段论 (A B) ∧ (B C) ((A C)