离散数学(高教)概念整理.pdfVIP

学习资料收集于网络，仅供参考 数理逻辑 命题逻辑 命题 p,q,r,s…… 非真即假的陈述句 命题的真值 0 1 命题的陈述句所表达的判断结果 原子命题（简单命题） 不能被分解成更简单的命题 简单命题通过联结词联结而成的命题，称为复合命题 命题的符号化 p: 4 是素数 用小写英文字母（如 p:4 是素数）表示命题。 用小写英文字母（如 p:4 是素数）表示原子命题，用联结词联结原子命题表示复合命题。 联结词 否定连接词 ￢ 否 p 为真当且仅当 p 为假 合取联结词 ∧ p 合取 q 为真当且仅当 p，q 同时为真（复合命题“ p 并且 q ”称为 p 与 q 的合取式） 析取联结词 ∨ p 析取 q 为假当且仅当 p，q 同时为假（复合命题“ p 或 q ”称为 p 与 q 的析取式） 学习资料 学习资料收集于网络，仅供参考 蕴含连接词→ p 蕴含 q 为假当且仅当 p 为真， q 为假。 （复合命题“如果 p,则 q ”（因为 p 所以 q ，除非 q 才 p ）称为 p 与 q 的蕴含式， p 是蕴含式