第五讲命题逻辑.pptVIP

①A→BP②C→?BP③D→EP④F→?EP⑤C∨FP/∴?A∨?D⑥（C→?B）∧（F→?E）②④∧+⑦?B∨?E⑥⑤CD⑧（A→B）∧（D→E）①③∧+⑨?A∨?D⑦⑧DD第31页，共60页，星期日，2025年，2月5日我们还看到，整个形式证明的内容可分为三部分：第一部分是序号，它既标示了命题公式出现的顺序，这些序号同时又是在它后面出现的那个公式的代表。第二部分是若干个命题公式，它们或者是前提，或者是由前面的公式根据推理规则得到的。第三部分则是一些根据，它说明每个命题公式在为什么在形式证明中出现。形式证明的这三个构成部分缺一不可。第32页，共60页，星期日，2025年，2月5日4.3等值替换规则例:(A∨B)→C\?A→C?运用八条基本规则不能建立有关这个推理的形式证明。等值替换规则实际上就是引入一些逻辑等值式作为推理规则，并规定在形式证明中，等值式两边的公式可以相互替换使用。第33页，共60页，星期日，2025年，2月5日二、置换规则交换律(Com)：p∧q?q∧pp∨q?q∨p结合律(Ass)：p∧(q∧r)?(p∧q)∧rp∨(q∨r)?(p∨q)∨r德·摩根律(Dem)：?(p∧q)?(?p∨?q)?(p∨q)?(?p∧?q)分配律(Dist):p∧(q∨r)?(p∧q)∨(p∧r)；p∨(q∧r)?(p∨q)∧(p∨r)实质蕴涵律(Impl)：（p→q）?（?p∨q）假言易位律（Tran):（p→q）?（?q→?p）移出律(Exp)：[p∧q]→r?p→(q→r)实质等值(Eq)：p?q?(p→q)∧(q→p)双否律(DN)：p???p重言律(Taut)：p?(p∧p)p?(p∨p)第34页，共60页，星期日，2025年，2月5日(A∨B)→C\?A→C证：①(A∨B)→CP\?A→C②?(A∨B)∨C①Impl③(?A∧?B)∨C②DeM④(?A∨C)∧(?B∨C)③Dist⑤?A∨C④∧-⑥A→C⑤Impl第35页，共60页，星期日，2025年，2月5日作业一、运用真值表方法,判定下列命题是不是等值命题。l．如果这匹马儿不吃饱草,那么这匹马儿不能跑。2．或者这匹马儿吃饱草,或者这匹马儿不能跑。3．既要这匹马儿跑,又要这匹马儿不吃饱草,这是办不到的。1.?p→?q；2.p∨?q；3.?(q∧?p)。第36页，共60页，星期日，2025年，2月5日4.4证明的方法一推理有效性的形式证明(一)条件证明规则有了基本推导规则和等值替换规则还不足以为所有有效的复杂推理建立形式证明，例如下列推理A→（B→C）\∴（A→B）→（A→C）这个推理是有效的，但要证明其有效性还需要引入新的推理规则。因此我们引入条件证明规则C.P。引入这条规则还有一个作用，即可以简化证明过程。第37页，共60页，星期日，2025年，2月5日4.4证明的方法条件证明规则的根据：有效推理的逻辑特征是：前提真时结论必真，不存在有使其前提真而结论假的例示。如果我们以有效推理的前提的合取为前件，结论为后件构造一个蕴涵式，那么这个蕴涵式就不可能前件真而后