离散数学复习1.pptVIP

第一篇 数理逻辑 第一章 命题演算 第二章 谓词演算 第一章 命题演算 1.1 命题及联结词 1.2 命题变元与命题公式 1.3 命题演算的公式 1.4 其他联结词 1.5 范式 1.6 命题演算的推理 1.1 命题的概念 在数理逻辑中，能判断真假但不能既真又假的陈述 句称为命题。 对命题的判断结果称为命题的真值。 真值只能取两个值：真(Ｔ或1)或假(Ｆ或０)。 真值为真的命题称为真命题，真值为假的命题称为假命题。 例:判断下列语句是否是命题 （1）中国是一个国家。 （2）所有素数都是奇数。 （3）3是奇数。 （4）雪是黑色的。 （5）地球外的星球上也有生物。 （６）a是大于1的数。 （７）你去哪里？ （８）全体立正！ （９）请进来！ （10）x+y10 命题的类型 原子命题：也称为原始命题或简单命题，也就是自然语言中的简单句。 复合命题：由几个简单命题通过联结词构成的复杂命题。 例:(1)你看书，我也看书。 (2)灯泡有故障或开关有故障。 (3) 如果你不去，那么我也不去了。 命题的表示 习惯上，用英文大写字母A,B,…,P,Q,…或者用带下标的大写字母来表示命题，这些符号称为命题标识符。 例如： A:中国的首都是北京。 B:9为素数。 C：若数a是4的倍数，则它一定是2的倍数。 命题变元 命题变元：一个任意的没有赋予具体内容的命题。 例如，用P表示任意的命题，则P是命题变元，当P用具体命题如“所有素数都是奇数”代入后，P就表示命题“所有素数都是奇数”。 命题变元没有确定真值，只有当命题变元用一个具体的命题“代入”时，它才有确定的真值。 指派：用一个具体的命题“代入”命题变元，也称为对命题变元进行指派。 联结词 要求掌握各联结词所表示的含义、符号、真值表。 1.否定 2.合取：相当于 3.析取：相当于|| 4.条件 5.双条件 联结词 1.否定 定义 设P是命题，P的否定“非P”也是一个命题，记作﹁ P。 ﹁称为否定联结词。 当P的真值为T时，﹁ P的真值为 。当P的真值为F时，﹁ P的真值为 例 设P：张三是上海人。 则﹁ P：张三不是上海人。 2.合取 2.合取（“与”、“和”、“并且”） 定义 设P,Q是命题，复合命题“P并且Q” 称为Ｐ与Ｑ的合取式,记作P∧Q， ∧称为合取联结词。 当且仅当P，Q的真值同为T时，P ∧ Q的真值才为T，在其他情况下，P ∧ Q真值都为F。 注意事项: 联结词合取∧的概念和自然语言中的“与” 、“并且” 、“和”的意义不完全相同。 例1：小王是三好学生，小张是三好学生。这两个命题的合取可写作：小王和小张都是三好学生。 例2：小王和小张是好朋友。 它不是两个命题的合取，只能看做是一个命题。 3.析取 3.析取 （“或”） 定义 设P，Q是命题，复合命题“P或者Q” 称为Ｐ与Ｑ的析取式，记作P∨Q。 ∨称为析取联结词。 当且仅当P和Q的真值同为F时，P∨Q的真值才为F，在其他情况下，P∨Q的真值都为T。 4.条件 4.条件 定义 设P，Q是命题，复合命题“如果P，则Q” 称为Ｐ与Ｑ的条件式， 记作P → Q。 →称为条件联结词。 并称P为前件，Q为后件。 当且仅当P的真值为T，Q的真值为F时，P→ Q的真值才为F，其他情况，P→Q的真值都为T。 注意事项： 某位姓李的人说：“如果太阳从西边出来，我就不姓张。”他说的这个命题是对是错？ 汉语中常用的关联词 “既…又…” 、 “不但…而且” 、“虽然…但是”等联结而成的复合命题是合取式。 “只要P就Q” ，“P仅当Q” ，“因为P，所以Q”，“只有Q才P”，“除非Q才P”等联结而成的复合命题是条件式。都表示P→Q。 联结词 5.双条件 定义 设P，Q是命题，“P当且仅当Q”称作“当且仅当命题”记作， 。 当P和Q的真值都为T和F时， 的真 值为T，否则 的真值为F。 联结词的优先级 联结词可以看做是命题或命题变元的运算符，其运算顺序为： 句子形式化（符号化） 例：只有你主修计算机科学