山东理工大学教案第12次.docVIP

第 12 次课 教学课型：理论课 √ 习题课√ 实践课□ 技能课□ 其它□ 主要教学内容（注明：* 重点 # 难点 ）： 第二章 命题逻辑下 第三、四节 复合命题的几种形式及其推理 第三节 命题逻辑的自然演绎系统NP（选讲） 第四节 命题逻辑有效性的判定* 教学目的要求： 1、掌握命题逻辑有效性的判定方法。 2、重点掌握真值表和简化真值表的运用 教学方法和教学手段： 讲授、板书、练习。 讨论、思考题、作业： 1．课后练习题。 2．补充练习题。 参考资料： 1．《普通逻辑》.吴家国主编.上海人民出版社，1999年版. 2．《逻辑学基础教程》.彭漪涟主编.华东师范大学出版社，2005年版. 3．《逻辑学》.姜全吉主编.高等教育出版社，2004年版. 注：教师讲稿附后 第二章 命题逻辑 第三节 命题逻辑的自然演绎系统NP 命题逻辑的推理可以分成自然演绎推理和公理系统推理两大类型。在自然演绎推理中，可以从任意给定的前提出发，用给定的推理规则依照一定的步骤进行推理或演算。在公理系统推理中，只能从系统给定的公理和规则出发证明系统中的定理。命题的自然演绎推理系统是一种可以引进假设性前提的演绎推理。命题的自然演绎推理也是一种形式推理的系统，推理本身表现为一系列符号与符号之间的变形，是符号到符号的演算。我们这里主要讨论命题自然推理 NP系统。 NP系统主要由两大部分构成。一是命题的构成；二是推理或演算。第一部分：命题的构成“命题的构建方法”中包括“初始符号”和“形成规则”。在“命题的构建方法”的基础上，我们再讨论推理或演算的内容。p，“王进有犯罪动机”为q，“王进有犯罪时间”为r，我们就抽象出该命题的逻辑形式 “p →( q ∧ r )” 我们把复合命题的逻辑形式叫做命题公式。因此，从认识论角度看命题公式来源于具体命题。 具体命题不仅有逻辑形式的不同，还有表达内容的不同。 对于如下具体命题 “如果一个公民是完全行为能力人，那么他年满十八周岁并且具有完全的行为能力。” 我们可以抽象出与上述命题相同的逻辑形式“p →( q ∧ r )”，但从内容上看，它们是完全不同的两个命题。 逻辑学注重的是命题的逻辑形式。尽管从认识论的角度看，命题的逻辑形式是从具体命题中抽象出来的，但是从逻辑的角度看，一个命题公式是用基本的逻辑符号构造出来的。 从逻辑的角度考察，上述命题公式“p →( q ∧ r )”是用命题符号p、q、r，逻辑联结词符号→和∧，以及一对括号构造而成的。命题公式中的命题符号我们可以将其仅仅看作构造命题公式的材料，完全不考虑它们究竟代表了什么。因此，从逻辑的角度分析，命题公式只有形式结构上的区分。两个命题公式不相同，一定是因为它们有不同形式结构。不同的形式结构决定了它们各自具有不同的逻辑特征。 构造命题公式的符号是人为创造出来的一种特殊的语言符号。人们创造这些符号是为了表达复合命题的逻辑形式以满足逻辑研究的需要。对于运用这些语言符号构造的表达式，我们只重视它们在形式结构上的区分。因此，我们把这样的语言叫做形式语言。 命题逻辑中命题的构建方法主要包括两部分内容。一是初始符号，二是形成规则。p，q，r，…；p1 ,q1 ,r1 , … ②命题联结词：∧，∨，→，(，┓ ③辅助符号： （， ） 这里的第1类符号是逻辑变元，在命题逻辑中，通常用p、q、r、s……等符号表示命题。由于这些符号可以表示任何具体的命题，因此它们被称为命题变项（或“命题变元”、“逻辑变元” ）。 它们只是抽象的命题代表，如果代表真命题，命题变元可取值为真，如果代表假命题则取值为假。因此我们称1类符号是以真值为定义域的变元。 运用命题联结词将命题变项结合起来，可以构成各种各样的符号式，即命题公式。 第二类符号是逻辑常元，它们有确定的逻辑解释因而能够表达某种确定的真假联系。 第3类符号则是为避免歧义以构造合式命题公式所需要的辅助符号。 如何判定一个表达式是否命题公式？ 所有命题公式都是运用上述初始符号构造出来的。然而，并不是运用初始符号构造出来的符号串都是命题公式。为了把是命题公式的符号串同不是命题公式的符号串区分开来，我们给出如下形式规则： 2、形成规则 ①所有命题变元是命题公式（合式公式A是命题公式，那么(A是命题公式； ③如果A和B是命题公式，那么?A，A∨B，A∧B，A→B，A←→ B 都是命题公式。 ④只有符合以上3条的才是命题公式。 上述第1条规则规定任意一个命题变元是公式，显然这是结构最简单的命题公式，因此被称作原子公式。 第2条规定在一个命题公式左边添加联结词“(”就得到一个新的命题公式。这条规则规定“(”只能作用于一个命题公式，“(”因此被称作一元联结词。 第3