3.1推理的形式结构[教资优择].ppt
《3.1推理的形式结构[教资优择].ppt》由会员分享,可在线阅读,更多相关《3.1推理的形式结构[教资优择].ppt(39页珍藏版)》请在三一文库上搜索。
1、第三章 命题逻辑的推理理论,数理逻辑的主要任务是推理,即提供一套推理规则,从给定的前提出发,推导出一个结论来。,前提是指已知的公式的集合。,结论是对前提应用推理规则推出的公式。,1,基础课件,3.1 推理的形式结构,2,基础课件,定义(推理的形式结构) 设A1,A2,Ak,B都是命题公式,若 (A1A2Ak)B为重言式,则称由前提A1, A2,Ak推出B的推理是有效的或正确的,称B是A1,A2,Ak的有效结论或正确结论。 称(A1A2Ak)B为由前提A1,A2,Ak推出结论B的推理的形式结构。,说明: (1)用(A1A2Ak)B来表示A1,A2,Ak推 出B的推理是有效的,即(A1A2Ak)B
2、为重言式。,(2)判断推理是否正确的方法就是判断重言蕴涵式的方 法:真值表法,等值演算法,主析取范式法,3,基础课件,例:判断下面各推理是否正确。 (1)马芳或去看电影或去游泳。她没去看电影。所以她去游泳了。 (2)若下午气温超过30度,则王燕必去游泳。若她去游泳,她就不去看电影了。所以,若王燕没去看电影,下午气温必超过30度。,解推理问题的步骤: (1)将简单命题符号化 (2)以下述形式写出前提、结论和推理的形式结构 前提:A1,A2,Ak 结论:B 推理的形式结构:(A1A2Ak)B (3)进行判断(真值表法,等值演算法,主析取范式法),4,基础课件,(1)马芳或去看电影或去游泳。她没去看
3、电影。所以她去游泳了。 解: 设:p:马芳去看电影,q:马芳去游泳 前提:pq,p 结论:q 推理的形式结构:(pq)p)q,5,基础课件,判断方法一:真值表法,真值表的最后一列全为1,所以(pq)p)q为重言式。因而推理正确。,6,基础课件,判断方法二:等值演算法,(pq)p)q (pp)(qp)q ( qp )q qpq 1 因为(pq)p)q为重言式,所以推理正确。,7,基础课件,判断方法三:主析取范式法,(pq)p)q m0m1m2m3 所以(pq)p)q为重言式,推理正确。,8,基础课件,(2)若下午气温超过30度,则王燕必去游泳。若她去游泳,她就不去看电影了。所以,若王燕没去看电影
4、,下午气温必超过30度。 解:设p:下午气温超过30度;q:王燕去游泳; r:王燕去看电影 前提:pq,qr 结论:rp 推理的形式结构: (pq)(qr)(rp)(*) m1m3m4m5m6m7 可见(*)不是重言式,所以推理不正确。,9,基础课件,如果AB成立,则推理AB是正确的; 同时推理BA也是正确的。,思考:AB和AB的关系?,10,基础课件,推理定律(重言蕴涵式) (1) A AB 附加律 (2) AB A 化简律 (3)(AB) A B 假言推理 (4)(AB)B A 拒取式 (5)(AB)B A 析取三段论 (6)(AB)(BC)(AC)假言三段论 (7)(AB)(BC)(AC
5、)等价三段论 (8)(AB)(CD)(AC)(BD) 构造性二难 (9)(AB)(CD)(BD)(AC) 破坏性二难,11,基础课件,说明:第2.1节 等值式中给出的24个等值式,每个等值 式可以派生出两条推理定律。 例如:AB AB产生两条推理定律 ABAB和AB AB,12,基础课件,在解推理问题的过程中,如果命题变项较多,则采用真值表法,等值演算法,主析取范式法这三种方法来判断推理的形式结构的公式类型都不方便。 解推理问题的构造证明法。 构造证明是一个描述推理过程的命题公式的序列,其中每个公式或者是已知前提,或者是由某些前提应用推理规则得到的结论。,13,基础课件,构造证明法的证明形式
6、前提:pq,qr,ps,s 结论:r(pq) 证明: ps 前提引入 s 前提引入 p 拒取式 pq 前提引入 q 析取三段论 qr 前提引入 r 假言推理 r(pq) 合取引入,14,基础课件,3.2 自然推理系统P,15,基础课件,定义(自然推理系统P) 自然推理系统P由以下三个部分组成:,1、字母表 (1)命题变项符号:p,q,r, pi,qi,ri, (2)联结词符号:, (3)括号与逗号:() ,,2、公式 参见命题公式的定义,16,基础课件,3、推理规则(12个),(1)前提引入规则:在证明的任何步骤上都可以引入前提。,(2)(中间)结论引入规则:在证明的任何步骤上所得到的中间结论
7、都可以作为后继证明的前提。(这是12个推理规则中唯一的一个隐规则。),(3)置换规则:在证明的任何步骤上,命题公式中的子公式都可以用与之等值的公式置换,得到公式序列中的又一个公式。,17,基础课件,由九条推理定律和结论引入规则可以导出以下各条推理定律。 (4)假言推理规则(分离推理规则):若证明的公式序列中出现过AB和A,则由假言推理定律(AB)AB可知,B是AB和A的有效结论,由结论引入规则可知,可将B引入到命题序列中来。 (5)附加规则:A(AB) (6)化简规则:AB A (7)拒取式规则:(AB)BA (8)假言三段论规则: (AB)(BC)(AC),18,基础课件,(9)析取三段论规
8、则:(AB)BA (10)构造性二难推理规则: (AB)(CD)(AC)(BD) (11)破坏性二难推理规则: (AB)(CD)(BD) (AC) (12)合取引入规则:若证明的公式序列中出现过A和B,则AB是A和B的有效结论。,19,基础课件,推理规则(12个) (1)前提引入规则 (2)结论引入规则(隐规则) (3)置换规则:等值置换 (4)假言推理规则:(AB)AB (5)附加规则:A(AB) (6)化简规则:AB A (7)拒取式规则:(AB)BA (8)假言三段论规则:(AB)(BC)(AC) (9)析取三段论规则:(AB)BA (10)构造性二难推理规则 (11)破坏性二难推理规则
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 教资优择 3.1 推理的形式结构教资优择 推理 形式 结构
链接地址:https://www.31doc.com/p-11341625.html