第一部分 第三章 命题逻辑的推理理论.pptVIP

第三章 命题逻辑的推理理论 3.1 推理的形式结构 3.2 自然推理系统 P 推理的例子 止楚攻宋的故事 如果一个人放着自己的豪华马车不坐，却想偷邻居的破车；放着自己的锦绣衣裳不穿，却想偷邻居的黑粗布褂，他必定患了偷窃病。 楚王就是这样的人； 所以楚王有偷窃病。 ——《墨经》、《墨辨》 3.1 推理的形式结构 定义： 推理就是从前提出发推出结论的思维过程。前提与结论都是一组命题公式。 推理的形式结构： {A1,A2,…,Ak}┝ B 从形式的角度研究推理的规律。 有效(正确）的推理 定义3.1 对于任意一组赋值， 或者A1 ? A2 ?…? Ak为假，B任意 或者A1 ? A2 ?…? Ak为真，B也为真 则推理{A1,A2,…,Ak}┝ B 为有效的、正确的 称B是有效的结论,记为 {A1,A2,…,Ak}?B 注意：有效的结论并不能保证一定为真。 例题 【例3.1】 判断推理是否正确 （1）{p,p→q}┝ q （2）{p,q→p}┝ q 推理的蕴涵式结构 定理3.1 推理{A1,A2,…,Ak}┝ B 为有效的、正确的， 当且仅当 （A1∧A2∧…∧Ak）→B 为重言式。 推理的形式结构 （A1∧A2∧…∧Ak）→ B 若（（A1∧A2∧…∧Ak）→B）?1，即推理是有效（正确）的，记为： A1∧A2∧…∧Ak ? B 判断推理正确的方法 前提： A1，A2，…，Ak 结论： B 形式结构 （A1∧A2∧…∧Ak）→ B 例题:判断推理是否正确 【例】“如果我有时间，那么我就去上街；如果我上街，那么我就去书店买书；但我没有去书店买书，所以我没有时间。” 令 p：我有时间。 q：我去上街。 r：我去书店买书。 前提：p→q，q→r，?r 结论：?p 例题 九条推理定律 重言蕴涵式： 1.附加律 A?A∨B， B?A∨B 2.化简律 A∧B?A， A∧B?B 3.假言推理 A∧(A→B)?B 4.拒取式 ?B∧(A→B)??A 联言推理 A∧B?A， A∧B?B 或 A,B? A∧B 一个旅行家到欧洲旅行，要坐船回英国。但仅有买船票的钱了，准备饿着肚子乘船了。 挨了一天，实在受不了了。到餐厅吃完饭，要帐单。 侍者告诉他：饭费含在船票里了。 充分条件假言推理 A∧(A→B)?B 史密斯先生看到一群小孩围着一只小狗。问:你们干什么呢？ “我们在比赛说谎。谁的谎话最大，谁就能得到这只小狗。” 史密斯：胡闹！我在你们这个年龄，可从来不说谎话。 “史密斯先生，你赢了，小狗归你。” 必要条件假言推理 ?B∧(A→B)??A 一班文武官员在看《七擒孟获》的川剧。 一个武官：真想不到，孟子的后代孟获居然如此野蛮。众人听后，不禁掩口而笑。 哪知一个文官接口道：仁兄所见极是，还是孔夫子的后代孔明强一些。 推理：如果孟获是孟子的后代，那么孔明就是孔子的后代了；孔明不是孔子的后代。所以，…… 九条推理定律 重言蕴涵式： 5.析取三段论 ?A∧(A∨B)?B ?B∧(A∨B)?A 6.假言三段论 (A→B)∧(B→C)?(A→C) 7.等价三段论 (A?B)∧(B?C)?(A?C) 选言推理 析取三段论 (A∨B)∧?A?B 有一个议员为了竞选州长请海明威为其写一篇颂扬的文章。 第二天，议员收到海明威送来的一封信，却是一封情书。 议员以为海明威弄错了，还是要求帮忙。 议员又收到海明威送来的一封信，却是一封遗嘱。 海明威：我家除了情书，就是遗嘱，你还要什么呢？ 选言推理 析取三段论 (A∨B)∧?A?B 莎莎替爸爸到邮局买邮票，不知该怎么称呼柜台里的阿姨，想到人们常称呼爸爸“老板”，就说：“老板，我买邮票。”。 “我不是老板，以后别这么喊，好吗？” 过了几天，莎莎又来买邮票：老板娘，我买邮票。 九条推理定律 重言蕴涵式： 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) 上帝不是全能的 上帝能否创造一块连他自己也举不起的石头？ 如果能，则上帝不是全能的； 如果不能，上帝也不是全能的； 或者上帝能创造一块连他自己也举不起的石头，或者不