自考离散数学命题演算笔记.docxVIP

经典word整理文档，仅参考，双击此处可删除页眉页脚。 本资料属于网络整理，如有侵权，请联系删除，谢谢！ 自考离散数学命题演算笔记 本章的重点是命题概念及其表示、命题公式化简、主范式及其互化、P规则、T规则以 及 CP规则。难点是推理理论及应用。 一、命题概念(领会) 学习本章首先要深刻理解命题的概念。理解原子命题与复合命题的关系，在了解复合命 题的基础上，理解联结词的定义。 命题：具有唯一真值的陈述句称为命题，又简称语句。注意，这里有两个条件，首先它 是一个陈述句，其次，它具有唯一的一个真值。 真值：就是语句为真或假的性质。一个语句的真值可以为真也可以为假。真值不是说该 语句的值必为真。 任一命题必有其真值，也称这个命题的值。既然是命题了，那它必有一个确定的真值， 不管这个真值为真还是为假。当一个陈述句能够分辩其值的真假时(也就是说，总可以肯定 是其中的某一个)，它就是命题，即使我们不知道它是真还是假。 另外要理解命题常量、命题变元及指派的含义。 复合命题就是一些原子命题经过一些联结词复合而成的命题。常用的联结词有：(1)否 定、(2)合取、(3)析取、(4)条件、(5)双条件 复合命题与联系词是密切相关的，不包含联结词的命题就是原子命题，至少包含一个联 结词的命题才是复合命题。 复合命题的真值只取决于构成它们的各原子命题的真值，而与它们的内容含义无关。对 联结词所联结的两原子命题之间有无关系无关。(这一条很重要，因为一个命题用自然语言 表达时，我们往往会受到自然逻辑的影响，比如我如果不上班，那么天下雨这种命题，在 自然的逻辑里，是不成立的，一个人不上班怎么会导致天下雨呢? 但是在这里，这个复合命 题的值实际上是由两个原子命题的真值决定的，与它的含义无关，这个复合命题是|P-Q , 前一个原子命题的真值为假，后一命题值为真，根据条件的定义，这个复合命题值为真) ∧、∨、←→具有对称性，|、→无对称性，(教材提示，也可用 iff 表示双向箭头←→， 由于字符集的限制，本网页在表示否定关联词时用|，请在书写时注意规范写法。对称性 是指真值表中复合命题的真值与原子命题的真值之间的关系。) 命题公式与命题不同，在一个由命题标识符组成的式子中，如果标识符表示确定的命题， 则该式就是命题。如果标识符只表示命题的位置，可由任何命题代替，则该式子就为命题公 式。命题变元 P 用特定命题替代时，称为对 P 的指派。 不是所有由命题变元、联结词及有关括号组成的字符串都能成为命题公式。要成为一个 命题公式(合式公式)，应当符合规定。这个规定是： (1)单个命题变元本身是一个合式公式。 (2)如果 A 是合式公式，那么|A 是合式公式。 (3)如果 A 和 B 是合式公式，那么(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。 (4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元、联结词和圆括号的符号串 总的理解就是说，单个命题变元是合式公式，由合式公式作为命题变元，有限次地运用 联结词及括号组成的符串才能是合式公式。即命题公式，简称公式。 命题变元只有进行指派后才可能确定其所在命题公式的真值。当一个命公式中的所有命 题变元用一组真值指定后，就称为对命题公式的指派。想一想，什么是真指派、什么是假指 派? 这个比较简单。 一个命题的真值表应该列出其所有指派的取值情况。一般来说，由 n 个命题变元组成的 命题公式共有 2n 种真值情况。 联结词的简化，按照两个等价的命题公式，可以看到一个有较多联结词的公式可以简化 为含有一个联结词的公式。这里有两个等值公式应当记一下： (|P∨Q)=(P→Q) 我们要弄清什么是重言式(永真式)、什么是矛盾式(永假式)以及可满足式。这其 中涉及到指派及命题公式的取值，容易理解。 当两个合式公式中相应变元的任一种真值指派情况下，这两个公式的真值均相同，则这 两个合式公式是等价的。可以相互置换。 有两个命题公式 A、B，A=B，当且仅当 A←→B为一重言式(永真式)。这是什么意思 呢? 就是说，如果有两个命题 A、B，只有在命题公式(A←→B)(双条件式)的值是永真的时 候，这两个命题才是等价的。 蕴含式又称永真条件式。永真条件式更清楚地表达了它的定义，就是一个条件式P→Q， 当且仅当它是重言式时，就称 P蕴含 Q (P=Q)。什么时候 P→Q不是蕴含式呢? 很明显，当 P为真、Q为假时，它不是一个蕴含式。 如果 A的值为 T，由 A→B、A→C为重言式可得 B为 T、C为 T，此时 B∧C为 T。 如果 A的值为 F，则无论B、C为 T或 F，A→(B∧C)为 T，所以A→(B∧C)是重言式，即 A=(B∧C)。 (4) 对任意公式 A，B和 C，若 A=C、B=C 则 (A∨B)=C 证明如下：