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

数理逻辑 命题逻辑 命题 p,q,r,s... 非真即假的陈述句 命题的真值01 命题的陈述句所表达的判断结果 原子命题 简（单命题） 不能被 解成更简单的命题 简单命题通过联结词联结而成的命题，称为复合命题 命题的符号化p：4 是素数 用小写英文字母 （如 p：4 是素数 ）表示命题 。 用小写英文字母 （如 p：4 是素数 ）表示原子命题，用联结词联结原子命题表示复合命题。 联结词 否定连接词 「 否 p 为真当且仅当p 为假 合取联结词八 P 合 取 q 为真当且仅当p，q 同时为真 （复合命题 “p 并且q”称 为 p 与 q 的合取式） 析