第1章-数理逻辑-1.pptx

离散数学;绪 言;;离散数学的定义;;;;;第一章 数理逻辑 ;“数理逻辑之歌” ;1.1 命 题 ;例 1： 下述都是命题: (1) 今天下雪; (2) 3+3=6; (3) 2 是偶数而 3 是奇数; (4) 陈涉起义那天, 杭州下雨; (5) 较大的偶数都可表为两个质数之和。;例 2 下述都不是命题: (1) x+y＞4。 (3) 真好啊! (2) x=3。 (4) 你去哪里? ; 例 3 一个人说:“我正在说谎”。;原子命题（或本原命题）： 若一个命题已不能分解成更简单的命题。 ;如 用P表示“4 是质数”, 则记为 ： P： 4 是质数。 ;判断下列哪些是命题？; 1.1.2 命题联结词 复合命题：命题和原子命题常可通过一些联结词构成的新命题。;1. 否定词 ;“这些都不是男同学” 。;2. 合取词 ∧; 例 5-1 P：王华的成绩很好 Q：王华的品德很好 P∧Q：王华的成绩很好并且品德很好;3. 析取词∨ 如果P和Q是命题， 则“P或Q”也是一命题， 记作 P∨Q，称为P和Q的析取 。; 例 6-1 P： 今晚我写字, Q：今晚我看书。 P∨Q：今晚我写字或看书 ;“或”字常见的含义有两种： 一种是“可兼或”;4. 蕴涵词 → (涵常简写作含) ; 如果桔子是紫色的， 那么大地是不平的。;蕴含式P→Q可以用多种方式陈述： “若P, 则Q” “P是Q的充分条件” “Q是P的必要条件” “Q每当P” ，“Q当P” “P仅当Q” 。;; 5. 等值词 如果P和Q是命题, 那么“P等值于Q”也是命题, 记为 P Q ，称为等值式;比较蕴含式和等值式的真值表; 命题联结词是命题间的联结词而不是名词或形容词间的联结词。;例如：( ((P∧ Q)∨R)→((R∨P)∨Q)) 可写成：  (P∧ Q∨R)→R∨P∨Q ; 例 8 (1) 设 P 表示“他有理论知识”, Q 表示“他有实践经验”, 则“他既有理论知识又有实践经验” 可译为:; (i) “如果明天不是雨夹雪则我去学校”可写成 ： (P∧Q)→R (ii) “如果明天不下雨并且不下雪则我去学校”可写成 ：  P∧ Q→R (iii) “如果明天下雨或下雪则我不去学校”可写成 ; P∨Q→ R; (P∧Q→R)∧( P∧Q→R )∧( P∧Q→R )∧( P∧Q →R ) ; ( P ∨ Q); (4) 用逻辑符表达“若不是他生病或出差了， 我是不会同意他不参加学习”。 ; 1.1.3 命题变元和命题公式 命题变元：以“真” 、 “假”为其变域的变元。;命题公式 (简称公式)：由以下形成规则生成的公式： (1) 单个原子公式是命题公式。 (2) 如果A和B是命题公式, 则(A) , (A∧B) , (A∨B) , (A→B) , (AB)是命题公式。 (3) 只有有限步应用条款(1)和(2)生成的公式才是命题公式。 ;例 9 (2) ;;逻辑等价命题：两个命题公式, 如果有相同的真值。 (2) 证明 P Q 与 是逻辑等价命题。 证 用真值表 ;;问题： 对有n个命题变元的命题公式 A (P1, P2, …, Pn) ，命题变元的真值有 （ ）种不同的组合。;例如 P∧ P;重言式的特点： ;;重言式的特点： ;注意：  与 意义不同;常 用 的 逻 辑 恒 等 式 ;E6 : ? 结合律：;德?摩根定律 E10 :;蕴含表达式 E