离散数学1.1-2选编.ppt

离散数学;主要内容;数理逻辑部分;第1章 命题逻辑 ;1.1 命题符号化及联结词 ;命题与真值 ; ;;命题的分类 ;简单命题符号化 ;联结词与复合命题 ; ; 例 ;联结词与复合命题;解 令 p:2是素数, q:3是素数, r:4是素数, s:6是素数, 则 (1), (2), (3) 均为相容或（允许同时为真）. 分别符号化为: p∨r , p∨q, r∨s, 它们的真值分别为 1, 1, 0. ;例 （7）小王现在在宿舍或图书馆里. 令v :小王在宿舍,w:小王在图书馆 则 (7) 符号化为 v∨w; 定义 设 p,q为二命题，复合命题 “如果p,则q” 称作p与q的蕴涵式，记作p?q，并称p是蕴涵式的前件，q为蕴涵式的后件. ?称作蕴涵联结词，并规定，p?q为假当且仅当 p 为真 q 为假. 注意：1. p与q不一定有内在联系 2. 前件p为假时， p?q为真 ;p?q 的逻辑关系： p为 q 的充分条件，q 为 p 的必要条件 “如果 p，则 q ” 的不同表述法很多： 若 p，就 q 只要 p，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 或 除非 q, 否则非 p， 常出现的错误：不分充分与必要条件; ;定义 设p，q为二命题，复合命题 “p当且仅当q”称作p与q的等价式，记作p?q，?称作等价联结词.并p?q规为真当且仅当p与q同时为真或同时为假. 说明: (1) p?q 的逻辑关系:p与q互为充分必要条件 (2) p?q为真当且仅当p与q同真或同假 (3) p ? q与(p ? q)?(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.2 命题公式及分类;命题变项与合式公式 ;合式公式的层次 ;合式公式的层次 ;公式的赋值 ;真值表 ;例 B = ? (?p?q) ?q 的真值表;例 C= (p?q) ??r 的真值表;公式的类型