离散数学-09.pdfVIP

离散数学 Discrete Mathematics 宋牟平songmp@zju.edu.cn 玉泉校区行政楼325 第九章 命题逻辑 9.1 命题和命题联结词 命题：能判断真假的陈述句。要点：能判断真假，陈述句。 例 系 电 信 院 学 息 信 学 大 江 浙 （1）我正在说谎。 （2 ）本命题是假的。 （3 ）1+1=2。 （4 ）2+2≥5 。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 （5 ）太阳系外有宇宙人。 （6 ）x+y≥7 。 命题一般用大写字母表示：A 、B 、C … 。 原子命题：能判断真假的简单陈述句。 为了进行逻辑判断和推理，常常需要将若干简单陈述句用联结词构成复合句， 例如： A：他既会跳舞，又会唱歌。 不仅…，而且…；既… ，又…。 系 电 信 院 学 息 信 学 大 江 浙 B：如果图中任意两点间有唯一一条真路相连，那么它是树。 如果…，那么…。若…，则…。 C： x∈A或x∈B。 或者…，或者…。 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 面图。 D：当且仅当一个图没有在度2结点内与库氏图同构的子图时，它是平 当且仅当…。 这些词称逻辑联结词，复合句为复合命题。 复合命题：由若干原子命题通过逻辑联结词构成的新命题。 常用的逻辑联结词 （1）否定¬：P为命题时，P 的否定为新命题，记¬P ，读作“非P” 。表示“没有”、“不”、 “非”等否定词。 （2 ）合取∧：当且仅当命题P和Q为真时，新命题P∧Q为真。读作“P且Q” 。 表示“不仅…，而且…”、“既… ，又…”等。 系 电 信 院 学 息 信 学 大 江 浙 （3 ）析取∨：当且仅当命题P和Q 中一个为真时，新命题P∧Q为真。读作“P或Q” 。 表示“或者…，或者…”。 （4 ）蕴含→：当且仅当命题P为真和Q为假时，新命题P→Q为假。读作“如果P ，则 Q” 。 表示“如果…，那么…”、“若…，则…”，P可看作Q成立的充分条件，Q可看作P成立 平 牟 宋 所 究 研 统 系 与 术 技 息 信 子 电 的必要条件。 （5 ）等值↔：当且仅当命题P和Q 同为真或同为假时，新命题P↔Q为真。读作“P当 且仅当Q” 。 表示“当且仅当…”、“…和…一样”，P和Q互为充分必要条件。 逻辑联结词从代数系统角度看，就是运算，称逻辑运算。 真值表：五种联结词为五种运算，命题有两个值真和假，用1和0表示，则运算表 就是大家非常熟悉的真值表 P Q