[离散数学课件-乔维声]第1章命题逻辑.pptVIP

第1章 命题逻辑 1.1 命题与命题公式 1.2 重言式 1.3 命题演算的推理规则和证明方法 1.4 命题公式的标准形式 1.5 其他联结词 习 题 1 1.1 命题与命题公式 1.1.1 命题 人们的思维活动是靠自然语言来表达的。 然而, 由于自然语言易产生二义性, 用它来表示严格的推理就不合适了。 为了解决这个问题, 在数理逻辑中引进了一种形式化的语言, 这是一种符号语言。 定义 1.1―1 命题是能判断真假的陈述句。 例1 判断下列句子是不是命题: (1) 人的血液是白色。  (2) 上海是中国的一座城市。  (3) 今年春节真热闹啊！ (4) 天在下雨。  (5) 你上网了吗？ (6) 火星上有人。  (7) 王琳是学生党员。 (8）6x+3=5-7x 定义 1.1―2 不能再分解为其他命题的命题叫原子命题。 ?原子命题中的“原子”取原子的“不可再分”之意, 它是最基本的命题, 相当于自然语言的简单陈述句。 例１中除第７句外的４个命题都是原子命题, 而第７句由原子命题“王琳是学生”和“王琳是党员”组成。 例２ 下面的命题由哪些原子命题组成: (1) 只要明天天气好, 我就去春游。 (2) 如果10是一个大于１的整数, 则10的大于１的最小因数一定是素数。 解 (1) 有两个原子命题C和D, 其中 C: 王斌贫穷。 D: 王斌快乐。 (2) 有两个原子命题C和D, 其中 C: 明天天气好。 D: 我去春游。 (3) 有两个原子命题M和N, 其中 M: 10是一个大于１的整数。 N: 10的大于１的最小因数是素数。 1.1.2 命题联结词 ? 定义 1.1―3 若Ｐ是一个命题, 则由否定词┐和命题Ｐ组成的复合命题┐Ｐ称为Ｐ的否定式, 读作“非Ｐ”。 ┐Ｐ的真值定义为 ┐P为真 iff 符号iff表示“当且仅当”。 Ｐ为假 命题┐Ｐ和Ｐ的关系可以用表1―1表示。 表1―1称为┐Ｐ的真值表。 定义 1.1―4 若P, Q是两个命题, 则由合取词∧和命题P, Q 组成的复合命题P∧Q称为P, Q的合取式, 读作“P且Q”。 P∧Q的真值定义为 P∧Q为真 iff P, Q都为真 因此, P, Q同时为假或一真一假时, P∧Q都为假。 复合命题P∧Q的真值表如表1―2 所示。 合取词∧是自然语言中的连接词“并且”、 “和”、 “及”等的逻辑抽象。 例４ 设有命题P, Q为 P: 李红喜欢看小说。 Q: 李红喜欢画画。 则P, Q的合取式P∧Q为 P∧Q: 李红喜欢看小说和画画。 或 P∧Q: 李红喜欢看小说又喜欢画画。 定义 1.1―5 若P, Q是两个命题, 则由析取词∨和命题P, Q组成的复合命题P∨Q称为P, Q的析取式, 读作“P或Q”。 P∨Q的真值定义为 P∨Q为真 iff P, Q至少有一个为真 因此只有P, Q同时为假时, P∨Q才为假。 复合命题P∨Q的真值表如表1―3。 析取词∨是自然语言中的连接词“或者”等的逻辑抽象。 例５ 以例４的两个命题P, Q为例, 析取式P∨Q为 P∨Q: 李红喜欢看小说或喜欢画画。 例６ 设有命题A, B为 A: 老王在教室里上课。 B: 老王参加长跑比赛。 那么, 命题“老王在教室里上课或者参加长跑比赛”能否表示为析取式A∨B呢？ 解 要回答这个问