自然推理系统P证明.PPT

3.1 推理形式结构 何为推理？何为证明？ 例子： （1）若A?B且C?D，则A?C?B?D （2）若今天是星期一，则明天是星期二 （3）若A?C?B?D，则A?B且C?D 推理 —— 从前提出发推出结论的思维过程 上例中，（1），（2）是正确的推理，而（3）是错误的推理 证明 —— 描述推理正确或错误的过程 3.1 推理形式结构 推理定律 推理定律——重言蕴涵式 重要的推理定律： A ? (A?B) 附加律 (A?B) ? A 化简律 例1： 如果谁骄傲自满，那么他就要落后；小张骄傲自满， 所以，小张必定要落后 (A?B)?A ? B 假言推理 例2： 如果谁得了肺炎，他就一定要发烧；小李没发烧， 所以，小李没患肺炎 (A?B)??B ? ?A 拒取式 3.1 推理形式结构 例3： 如果降落的物体不受外力的影响，那么，它不 会改变降落的方向；这个物体受到了外力的 影响， 所以，它会改变降落的方向 例4： 如果赵某是走私犯，那么，他应受法律制裁； 经查明，赵某确实受到了法律制裁， 所以，赵某是走私犯 3.1 推理形式结构 例5： 我要么选择汤要么选择色拉；我不选择汤。 所以，我选择色拉 (A?B)??B ? A 析取三段论 例6： 如果我不能起床，则我不能上班。 如果我不能上班，则我不能得到报酬。 所以，如果我不能起床，则我不能得到报酬 (A?B)?(B?C) ? (A?C) 假言三段论 (A?B)?(B?C) ? (A?C) 等价三段论 3.1 推理形式结构 例7： 东方朔偷饮了汉武帝求得的据说饮了能够不死的酒，汉武帝要杀他，他说：“如果这酒真能使人不死，那么你就杀不死我；如果这酒不能使人不死(你能杀得死我)，那么它就没有什么用处（不必杀我）；这酒或者能使人不死，或者不能使人不死；所以你或者杀不死我，或者不必杀我。” (A?B)?(C?D)?(A?C) ? (B?D) 构造性二难 (A?B)?(?A?B) ? B 构造性二难 （特殊形式） 3.1 推理形式结构 例8： If it rains, we will stay inside. If it is sunny, we will go for a walk. Either we will not stay inside, or we will not go for a walk. Therefore, either it will not rain, or it will not be sunny. (A?B)?(C?D)?( ?B??D) ? (?A??C) 破坏性二难 3.1 推理形式结构 普罗泰戈拉收了一名学生叫欧提勒士。普氏与他签订了这样一份合同：前者向后者传授辩论技巧，教他帮人打官司；后者入学时交一半学费，另一半学费则在他毕业后帮人打官司赢了之后再交。时光荏苒，欧氏从普氏那里毕业了。但他总不帮人打官司，普氏于是就总得不到那另一半学费。 普氏为了要那另一半学费，他去与欧氏打官司，并打着这样的如意算盘： 如果欧氏打赢了这场官司，按照合同的规定，他应该给我另一半学费。 如果欧氏打输了这场官司，按照法庭的裁决，他应该给我另一半学费。 欧氏或者打赢这场官司，或者打输这场官司。 总之，他应该付给我另一半学费。 但欧氏却对普氏说： 如果这场官司我打赢了，按照法庭的裁