离散数学课件：Propositional Logic.pptxVIP

命题逻辑Propositional Logic亚里斯多德公元前384—公元前322命题 (Proposition)命题是一个陈述事实的语句，它或真或假，但不能既真又假我们可用字母表示命题，例如? 昨天下雨注：常用来表示命题的字母有：, ?一个用来表示某个命题的字母，称为 命题变元 (propositional variable)?命题的真值 (the truth value of a proposition)：表示一个命题是真还是假若命题 为真，则称 的真值为真 (True)，用 表示若命题 为假，则称 的真值为假 (False)，用 表示联结词Connective / Logical Operator复合命题 (compound proposition)：若一个命题包含联结词 (connective)，则称为复合命题否定 (negation)?设 为一命题， 的否定，记成 (读作 ‘非 ’)，表示命题 “ 为假”? 的真值：若 为真，则 为假；若 为假，则 为真? 的 真值表 (truth table)真值表 (truth table)：列出命题变元的真值的每一种情况，相应的复合命题的真值?：小明的电脑用 Linux 系统：?小明的电脑不是用 Linux 系统合取 (conjunction)?设 , 都是命题， 和 的合取 (the conjunction of and )，记为 ，表示命题“ 并且 ”? 的真值：当 和 都是真时， 为真，否则为假?The truth table of ：小明很聪明??：小明很用功?：小明很聪明，并且小明很用功：小明很聪明并且很用功?析取 (disjunction)?设 , 都是命题， 和 的析取 (the disjunction of and )，记为 ，表示命题“ 或 ”? 的真值：当 , 同时为假时， 为假，否则为真?The truth table of ：小明很聪明??：小明很用功?：小明很聪明，或者小明很用功：小明很聪明或很用功?Exclusive Or (异或)?设 , 都是命题， 和 的异或 (the exclusive of and )，记为 ，表示命题“ 与 恰好有一个为真”? 的真值：当 与 恰好有一个为真， 为真，否则为假?: 小明是班干部: 小红是班干部??: 小明和小红这两人的其中一个是班干部条件语句 (Conditional Statements)?设 , 都是命题，条件命题 ，表示命题“ , 则 （即 若 为真，则 一定为真）”。 称为假设 (hypothesis)， 称为后件 (conclusion)? 的真值：若 为真而 为假时， 为假，否则为真?: 小明学习离散数学: 小明会找到好工作??: 如果小明学习离散数学，那么小明会找到好工作例子?设 是集合 上的关系 是 传递的 (transitive)：??对任意的 ，都成立??设 是 上的关系?则对任意的 ? 为真 (因为此时 假设为假) 所以 是传递的?双条件语句?设 , 都是命题，双条件命题 读作 “ 当且仅当 ” ? 的真值：当 和 有同样的真值时 为真，否则为假? 的真值表联结词的优先级优先级联结词总是可以通过加括号的方式来得到我们想要的运算顺序构造复合命题的真值表?构造 的真值表将语句翻译成逻辑表达式Translate a sentence into a logical expression将下列语句翻译成逻辑表达式 (Translate The following sentence into logical expression)(1) 小王是游泳冠军或百米赛跑冠军 ?令 : 小王是游泳冠军；小王是百米赛跑冠军Logical Expression：?(2) 如果我上街，我就去书店看看，除非我很累? 我上街； 我去书店看看；: 我很累?Logical Expression：命题的等价?设 是命题。 与 等价指的是 可以推出 ， 也可以推出 ? 与 等价可用联结词表达为 命题等价的另一个描述方式：若命题 与命题 的真值 (truth value) 相同 (即 与 同时为真或同时为假)，则称命题 与命题 等价?等价的命题可以在推导过程中随便换用?(i) 大于 (ii) 小于 ?(1) 小明很高而小红很瘦(2) 小红很瘦而小明很高令 小明很高， 小红很瘦??(1) 可符号化为：；(2) 可符号化为：?无论 ， 的真值 (truth value) 如何， 与 的真值都一致。由此可得到句 (1) 与句 (2) 必等价复合命题的逻辑等价 (Logically Equivalence)