离散数学(数学教育)知识点.docVIP

蕴涵（）：设P, Q是两个命题，，命题“若P，则Q”称为P蕴涵 Q，记作. 规定：是假的当且仅当P是真的而 Q是假的. 二、1．设A是非空集合，R是A上的二元关系，R的自反闭包（对称闭包、传递闭包）满足如下条件： （1）是自反的（对称的，传递的）； （2）； （3）对A上任意包含R的自反的（对称的，传递的）关系，都有. 2．R的自反闭包、对称闭包和传递闭包分别记为，他们分别是包含R的最小（是指元素个数最小）的自反关系、对称关系和传递关系. 3．定理1.2.5：设R是集合A上的关系，则 （1）； （2）； （3）. 三．五个特殊关系： 集合A上的关系R称为自反的（反身的），如果对于每个，都有 对于自反性，有3个命题是等价的：（1）R是自反的；（2）; （3）是自反的. 集合A上的关系R称为对称的，如果xRy，则有yRx，其中. 对于对称性，有2个命题是等价的：（1）R是对称的；（2）. 集合A上的关系R称为传递的，如果xRy， yRz，则有xRz， 其中. 集合A上的关系R称为反对称的，如果xRy， yRx，则必有x=y, 其中. 对于反对称性，有2个命题是等价的：（1）R是反对称的；（2）.（注意这里若，也有，即若，也称R是反对称的）. 集合A上的关系R称为反自反的，如果对于每个， 均不成立. 对于反自反性，有2个命题是等价的：（1）R是反自反的；（2）. 注：逆关系：设R是集合A上的一个关系，令，称关系为关系R的逆关系. 四．基本的等价式和蕴涵式 基本的等价式如下： （1）；（2）； （3）； （等幂律） （4）； （交换律） （5）； （结合律） （6）； （吸收律） （7）； （分配律） （8）； （同一律） （9）； （零一律） （10）. （De Morgan 律） 2．基本蕴涵式： （1）； （2）； （3）；（因为 （4）；（因为. 3．注1：的充要条件是公式是恒真的. 五．1．等价关系：设R是非空集合A上的一个关系，若R具有自反性、对称性和传递性，则称 R是一个等价关系. 例子：设A={a, b, c}，R={(a, a), (b, b), (c, c), (a, b), (b, a)}是A上的等价关系. 等价类：设A是一个非空集合，是A上的一个等价关系.A的一个非空集合M叫做一个等价类，如果 若，则； 若，则. （即a,b属于同一个等价类当且仅当） 商集：设R是非空集合A上的一个等价关系，以R的所有不同的等价类为元素作成的集合称为A关于R的商集，简称A的商集，记作. 划分：当A的子集簇C满足如下条件时，称C为A的划分： 若，则； （2）； （3）对任意的，且，则. 定理：设R是非空集合A上的一个等价关系，则A的商集构成A的一个划分；反之，若C是集合A的一个划分，令 ， 则是A的一个等价关系. 六．幂集的定义：设A是集合，A中所有子集为元素构成的集合称为A的幂集。 七．主析取范式 设是n个不同的原子，一个短语如果恰好包含所有这n个原子或其否定，且其排列顺序与的顺序一致，则称此短语为关于的一个极小项. 共有个不同的极小项. 例子：有3个不同的原子P,Q,R，则是极小项. 书本定义2.4.5：主析取范式的定义 定理2.4.2：对于命题公式G，都存在等价于它的主析取范式. 主析取范式的求法及应用 例子：求下列公式的主析取范式：． 知识回顾：若G在一组解释下为真，则对应主析取范式中的一个极小项，具体的作法如下： 在此解释中原子的真值是1时，极小项取它自身； 在此解释中原子的真值是0时，极小项取它的否定. 解：应用真值表法求其主析取范式. 的真值表如下： P Q 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 1 1 由上表可知G的主析取范式为：. 是可满足的. 八．群，单位元，逆元 九．完全图：若G中任两点之间恰有一条边，则称G为完全图. n个顶点的完全图恰有条边. 十．设R, S是集合A上的两个关系，令 ，或 则称为关系R与S的乘积或合成. 十一. 设是有个顶点条边的简单连通图，那么. 十二. 1．例子：设，，则下列公式中，（ ）的真值为1. A B C D 例子：对公式，给出如下的解释I： D={2, 3}；； 于是，公式在I下的值为： . 十三. 定理4.1.1： 设G=(P.,L)是有限图，设|L(G)|＝m，于是. 对于任意的图来说，所有点的度之和等于边数的2倍； 2．对于树来说，其边数=顶点数-1。