(北大)数理逻辑课件 离散数学幻灯片课件.pptVIP

离散数学;数理逻辑部分;第1章 命题逻辑 ;1.1 命题符号化及联结词 ;命题与真值 ;命题的分类 ;简单命题符号化 ;联结词与复合命题 ; ; 例 (续) ;联结词与复合命题(续);解 令 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 , 为什么? ;例 （6）选小王或小李中的一人当班长. 解 令 t :小王当班长，u:小李当班长 则 (6) 符号化为 (t∧?u) ∨(?t∧u). 例 （7）小王现在在宿舍或图书馆里. 令v :小王在宿舍,w:小王在图书馆 则 (7) 符号化为 v∨w;联结词与复合命题(续);p?q 的逻辑关系： p为 q 的充分条件，q 为 p 的必要条件 “如果 p，则 q ” 的不同表述法很多： 若 p，就 q 只要 p，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 或 除非 q, 否则非 p， 常出现的错误：不分充分与必要条件; ;联结词与复合命题(续);例 求下列复合命题的真值 (1) 2 + 2 ＝ 4 当且仅当 3 + 3 ＝ 6. (2) 2 + 2 ＝ 4 当且仅当 3 是偶数. (3) 2 + 2 ＝ 4 当且仅当 太阳从东方升起. (4) 2 + 2 ＝ 4 当且仅当 美国位于非洲. (5) 2 + 2 ≠ 4 当且仅当3不是奇数. （6）两圆面积相等当且仅当它们的半径相等. 它们的真值分别为 1，0，1，0，1, 1;;联结词与复合命题(续);1.2 命题公式及分类;命题变项与合式公式 ;合式公式的层次 ;合式公式的层次 (续);公式的赋值 ;真值表 ;例 B = ? (?p?q) ?q 的真值表;例 C= (p?q) ??r 的真值表;公式的类型