三 命题逻辑 离散数学 技术方案.pptVIP

理学院信息与计算科学系 主讲 凌卫新;《离散数学》课程的重要性;;《离散数学》课程的主要内容;本课程的要求;吴文俊(1919-)——数学机械化;第1章 命题逻辑 ;1.1 命题符号化及联结词 ;1.1 命题符号化及联结词 ;命题的分类 ;简单命题符号化 ;联结词;联结词; 例: 将下列命题符号化 ;联结词;联结词;4. 蕴涵? 定义: 设 p、q为二命题，复合命题 “如果p，则q” 称作p与q的蕴涵式，记作p?q，并称 p是蕴涵式的前件， q为蕴涵式的后件. ?称作蕴涵联结词， p是q的充分条件，q是p 的必要条件。 常见错误—— 不分充分与必要条件或混淆充分与必要条件;“如果 p，则 q ” 的不同表述法很多 若 p，就 q 只要 p ，就 q p 仅当 q 只有 q 才 p 除非 q, 才 p 除非 q, 否则非 p;（1）只要不下雨，我就骑自行车上班。 （2）只有不下雨，我才骑自行车上班。;联结词;联结词;联结词举例;1.2 命题公式及分类;; 例如：命题公式 A=（p ? q） ? r 若 p: “2是素数”， q: “3是奇数”， r:“4能被2整除” 则A为真命题。 若 p: “2是素数”， q: “3是奇数”， r为:“3能被2整除” 则A为假命题。;公式的赋值 ;真值表 ;公式 A= (q?p) ?q?p 的真值表;公式 B= ? (?p?q) ?q 的真值表;公式 C= (p?q) ??r 的真值表;作业1