离散数学精品教学（华南理工大学）1-1 命题逻辑.pptx

;与《离散数学》相关的内容;《离散数学》能解决的问题包括;;王浩(1921-1995)—数学机械化;吴文俊(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;设：p：天下雨。q：我骑自行车上班. s：我上街。 t：我去书店看看。 r：我很累.;联结词;联结词;联结词举例;联结词的应用;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