推理规则与证明方法学习教案.pptx
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《推理规则与证明方法学习教案.pptx》由会员分享,可在线阅读,更多相关《推理规则与证明方法学习教案.pptx(24页珍藏版)》请在得力文库 - 分享文档赚钱的网站上搜索。
1、推理推理(tul)规则与证明方法规则与证明方法第一页,共24页。设设H1,H2,Hm(H1,H2,Hm()和都是命题公式。和都是命题公式。若若(H1H2 Hm)(H1H2 Hm)为永真式,为永真式,即即 H1H2 Hm H1H2 Hm,称由前提称由前提(qint)H1,H2,Hm(qint)H1,H2,Hm推出结论推出结论C C的推理正确的推理正确(有效有效)。称为前提称为前提(qint)H1,H2,Hm(qint)H1,H2,Hm的有效结论或逻辑结果。的有效结论或逻辑结果。H1H2 Hm H1H2 Hm 称为称为 由前提由前提(qint)H1,H2,Hm(qint)H1,H2,Hm推出结论推
2、出结论C C的推理的形式结的推理的形式结构。构。一、推理(tul)的基本概念第1页/共24页第二页,共24页。例例1-5-1 1-5-1 1 1 如果天下雨,小王就不去跑步。如果天下雨,小王就不去跑步。今天天下雨,所以小王没去跑步。今天天下雨,所以小王没去跑步。解:解:设设 P P:天下雨。:天下雨。Q Q:小王去跑步。:小王去跑步。前提:前提:PPQ Q,P P 结论:结论:Q Q 推理的形式结构为:推理的形式结构为:(P(PQ)P Q)P Q Q2 2 如果我上街如果我上街(shn ji)(shn ji),我一定去新华书店。,我一定去新华书店。我没上街我没上街(shn ji)(shn ji
3、),所以我没去新华书店。,所以我没去新华书店。解:解:设设P P:我上街:我上街(shn ji)(shn ji)。Q Q:我去新华书店。:我去新华书店。前提:前提:PQPQ,P P 结论:结论:Q Q 推理的形式结构为:推理的形式结构为:(PQ)(PQ)P P Q Q推理(tul)的符号化实例第2页/共24页第三页,共24页。根据定义:由前提根据定义:由前提H1,H2,HmH1,H2,Hm推结论推结论C C的推理正确的推理正确(有效有效)即:即:(H1H2 Hm)(H1H2 Hm)为永真式,为永真式,即即 H1H2 Hm H1H2 Hm 可知,判断可知,判断(pndun)(pndun)推理是否
4、正确的方法就是判断推理是否正确的方法就是判断(pndun)(pndun)永永真式真式 或永真蕴含式的方法。或永真蕴含式的方法。基本方法有:基本方法有:1 1 真值表法真值表法2 2 等值演算法等值演算法3 3 主析取范式法主析取范式法4 4 指派分析法指派分析法(永真蕴含式永真蕴含式)二、基于(jy)定义的推理第3页/共24页第四页,共24页。例例例例1-5-2 1-5-2 1-5-2 1-5-2 判断下列推理是否正确判断下列推理是否正确判断下列推理是否正确判断下列推理是否正确(zhngqu)(zhngqu)(zhngqu)(zhngqu):如果天下雨,小王就不去跑步。如果天下雨,小王就不去跑
5、步。如果天下雨,小王就不去跑步。如果天下雨,小王就不去跑步。今天天下雨,所以小王没去跑步。今天天下雨,所以小王没去跑步。今天天下雨,所以小王没去跑步。今天天下雨,所以小王没去跑步。解:设解:设解:设解:设 P P P P:天下雨。:天下雨。:天下雨。:天下雨。Q Q Q Q:小王去跑步。:小王去跑步。:小王去跑步。:小王去跑步。前提:前提:前提:前提:PPPPQ Q Q Q,P P P P 结论:结论:结论:结论:Q Q Q Q 推理的形式结构为:推理的形式结构为:推理的形式结构为:推理的形式结构为:(P(P(P(PQ)P Q)P Q)P Q)P Q Q Q Q 判断判断判断判断(P(P(P(
6、PQ)P)Q)P)Q)P)Q)P)Q(*)Q(*)Q(*)Q(*)是否为永真式是否为永真式是否为永真式是否为永真式 或或或或(P(P(P(PQ)PQ)PQ)PQ)P Q Q Q Q 是否成立。是否成立。是否成立。是否成立。步骤(bzhu):先将命题符号化然后写出前提、结论和推理的形式结构最后进行判断第4页/共24页第五页,共24页。1 真值表法 真值表的最后一列全为1,因而(*)是永真式。所以(suy)推理正确。v 真值表技术(jsh):给定一个前提集合和一个结论,用构成真值表v 的方法,在有限步骤内判定给定前提是否能推v 导出该结论的这种方法,称为真值表技术(jsh)。第5页/共24页第六页
7、,共24页。(P(PQ)P)Q)P)Q Q (PPQ)P)Q)P)Q Q (PQ)(PQ)P)P)Q Q (P(PPPQ)(QQ)(QPPQ)Q)TT TT T T因而因而(yn r)(P(yn r)(P Q)P)Q)P)Q(*)Q(*)是永真式,推理正确。是永真式,推理正确。2 2 等值演算法第6页/共24页第七页,共24页。(P(P(P(PQ)P)Q)P)Q)P)Q)P)Q Q Q Q (PPPPQ)P)Q)P)Q)P)Q)P)Q Q Q Q (PQ)(PQ)(PQ)(PQ)P P P P Q Q Q Q (PQ)(PQ)(PQ)(PQ)(P(QP(QP(QP(QQ)(PQ)(PQ)(PQ
8、)(PP)P)P)P)Q)Q)Q)Q)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PQ)(PPPPQ)(PQ)(PQ)(PQ)(PQ)(Q)(Q)(Q)(PPPPQ)Q)Q)Q)(PPPPQ)(Q)(Q)(Q)(PQ)(PPQ)(PPQ)(PPQ)(PQ)(PQ)Q)(PQ)Q)(PQ)Q)(PQ)(0,1,2,3)(0,1,2,3)(0,1,2,3)(0,1,2,3)因而因而因而因而(yn r)(*)(yn r)(*)(yn r)(*)(yn r)(*)是永真式,推理正确。是永真式,推理正确。是永真式,推理正确。是永真式,推理正确。3 3 主析取范式法第7页/共24页第八页,共
9、24页。即要判断(PQ)P Q证明:假设前件(PQ)P 为真,则P为真,且(PQ)为真,所以(suy)Q 为真。故(PQ)P Q成立,推理正确。4 指派(zhpi)分析法(永真蕴含式)基于定义进行推理的不足:基于定义进行推理的不足:1 1 如果命题公式的变元较多,以上四种方法如果命题公式的变元较多,以上四种方法(fngf)(fngf)都不方便都不方便 。(n (n个变元,个变元,2n 2n种指派种指派)2 2 与自然生活和传统数学中的推理形式无相同之处。与自然生活和传统数学中的推理形式无相同之处。3 3 过于机械,对培养推理能力和推理技巧毫无帮助。过于机械,对培养推理能力和推理技巧毫无帮助。第
10、8页/共24页第九页,共24页。形式证明形式证明(zhngmng)(zhngmng):对由前提:对由前提H1H1,H2H2,HmHm推结论推结论C C的推理,的推理,构造一个描述推理过程的命题公式序列,其中构造一个描述推理过程的命题公式序列,其中 每个命题公式或者是已知的前提,或者是由某每个命题公式或者是已知的前提,或者是由某 些前提应用公认的推理规则所得到的结论,序些前提应用公认的推理规则所得到的结论,序 列中最后一个命题公式是所要求的结论。列中最后一个命题公式是所要求的结论。这样的命题公式序列称为形式证明这样的命题公式序列称为形式证明(zhngmng)(zhngmng)。形式证明形式证明(
11、zhngmng)(zhngmng)的格式:形式证明的格式:形式证明(zhngmng)(zhngmng)是按行进行的,是按行进行的,而且每行只能而且每行只能 写一个命题公式。一般为:写一个命题公式。一般为:标号部分标号部分 命题公式命题公式 说明部分说明部分三、基于(jy)规则的推理第9页/共24页第十页,共24页。推理过程中使用推理过程中使用(shyng)(shyng)的构造公式序列的规则:的构造公式序列的规则:规则规则P P(前提引入规则):在推导的任何步骤上,都可以引入前提。(前提引入规则):在推导的任何步骤上,都可以引入前提。规则规则T T(结论引入规则):在推导过程中,如果前面有一个或
12、多个(结论引入规则):在推导过程中,如果前面有一个或多个命题公式永真蕴含命题公式命题公式永真蕴含命题公式 S S,那么就可以把公式,那么就可以把公式 S S 引进推引进推导过程中。导过程中。代入规则:在推导的任何步骤上,永真式中的任一命题变元都可代入规则:在推导的任何步骤上,永真式中的任一命题变元都可以用任一命题公式代入,代入后得到的仍是永真式。以用任一命题公式代入,代入后得到的仍是永真式。置换规则:在推导的任何步骤上,命题公式中的任何子公式都可置换规则:在推导的任何步骤上,命题公式中的任何子公式都可以用与之等值的命题公式置换。以用与之等值的命题公式置换。常用的推理公式:常用的推理公式:在表在
13、表1.2-21.2-2中列出的永真蕴含式。中列出的永真蕴含式。在表在表1.2-11.2-1中列出的逻辑等价式。中列出的逻辑等价式。常用的推理(tul)规则第10页/共24页第十一页,共24页。1 1直接证明法直接证明法 由已知的前提由已知的前提(qint)H1,H2,Hm(qint)H1,H2,Hm出发,利用一些出发,利用一些公认的推理规则,根据已知的逻辑等价式和永真蕴含公认的推理规则,根据已知的逻辑等价式和永真蕴含式,推导出有效结论式,推导出有效结论C C。证明证明(zhngmng)方法方法 推理(tul):H1H2 Hm C 2间接证明法间接证明法 将已知的前提和结论进行适当的改造,转化为
14、对新的前提和结论进行推理证明。常用的技巧有:附加前提证明法和反证法。第11页/共24页第十二页,共24页。例例1-5-3 1-5-3 检验下列检验下列(xili)(xili)推理的有效性。推理的有效性。如果马会飞或羊吃草,则母鸡就会是飞鸟;如果马会飞或羊吃草,则母鸡就会是飞鸟;如果母鸡是飞鸟,那么煮熟的鸭子还会跑;如果母鸡是飞鸟,那么煮熟的鸭子还会跑;煮熟的鸭子不会跑,所以羊不吃草。煮熟的鸭子不会跑,所以羊不吃草。解:设解:设P P:马会飞。:马会飞。Q Q:羊吃草。:羊吃草。R R:母鸡是飞鸟。:母鸡是飞鸟。S S:煮熟的鸭子会跑:煮熟的鸭子会跑则前提为:则前提为:(PQ)R(PQ)R,RS
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 推理 规则 证明 方法 学习 教案
![提示](https://www.deliwenku.com/images/bang_tan.gif)
限制150内