逻辑学第8讲.pptVIP

第三节 归谬赋值法及真值表的作用 一个演绎推理是有效的，当且仅当在任何赋值情况下，它都不会出现前提真而结论假的情况。 有效的演绎推理，它前提的合取蕴涵结论，也正是在这种意义上可以把演绎推理用符合命题的蕴涵式表示： 前提1 ∧前提2 ∧…… ——→ 结论 前提的合取为前件，结论为后件。这样，对演绎推理有效性的检验就可以简化为对蕴涵式是否是重言式的验证。如果它为重言式，则推理是有效的，否则就是无效的。 第三节 归谬赋值法及真值表的作用 例如：验证下面的推理有效 (p → q) ∧ p → q 第三节 归谬赋值法及真值表的作用 例如：验证下面的推理无效 (p ← q) ∧ p → q 第三节 归谬赋值法及真值表的作用 如果对复合命题推理是否有效都这样列出真假值予以判定，尽管可靠，但不简便，尤其对于复杂公式更不简便。因此，人们运用简化的真值表方法，即归谬赋值法予以判定 归谬赋值法思路 假设命题公式是永假式，如果从中不可避免地导出了矛盾，则导出假设应被否定，即命题公式是真的。 例： (p ∨ q) ∧ ? p →q 第三节 归谬赋值法及真值表的作用 真值表的作用 （一）定义作用 (1)定义逻辑联接项的性质，如:?、∧、∨、← 、→、?。 (2)定义命题的类型，如:重言式（永真式）、矛盾式（永假式）、协调式（有真有假）。 （二）判断作用 (1)判定命题间的关系，如： p→q与?(p∧?q) ?p∨q与p→q p→q与p∧?q (2)判定推理是否有效，如： (p→q)∧p→q (p→q)∧q→p 第三节 归谬赋值法及真值表的作用 真值表的作用 （三）总结作用 如通过真值表可总结(p→q)∧p→q，即 当p→q真并且p真时，q必定为真。 又如对于(p→q)∧?q→p，即 当p→q真并且q假时，p必假。 命题形式化及推理 命题形式 命题形式是指由真值联结词和命题变项所构成的形式结构 不关心p、q等符号具体代表哪一个命题，意义是什么，内涵是什么，只关心命题的真假。 全部用形式化的方法来探讨逻辑命题推理的规律——形式逻辑。 命题形式化及推理 命题形式化基本步骤 确定简单命题，一个简单命题用一个字母，将命题变元用字来表示和替换，保证同一个命题用相同的字母进行代换 如果需要，在不改变语句意义的前提下对语句的表面结构进行改动 确定所有的命题联结词，并“由内至外”或“由外至内”一步步将整个语句形式化 命题形式化及推理 命题形式化例子 例1：如果这匹马儿不吃饱草，那么这匹马儿就不能跑 P：这匹马儿吃饱草 Q：这匹马儿跑 ?P → ?Q 例2：如果明天天晴，那么我们明天去爬山，否则，那么我们去游泳。 P：明天天晴 Q：明天去爬山 R：明天去游泳 （P → Q） ∨ （?P → R） 命题形式化及推理 命题形式化例子 例3：只有把9号或者7号换下来，并且把4号或者6号换上场去，甲队才有希望扭转局面 P：9号换下来 Q：7号换下来 R：4号换上去 S：6号换上去 T：甲队有希望 （P ∨ Q） ∧（R ∨ S） ← T T → （P ∨ Q） ∧（R ∨ S） 命题形式化及推理 命题形式化例子 例4：当爸爸、妈妈中只有一个人外出时，儿子可以留在家里。如果爸爸、妈妈都外出，必须找一个保姆，才可以把儿子留在家中。 P：爸爸在家 Q：妈妈在家 R：儿子在家 S：有保姆在家 R → （P ∨ Q） R → （ ? P ∧ ? Q） ∧ S 命题形式化及推理 命题形式化例子 例5：10月6日晚上，张强要么去电影院看电影，要么去拜访朋友秦玲。如果那天晚上张强开车回家，他就没去电影院看电影；只有张强事先与秦玲约定，张强才能去拜访她。事实上，张强不可能事先与秦玲约定。 P：张强去看电影 Q：张强去拜访秦玲 R：张强开车回家 S：张强与秦玲约定 P ∨ Q R → ? P Q → S ? S 命题逻辑的自然演绎方法 自然演绎系统概述 自然演绎推理是对推理有效性判断的又一种方法 基本思想是：确定一些保真性的推理规则，依据这些规则从真前提推出真结论，也就是说如果推理前提真，则结论一定真。 自然演绎推理所依据的只有推理的规则，没有公理。 自然演绎系统的形式推理规则、形式推理关系、形式证明都比较直接和自然地反映了演绎推理过程。 与公理系统相比较，这种推理更接近自然科学，接近一般数学中的演绎推理，接近人们日常思维，因此被称为自然演绎推理 自然演绎推理系统包括： 初始符号、形成规则、定义、推导规则 命题逻辑的自然演绎方法 （一）初始符号 (1)命题变项：p,q,r,s,p1,q1,r1,s1…… (2)联结词：? ? ，∧，∨，→