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

《自考离散数学命题演算笔记》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、自考离散数学命题演算笔记本章的重点是命题概念及其表示、命题公式化简、主范式及其互化、P规则、T规则以及CP规则。难点是推理理论及应用。一、命题概念(领会)学习本章首先要深刻理解命题的概念。理解原子命题与复合命题的关系，在了解复合命题的基础上，理解联结词的定义。命题：具有唯一真值的陈述句称为命题，又简称语句。注意，这里有两个条件，首先它是一个陈述句，其次，它具有唯一的一个真值。真值：就是语句为真或假的性质。一个语句的真值可以为真也可以为假。真值不是说该语句的值必为真。任一命题必有其真值，也称这个命题的值。既然是命题了，那

2、它必有一个确定的真值，不管这个真值为真还是为假。当一个陈述句能够分辩其值的真假时(也就是说，总可以肯定是其中的某一个)，它就是命题，即使我们不知道它是真还是假。另外要理解命题常量、命题变元及指派的含义。复合命题就是一些原子命题经过一些联结词复合而成的命题。常用的联结词有：(1)否定、(2)合取、(3)析取、(4)条件、(5)双条件复合命题与联系词是密切相关的，不包含联结词的命题就是原子命题，至少包含一个联结词的命题才是复合命题。复合命题的真值只取决于构成它们的各原子命题的真值，而与它们的内容含义无关。对联结词所联结的两

3、原子命题之间有无关系无关。(这一条很重要，因为一个命题用自然语言表达时，我们往往会受到自然逻辑的影响，比如"我如果不上班，那么天下雨"这种命题，在自然的逻辑里，是不成立的，一个人不上班怎么会导致天下雨呢?但是在这里，这个复合命题的值实际上是由两个原子命题的真值决定的，与它的含义无关，这个复合命题是

4、P->Q,前一个原子命题的真值为假，后一命题值为真，根据条件的定义，这个复合命题值为真)∧、∨、←→具有对称性，

5、、→无对称性，(教材提示，也可用iff表示双向箭头←→，由于字符集的限制，本网页在表示否定关联词时用"

6、"，请

7、在书写时注意规范写法。对称性是指真值表中复合命题的真值与原子命题的真值之间的关系。)命题公式与命题不同，在一个由命题标识符组成的式子中，如果标识符表示确定的命题，则该式就是命题。如果标识符只表示命题的位置，可由任何命题代替，则该式子就为命题公式。命题变元P用特定命题替代时，称为对P的指派。不是所有由命题变元、联结词及有关括号组成的字符串都能成为命题公式。要成为一个命题公式(合式公式)，应当符合规定。这个规定是：(1)单个命题变元本身是一个合式公式。(2)如果A是合式公式，那么

8、A是合式公式。(3)如果A和B是合式公式，

9、那么(A∧B)、(A∨B)、(A→B)和(A←→B)都是合式公式。(4)当且仅当有限次地应用(1)(2)(3)所得到的包含命题变元、联结词和圆括号的符号串是合式公式。总的理解就是说，单个命题变元是合式公式，由合式公式作为命题变元，有限次地运用联结词及括号组成的符串才能是合式公式。即命题公式，简称公式。命题变元只有进行指派后才可能确定其所在命题公式的真值。当一个命公式中的所有命题变元用一组真值指定后，就称为对命题公式的指派。想一想，什么是真指派、什么是假指派?这个比较简单。一个命题的真值表应该列出其所有指派的取值情况。一

10、般来说，由n个命题变元组成的命题公式共有2n种真值情况。联结词的简化，按照两个等价的命题公式，可以看到一个有较多联结词的公式可以简化为含有一个联结词的公式。这里有两个等值公式应当记一下：(

11、P∨Q)<=>(P→Q)我们要弄清什么是"重言式(永真式)"、什么是"矛盾式(永假式)"以及"可满足式"。这其中涉及到指派及命题公式的取值，容易理解。课本中表1.3.6列出的常用的命题公式等价定理应该记住的.二、等价变换(简单应用)当两个合式公式中相应变元的任一种真值指派情况下，这两个公式的真值均相同，则这两个合式公式是等价的。可以

12、相互置换。有两个命题公式A、B，A<=>B，当且仅当A←→B为一重言式(永真式)。这是什么意思呢?就是说，如果有两个命题A、B，只有在命题公式(A←→B)(双条件式)的值是永真的时候，这两个命题才是等价的。蕴含式又称永真条件式。永真条件式更清楚地表达了它的定义，就是一个条件式P→Q，当且仅当它是重言式时，就称P蕴含Q(P=>Q)。什么时候P→Q不是蕴含式呢?很明显，当P为真、Q为假时，它不是一个蕴含式。蕴含式有四个性质：(1)对任意公式A,有A=>A，即公式蕴含本身。(2)对任意公式A，B和C，若A=>B、B=>C则A

13、=>C。(3)对任意公式A，B和C，若A=>B、A=>C则A=>(B∧C)证明如下：如果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