第1章离散数学命题逻辑选编.ppt

数理逻辑概述;推论 ：每个X都是Y，一些Z是X，因此一些Z是Y 填入内容：每个传记作者都是作家，有些政治家是传记作者，因此，有些政治家是作家 在上述推理中，论证的合理性与内容无关，而是由一般形式的逻辑正确性来保证的 推论中的X，Y和Z表明了插入语句的位置，在数理逻辑中称为“逻辑变量”;第1章 命题逻辑;学习要求 ⒈深刻理解命题、逻辑连接词以及复合命题的概念。⒉深刻理解公式及其解释的概念。⒊深刻理解原子、公式的永真性、永假性、可满足 性。? ⒋掌握用基本等价公式对公式进行等价变换的方 法。? ⒌深刻理解公式范式的概念。? ⒍熟练掌握用主析取范式判断任意两个公式是否等 价的方法。⒎掌握命题逻辑的判定方法。⒏掌握形式演绎的方法。 ;1.1 命题符号化与联结词;问题：如何判断句子是命题？（P1） 如何判断命题的真值？ 例： P1［例1.1］;三 、联结词与复合命题符号化 1.联结词;定义1.1 设p表示一个命题，由命题联 结词?和命题p连接成? p，称? p为 p的否定式复合命题， ? p读“非p” 。称? 为否定联结词。 ? p是真，当 且仅当p为假； ? p是假，当且仅当p 为真。否定联结词“?”的定义可由 表1.1表示之。 ;定义1.2 设p和q为两个命题，由命题联结词∧将p和q连接成p∧q，称p∧q为命题p和q的合取式复合命题，p∧q读做“p与q”，或“p且q”。称∧为合取联结词。当且仅当p和q的真值同为真，命题p∧q的真值才为真；否则，pP∧q的真值为假。合取联结词∧的定义由表1.2表示之。 ;p与q的合取表达的逻辑关系是：p与q两个命题同时成立。因而自然语言中“既……又……”，“不仅……而且……”，“虽然……但是 ……”等，都可以符号化为∧;定义1.3 设p和q为两个命题，由命题联结词∨把p和q连接成p∨q，称p∨q为命题p和q的析取式复合命题，p∨q读做“p或q”。称∨为析取联结词。当且仅当p和q的真值同为假，p∨q的真值为假；否则，p∨q的真值为真。析取联结词∨的定义由表1.3表示之。;析取式p ∨ q表示的是一种相容或，即允许p与q同时为真 自然语言中的或具有二义性，即有时表现为相容或，有时表现为排斥或 例;定义1.4 设p和q为两个命题，由命题联结词→把p和q连接成p→q，称p→q为命题p和q的蕴涵式复合命题，简称条件命题。p→q读做“p蕴涵q”或者“如果p则q”。称→为蕴涵联结词。 当p的真值为真而q的真值为假时，命题p→q的真值为假；否则，p→q的真值为真。条件联结词→的定义由表1.4表示之。;在蕴涵命题 p→q 中，命题p称为 p→q 的前件或前提，命题q称为p→q的后件或结论。p→q 表示的基本逻辑关系是：“p是q的充分条件”或“q是p的必要条件”。 条件命题p→q有多种方式陈述： “如果p，那么q”；“只要p，就q”： “p仅当q”；“只有q才p”；等。 ;在日常生活中，用条件式表示前提和结论之间的因果或实质关系，这种条件式称为形式条件命题。然而在命题逻辑中，一个条件式的前提并不要求与结论有任何关系，这种条件式称为实质条件命题。采用实质条件式作定义，不单是出于“善意推断”，主要是因为前提与结论间有无因果和实质关系难以区分，而且实质条件式已包含了形式条件式，更便于应用。 因此在数理逻辑中，p与q不必一定有内在必然联系;只要天不下雨，我就骑自行车上班 只有天不下雨，我才骑自行车上班 若2+2=4，则太阳从东方升起 如果明天天气晴朗，我们就去郊游;定义1.5 令p、q是两个命题，由命题联结词?把p和q连接成p ? q，称p ? q为命题p和q的等价式复合命题，简称等价命题，p ? q读做“p当且仅当q”，或“p等价q”。称?为等价联结词。当p和q的真值相同时，p ? q的真值为真；否则，p ? q的真值为假。等价联结词?的定义由表1.5表示之。;2.复合命题的符号化（重点内容） 步骤： (1) 分析出各简单命题，将它们符号化； （2）分析各简单命题之间的关系，选择使用合适的联结词，把简单命题逐个联结起来，组成复合命题的符号化表示； 例： P4 ［例1.6］;1.2 命题公式及分类 ; 命题公式和合式公式的概念： 命题公式：从形式上看，命题公式由命题常元（常值命题）、命题变元（命题变项）和括号经命题联结词构成的字符串，但这个字符串必须按一定的规则构成，即它是合式公式 合式公式：经定义的，有规则可循的命题公式。通常我们将合式公式称为命题公式;定义1.6 合式公式是由下列规则生成的公式： ①单个命题常元或变元是合式公式。 ②若A是一个合式公式，则(?A)也是一个合式公式。 ③若A、B是合