离散数学定义定理上.docx

1、离散数学定义定理上离散数学定义定理 1.3.1命题演算的合式公式规定为：（1）单个命题变元本身是一个合式公式。（2）如果A是合式公式，那么A是合式公式。（3）如果A和B是合式公式，那么（AB）、（AB）、（AB）、（AB）、都是合式公式。（4）当且仅当有限次地应用（1）（2）（3）所得到的包含命题变元，连接词和圆括号的符号串是合式公式。1.3.2 设Ai是公式A的一部分，且Ai是一个合式公式，称Ai是A的子公式。1.3.3 设P为一命题公式，P1,P2,，Pn为出现在P中的所有命题变元，对P1,P2,，Pn指定一组真值称为对P的一种指派。若指定的一种指派，使P的值为真，则称这组指派为成真指派。

2、若指定的一种指派，使P的值为假，则称这种指派为成假指派。含n个命题变元的命题公式，共有2n个指派。1.3.4 给定两个命题公式A和B，设P1,P2,，Pn为所有出现于A和B中的原子变元，若给P1,P2,，Pn任一组真值指派，A和B的真值都相同，称A和B是等价的，记做A B。1.3.5 设A为一命题公式，若A在它的各种指派情况下，其取值均为真，则称A为重言式或永真式。1.3.6 设A为一命题公式，若A在它的各种指派情况下，其取值均为假，则称A为矛盾式或永假式。1.3.7设A为一命题公式，若A在它的各种指派情况下至少存在一组成真指派，则称A为可满足式。1.4.1 设X式合式公式A的子公式，若有Y也

3、是一个合式公式，且XY，如果将中的用置换，得到公式，则AB。1.4.2 设A，B为两个命题公式，AB，当且仅当A B为一个重言式。P=Q称做P蕴含Q或蕴含式，又称永真条件式。蕴含式有下列性质：（1）对任意公式A，又A=A；（2）对任意公式A，B和C，若A=B，B=C，则A=C；（3）对任意公式A，B和C，若A=B，A=C，则A=(BC);（4）对任意公式A，B和C，若A=C，B=C，则AB=C.1.4.3设P，Q为任意两个命题公式，PQ的充分必要条件式P=Q,，Q=P。蕴含式推理PQ=P化简式PQ=Q化简式P=PQ附加式P=PQ变形附加式Q=PQ变形附加式(PQ)=P变形简化式(PQ)=Q变形

4、简化式p(PQ)=Q假言推论Q(PQ)=P拒取式p(PQ)=Q析取三段式(PQ) (QR)=PR条件三段式(PQ) (QR)=PR双条件三段式(PQ)(RS)(PR)=QS合取构造二难(PQ)(RS)(PR)=QS析取构造二难PQ=(PR) (QR)前后附加式PQ=(PR) (QR)前后附加式1.5.1 一个命题公式称为合取范式，当且仅当它具有形式：A1A2An(n1)，其中A1，A2，An都是有命题变元及其否定所组成的析取式。1.5.2 一个命题公式称为析取范式，当且仅当它具有形式：A1A2An(n1)，其中A1，A2，An都是有命题变元及其否定所组成的合取式。1.5.3 n个命题变元的合取

5、式，称作布尔合取或小项，其中每个变元与他的否定不能同时存在，但两者必须出现且仅出现一次。小项有如下性质：（1）每个小项具有一个相应的编码，当该编码与其真实指派相同时，该小项为T，在其余2n-1种指派情况下为F。（2）任意两个不同小项的合取是永假。（3）全体小项的析取式为永真。定义1.5.4 对于给定的命题公式，如果有一个等价公式，它仅由小项的析取组成，则该等价公式称作原公式的主析取范式。定理1.5.1 在真值表中，一个公式的真值为T的指派所对应的小项的析取，即为此公式主析取范式。定理1.5.2 任意含n个命题变元的非永假命题公式，其主析取范式是唯一的。定义1.5.5 n个命题变元的析取式称作布

6、尔析取或大项。其中每个变元与它的否定不能同时出现，但两者必须出现仅出现一次。定理1.5.3 在真值表中一个公式的真值为F的指派所对应的大项的合取，称为此公式的主合取范式。定理1.5.4 任意含有n个命题变元的非永假命题公式A，其主合取范式是唯一的。设命题公式中含有n个命题变元，且A的主析取范式中含有k个小项mi1,mi2,，mik,则A的主合取范式比含有2n-k个大项。如果命题公式A的主析取范式为(i1,i2,，ik)，则A的主合取范式为： (0,1,2,，i1-1,i1+1,，ik-1,ik+1,，2n-1)。从A的主析取范式求其主合取范式的步骤为：（1）求出A的主析取范式中未包含小项的下标

7、。（2）把（1）中求出的下标写成对应大项。（3）做（2）中县城大项合取，即为A的主合取范式。根据主范式（主析取范式、主合取范式）的定义和定理，可以判定含n个命题变元的公式：（1）若A可化为与其等价的含2n个小项的主析取范式，则A为永真式。（2）若A可化为与其等价的含2n个大项的主合取范式，则A为永假式。（3）若A的主析取范式不含2n个小项，或A的主合取范式不含2n个大项，则A为可满足的。定义1.6.1 设H1,H2,Hn，C是命题公式，当且仅当H1H2Hn=C，称C是一组前提H1，H2，Hn的有效结论。等值公式表E1pPE12R(PP)RE2PQQPE13R (PP)RE3PQQPE14R(P

8、P)TE4(PQ)RP(QR)E15R(PP)FE5(PQ)RP(QR)E16PQPQE6P(QR)(PQ)(PR)E17(PQ) PQE7P(QR)(PQ)(PR)E18PQQPE8(PQ) PQE19P(QR)(PQ)RE9(PQ) PQE20PQ(PQ)(QP)E10PPPE21PQ(PQ)(PQ)E11PPPE22(PQ) PQ常用的推理规则有：（1）前提引入规则：在证明的任何步骤上，都可以引入前提，简称P规则。（2）结论引入规则：在证明的任何步骤上，所证明的结论都可作为后续证明的前提，称为T规则。（3）置换规则：在证明的任何步骤上，命题公式的任何子命题公式都可以用与之等值的命题公式置

9、换，也记作T规则。定理1.6.1 推理H1H2HnC是有效推理的充分必要条件是H1H2HnC为永真式。定义1.6.2 设H1，H2，Hn是可满足式，则称H1，H2，Hn是相容的，若H1，H2，Hn是永假式称H1，H2，Hn是不相容的。定理1.6.2 若H1H2HnC为永假式，则H1H2HnC成立。定理1.6.3 若H1H2HnR=C，则H1H2Hn =RC。本定理即：若H1，H2，,Hn，RC，则H1，H2，HnRC定义2.1.1 由一个谓词，一些个体变元组成的表达式简称为谓词变项或称为命题函数。（命题函数不是命题，只有命题函数中的变元都取为特定具体的个体时，才是确定的命题。谓词变项摘，个体变

10、元的数目为谓词变项的元数。）定义2.2.1 由一个或几个原子命题函数以及逻辑联接词组合而成的表达式称为符合命题函数。定义2.2.2 谓词演算的合式公式，可由下述各条组成（合式公式A记为WffA）: （1）原子谓词公式是合适公式。 （2）若A是合式公式，则A是合式公式。 （3）若A和B都是合式公式，则（AB）、（AB）、（AB）、（AB）是合式公式。 （4）如果A是合式公式，x是A中出现的任何变元，则（x）A和(x)A都是合式公式。 （5）只有经过有限次应用规则（1）（2）（3）（4）所得到的公式是合式公式。定义2.2.3 给定谓词合式公式A，其中一部分公式形式为（x）(Bx)或(x)(Bx)，

11、称量词，后面所跟的x为指导变元或作用变元。称B为相应量词的辖域（或作用域）。 在辖域中，x的一切出现称为约束出现。在B中除去约束出现的其他变项的出现称为自由出现。（1）约束改名规则，将量词辖域中，某个约束出现的个体变元及其相应指导变元改成本辖域中未出现过的个体变元，其余不变。（2）自由带入规则，对某个自由出现的个体变元可用个体常元或用与原子公式中与所有个体变元不同的个体变元取代入，且处处代入。定义2.3.1 给定任何两个谓词公式WffA和WffB，设它们有共同的个体域E，若对A和B的任一一组变元进行赋值，所得命题的真值相同，则称谓词公式A和B在E上市等价的，记作AB。定义2.3.2 给定任意谓

12、词公式WffA，其个体域为E，对于A的所有赋值WffA都为真，则称WffA在E上有效的（或永真的）。定义2.3.3一个谓词公式WffA，对于A的所有赋值WffA都为假，则称WffA为不可满足的（或永假的）。定义2.3.4一个谓词公式WffA，如果至少在一个赋值下为真，则称该WffA为可满足。等值公式表E23( x)(Ax)(Bx)( x)(Ax)( x)(Bx)E30( x)(Ax) B( x) (Ax)B)E24( x)(Ax)(Bx)( x)(Ax)( x)(Bx)E31( x)(Ax) B( x) (Ax)B)E25( x)(Ax)( x)(Ax)E32A( x)(Bx) ( x) (A

13、(Bx)E26( x)(Ax)( x)(Ax)E33A( x)(Bx) ( x) (A(Bx)E27( x)(A(Bx)A( x)(Bx)I17( x)(Ax)( x)(Bx) =( x)(Ax)(Bx)E28( x)(A(Bx)A( x)(Bx)I18( x)(Ax)(Bx) =( x)(Ax)( x)(Bx)E29( x)(Ax)(Bx)( x)(Ax)( x)(Bx)I19( x)(Ax)( x)(Bx) =( x)(Ax)(Bx)定义2.4.1 一个公式，如果量词均在全式的开头，它们的作用域，延伸到整个公式的末尾，则该公式叫做前束范式。前束范式形式如下：（Q1V1）(Q2V2)（QnV

14、n）A。其中Qi(1in)为或，A为不含有量词的谓词公式。定理2.4.1 任意一个谓词公式，均和一个前束范式等价。谓词演算推理规则(1)全称指定规定，US. ( x)P(x) P(c)(2)全称推广规则，UG：P(x)( x)P(x)(3)存在指定规则，ES： ( x)P(x) P(c)(4)存在推广规则，EG：P(c) ( x)P(x)定义3.1.1 设A，B是任意两个集合，若A=B，当且仅当它们有相同的成员。定义3.1.2 设A，B是任意两个集合，加入A的每个元素都是B的元素，则称为的子集，或包含在内或包含。记作： A B或B A定理3.1.1 集合A和集合B相等的充分必要条件式两个集合互

15、为子集。定义3.1.3 如果集合A的每一元素都属于B，但集合B中至少有一个元素不属于A，则称A为B的真子集，记作A B。定义3.1.4 不包含任何元素的集合称为空集，记作或 。定理3.1.2 对于任何集合A必有A。(空集包含在A内)定义3.1.5 设A为任意集合，以A的子集为元素所组成的集合，称为集合A的幂集。记作P(A)。定理 3.1.3 如果有限集合A有n个元素，则其幂集P（A）有2n个元素。（2n-1个子集元素个数为奇数）定义3.1.6 在一定范围内，如果所有集合均为某一集合的子集，则称该集合为全集。全集记作E。定义3.2.1 设任意两个集合A和B，由集合A和B的所有共有元素组成的集合S

16、，称为A和B的交集，记作AB。 S=AB=x|(xA)(xB)集合的交运算有如下性质：AA=A AB=BA A= AB定义3.2.2 设任意两个集合A和B，所有属于A或属于B的元素所组成的集合S称为A和B的并集，记作AB。S=AB=x|(xA)(xB)交运算性质：a)A(AB)=A b)A(AB)=A吸收率：c) 设集合A BAB=B d)设集合A BAB= A定义3.2.3 设A，B为任意两个集合，所有属于A而不属于B的一切元素组成的集合S，称为B对于A的补集，或相对补，记作A-B。定义3.2.4 设E为全集，对任一集合A，关于E的补E-A，称为集合A的绝对补，记作Aa)(A)=A b)E=

17、 c) =E; d)AA=E c)AA=定理3.2.2 设A，B为任意两个集合，则下列关系式成立。a) A-B=AB b)A-B=A-(AB) c)(AB)=AB d)(AB)=AB定义3.2.5 设A，B为任意两个集，A和B的对称差为集合S，其元素或属于A，或属于B，但不能既属于B，又属于比，记作A B。定理3.2.3 设任意集合A，B，C，则有以下性质：a)A B=B A b)A =A c)A A= d)A B=(AB)(AB) e)(A B) C=A (B C)定义3.3.1 由两个客体x和y，按一定的顺序，组成一个二元组，称此二元组为有序对，或称序偶，记作或（x,y）。其中x是该序偶的

18、第一元素，y是该序偶的第二元素。定义3.3.2 两个序偶相等，=，iff x=u,y=v。定义3.3.3 设A，B为集合。用A中的元素x作为第一元素，B中的元素作为第二元素，构成有序对，所有这样的有序对组成的集合，叫做A和B的笛卡尔积，记作AB。AB=|xA,yB定理3.3.1 设A，B，C为任意三个集合，则有：a) A(BC)=(AB)(AC) b) A(BC)=(AB)(AC) c)(AB)C=(AC)(BC) d) (AB)C=(AC)(BC)定理3.3.2 设A，B，C，D，为非空集合，则AB CD的充要条件为A C，B D。定义3.3.4 设A，B是任意两个集合，AB的子集R称为从A

19、到B的二元关系。当A=B是，称R为A上的二元关系。从这个定义可以表明A到B的二元关系，也是序偶的集合。故R，即称a与b有关系R，记作aRb。若 R，则称a与b没有关系R，记作aRb。若R=称为空关系，若R=AB称R为全关系，当A=B时，全关系EA=|xAyA=AA，A上的恒等关系IA=|xA定义3.3.5 设R为二元关系，由R的所有x所组成的集合domR，称为R的前域。domR=x|( y)(R)使R得所有y组成的集合ranR称为R的值域。 ranR=y|( x)(R)R的前域和值域一起称为R的域，记作FLDR,即：FLDR=domRranR。定理3.3.3 若Z和S是从集合X到Y的两个关系，

20、则Z，S的交，并，差，补仍是X到Y的关系。定义3.4.1 设R是集合X上的二元关系，（1）如果对任意xX，必有xRx，则称关系R在X上是自反的。（2）如果对任意xX，必有xRx，则称关系R在X上是反自反的。（3）如果对任意x，yX，若xRy必有yRx，则称关系R在X上是对称的。（4）如果对任意x，yX，若xRy且yRx必有x=y，则称R是反对称的。也可叙述为：若xRy，且xY，必有xRy。（5）如果对任意x，y，zX，xRy且yRz必有xRz，则称关系R在X上是传递的。定义3.5.1 设R是从X到Y的二元关系，如将R中每一序偶的元素顺序互换，所得到的集合称为R的逆关系，记作R-1（或Rc）即：

21、R-1=|R定义3.5.2 设R为A到B的关系，S为从B到C的关系，则RS称为R和S的复合关系表示为：RS=|xAzC( y)(yBRS)，RS称为关系的合成运算。(复合运算不满足交换律)定理3.5.2 设A=a1，a2，am，B=b1，b2，bn，C=c1，c2，cr从A到B的关系R1关系矩阵MR1=（xij）是mn阶矩阵。从B到C的关系R2的关系矩阵MR2=(yij)是nr阶矩阵，那么从A到C的关系矩阵：MR1R2=(zij)是mr阶矩阵，其中 ，i=1，2，m， j=1，2，r。定义3.5.3 设R是A上二元关系，如果有另一个关系R，满足：（1）R是自反的（对称的，可传递的）；（2）R

22、R；（3）对于任何自反的（对称的，可传递的）关系R”，如果有R” R，就有R” R，则称关系R为R的自反（对称，传递）闭包，记作r(R)(s(R)，t(R)。定理3.5.3 设R为非空有穷集合A上的二元关系。（1）r(R)=RIA；（2）s(R)=RR-1；（2）t(R)=RR2Rn，其中n是集合A中元素的数目。定义3.6.1 给定集合A上的关系，若是自反的，对称的，则称是上的相容关系。定义3.6.2 若把一个集合A分成若干叫做分块的非空子集，使得A中每个元素，至少属于一个分块，那么这些分块的全体构成的集合叫做的覆盖。定义3.6.1 给定集合A的覆盖，S=S1,S2,Sn，由它确定的关系：=S

23、1S1S2S2SnSn是相容的。定义3.7.1 设R为定义在集合A上的一个关系，若R是自反的，对称的和传递的，则R称为等价关系。定义3.7.2 设给定非空集合A，若有集合S=S1,S2,Sm，其中Si A，Si (i=1,2,，m)，且SiSj= (i j)，同时有 ，称S是A的划分。定义3.7.3 设R为集合上的等价关系，对任何aA，集合aR=x|xA,aRx称为元素a形成的等价类。简记a或 。定理3.7.1 设给定非空集合A上等价关系R，对于：a，bA有aRb iffaR=bR。定义3.7.4 集合A上的等价关系R，其等价类集合aR|aA称为A关于R的商集记作A/R。定理3.7.2 集合A

24、的等价关系R，确定了的一个划分，该划分就是商集/R。定理3.7.3 集合A的一个划分确定A的元素间的一个等价关系。设集合A有一个划分S=S1,S2,Sm，现定义一个关系R，当aRb，当且仅当a，b在同一分块中，这样：（1）a与a在同一分块中，故必有aRa，即R是自反的。（2）若a，b在同一分块中，则b，a也在同一分块，即aRb=bRa，故R是对称的。（3）若a与b在同一分块中，b与c在同一分块中，因为SiSj= (i j)，即b属于且属于一个分块，故a与c必在同一个分块中，故有：aRbbRc=aRc，即R是传递的。定义3.8.1 设是一个集合，如果上的关系满足自反性，反对称性，以及传递性，则称

25、是A上的一个偏序关系，并记作“”，序偶称作偏序关系。定义3.8.2 设集合A上有二元关系，R若是反自反和传递的，称R为A上的拟序关系。并把称为拟序集，或记作A，。定理3.8.1 集合A上二元关系是拟序的，则R必为反对称的。定义3.8.3 集合A上二元关系是拟序集，对于任意x，yA，如果xy或者yx成立，称x和y可比。定义3.8.4 在偏序集中，如果想x，yA，xy，且x y，且没有其他元素，z满足xz，zy，则称元素y盖住元素x。记COVA|x，yA；y盖住x(设R是非空集合A上的偏序集，a，b是A中两个不同元素，如果R，且在A中没有其他元素c，使得R和R，称元素b盖住元素a。)定义3.8.5

26、 设是集合A上的二元关系，如果对于A中任意两个元素a，bA，必有ab或ba，则称是A上的全序关系（或称线序关系）。若是A上的全序关系，称是全序集。定义 3.8.6 设是一个偏序关系，钱B是的子集，对于中的一个元素b，如果B中没有任何元素x，满足b x，且bx称b为B的极大元。同理对于bB，如果B中没有任何元素x，满足b x，且xb，则称b为B的极小元。定义3.8.7 令是一个偏序集，B A，若有某个元素bB，对B中每一个元素，x有xb，称b为的最大元，同理，若有某个元素bB，对于每个xB有，bx，则称b为 的最小元。定义3.8.8 设 为偏序集，对于B A，如果有aA，且对于B的任意元素x都满

27、足xa，则称a为子集B的上界，同样对于B的任意元素x，都满足ax，则称a为B的下界。定义3.8.9 设为偏序集，若有子集B A，若a为B的任一上界，若对B的所有上界y均有ay，则称a是B的最小上界（上确界），同样若b为B的任一下界，若对B的所有下界z，均有z小于等于b，则称b为B的最大下界（下确界）。定义3.8.10 设为全序集，如果A的任何非空子集都含有最小元，称为良序集。定义3.9.1 设X和Y是任何两个集合，而f是X到Y的一个关系，如果对于每一个xX，有惟一的yY，使得f，称关系f为函数，记作f:X Y或。假如f，称x为自变元，与x相对应的y称为函数在x处的值，记作y=f(x)，即f。y

28、称为f作用下的x的象。从函数定义可以知道它与关系有别于如下两点：（1）函数的定义域是X，而不能是X的某个真子集，这点可以表示为domf=X.（2）一个xX只能对应惟一的yY,使得f称f为函数。定义3.9.2 设f，g，都是X到Y上函数，它们有相同的定义域与值域，即domf=domg，rang=rang，且对每个xX都有f(x)=g(x)，称函数f与g是相等的，并记作f=g。定义3.9.3 设X，Y为集合，把所有从X到Y的函数构成的集合记作YX,即Yx=f|f: X Y。定义3.9.4 给定函数f: X Y。（1）若ranf=Y称f是满射的或f为到上的。（2）若函数满足x1，x2X，若x1 x2时必有f(x1) f(x2)，则称f为入射的。（3）若函数f既是满射，又是入射，则称f为双射。定义3.10.1 设f: X Y，g: Y Z