离散数学chapter11.pptxVIP

1;2;3;4;5;6;7;8;9;10;11;离散数学;数理逻辑部分;有一个仓库被盗，公安人员经侦察，怀疑甲乙丙丁 四人作案。又经细查，知道这四人中只有两人作案。 在盗窃案发生的那段时间，可靠的线索有： 甲乙两人有且只有一个人去过仓库 乙和丁不会同时去仓库 丙若去仓库，丁必一同去 丁若没去仓库，则甲也没去 试判断到底是哪两个人作案呢？;数理逻辑研究中心问题是推理。;第1章 命题逻辑 ;17;命题与真值 ; ;命题;案例：聪明的囚徒;命题的分类 ;简单命题符号化 ;命题符号化;由此我们进一步明确指出： 原子命题是用肯定语气表达的具有真假意义的简单陈述句。 上述例题中。直接令p表示“深圳不是中国的首都”。来做符号化，是不符合要求的。 在上述第2个命题中，如果简单地用一个符号p表示“张三虽然学习努力但成绩并不优秀”做符号化就更不符合符号化的要求了。;命题的分类 ;联结词与复合命题 ;联结词与复合命题 ;例：将下列命题符号化 (2) 张三虽然学习努力但成绩并不优秀。; 例： 将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明，而且用功. (3) 王晓虽然聪明，但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解： 令 p：王晓用功，q：王晓聪明，则 (1) p∧q (2) p∧q (3) q∧?p.; 例 (续) ;联结词与复合命题(续);例：将下列命题符号化。 (1) 2或4是素数。 (2) 2或3是素数。 (3) 4或6是素数。 (4) 小元元只能拿一个苹果或一个梨。 (5) 王晓红生于1975年或1976年。;解：令 p:2是素数, q:3是素数, r:4是素数, s:6是素数, 则 (1), (2), (3) 均为相容或. 分别符号化为: p∨r , p∨q, r∨s, 它们的真值分别为 1, 1, 0. 而 (4), (5) 为排斥或. 令 t :小元元拿一个苹果，u:小元元拿一个梨， 则 (4) 符号化为 (t∧?u) ∨(?t∧u). 令v :王晓红生于1975年,w:王晓红生于1976年,则 (5) 既可符号化为 (v∧?w)∨(?v∧w), 又可符号化为 v∨w , 为什么? ;析取联结词;联结词与复合命题(续);蕴涵联结词; ;联结词与复合命题(续);等价联结词;例： 求下列复合命题的真值 (1) 2 + 2 ＝ 4 当且仅当 3 + 3 ＝ 6. (2) 2 + 2 ＝ 4 当且仅当 3 是偶数. (3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起. (4) 2 + 2 ＝ 4 当且仅当 美国位于非洲. 它们的真值分别为 1，0，1，0.;联结词与复合命题(续);1.2 命题公式及分类;命题变项与合式公式 ;命题变项与合式公式 ;合式公式的层次 ;合式公式的层次 (续);公式的赋值 ;真值表 ;真值表;例： B = ? (?p?q) ?q 的真值表;例： C= (p?q) ??r 的真值表;公式的类型 ;?;p q ;多个命题公式对应一个真值函数。 例如：F13 对应命题公式：p-q ?p?q 因此，需要研究命题公式的等值。