离散数学重要公式定理汇总
离散知识点公式总结
离散知识点公式总结1. 集合论集合是离散数学中的基本概念，它是由一些确定的对象所组成的一个整体。
集合之间的运算包括并集、交集、差集、补集等。
其相关公式如下：- 并集：对于集合A和B，它们的并集定义为包含A和B中所有元素的集合，记作A∪B。
公式：A∪B={x|x∈A或x∈B}- 交集：对于集合A和B，它们的交集定义为同时属于A和B的所有元素的集合，记作A∩B。
公式：A∩B={x|x∈A且x∈B}- 差集：对于集合A和B，A与B的差集定义为属于A但不属于B的元素所组成的集合，记作A-B。
公式：A-B={x|x∈A且x∉B}- 补集：对于集合A，相对于全集合U而言，A的补集定义为全集合中不属于A的元素所组成的集合，记作A'。
公式：A'={x|x∈U且x∉A}2. 关系和函数关系是一种描述元素之间的对应关系的数学工具，而函数则是一种特殊的关系。
在离散数学中，关系和函数的定义和性质是非常重要的内容。
其相关公式如下：- 关系R：对于集合A和B，关系R定义为A和B的笛卡尔积中的元素对所组成的集合。
公式：R={(a,b)|a∈A且b∈B}- 函数f：对于集合A和B，如果f是从A到B的一个映射，那么对于任意元素a∈A，都有唯一的元素b∈B与之对应。
公式：f:A→B3. 图论图论是离散数学中的一个重要分支，它研究的是由顶点和边组成的数学结构。
图论的基本概念包括图的类型、路径和回路、连通性、树等。
其相关公式如下：- 有向图：对于图G=(V,E)，如果E中的边是有方向的，则称G为有向图。
公式：G=(V,E)，E={(u,v)|u,v∈V，u→v}- 无向图：对于图G=(V,E)，如果E中的边是无方向的，则称G为无向图。
公式：G=(V,E)，E={{u,v}|u,v∈V，u≠v}- 路径：在图G中，顶点v1,v2,...,vn的一个路径是图G中的一个顶点序列，其中相邻的顶点用一条边连接。
公式：v1,v2, (v)- 回路：在图G中，如果一条路径的起点和终点是同一个顶点，则称其为回路。
离散数学重要公式定理汇总分解
离散数学重要公式定理汇总分解离散数学是计算机科学领域中的一门基础课程，它主要研究离散结构和离散对象之间的关系。
离散数学中有许多重要的公式和定理，这些公式和定理在计算机科学和其他领域中有广泛的应用。
下面是对离散数学中一些重要的公式和定理的汇总。
1.集合：-幂集公式：一个集合的幂集是所有它子集的集合。
一个集合有n个元素，那么它的幂集有2^n个元素。
-集合的并、交、差运算规则：并集运算满足交换律、结合律和分配律；交集运算也满足交换律、结合律和分配律；差集运算不满足交换律和结合律。
2.逻辑：-代数运算规则：多个逻辑表达式的与、或、非运算满足交换律、结合律和分配律。
-归结原理：对于一个给定的只包含“合取”和“析取”的合式公式集合，如果假设集合中的每个合式公式都为真，以及从这些前提出发，不能推导出这个集合中的一个假命题，则称这个假设集合是不一致的。
3.图论：-图的欧拉路径和欧拉回路：对于一个连通的图，如果它存在欧拉路径，那么这个图中最多只有两个度数为奇数的节点；如果一个连通的图存在欧拉回路，那么所有节点的度数都是偶数。
-图的哈密顿路径和哈密顿回路：对于一个图，如果它存在哈密顿路径，那么这个图中任意两个不相邻的节点u和v之间必然存在一条边；如果一个图存在哈密顿回路，那么从任意一个节点开始，可以经过图中的所有节点且最后回到起点。
4.代数结构：-子群定理：如果G是群H的一个子集，并且G是关于群H的运算封闭的，那么G是H的一个子群。
- 同态定理：如果f是从群G到群H的一个满射同态，那么G的核ker(f)是G的一个正规子群，而H是G/ker(f)的同构像。
5.排列组合：-排列公式：从n个元素中取出m个元素进行排列，有P(n,m)=n!/(n-m)!-组合公式：从n个元素中取出m个元素进行组合，有C(n,m)=n!/(m!*(n-m)!)以上只是离散数学中一小部分重要的公式和定理，这些公式和定理在计算机科学、密码学、图形学等领域中有广泛的应用。
考试必备离散数学定理总结
2.8、C1∧C2≈Res(C1,C2)2.10、（消解的完全性）一个合取范式是不可满足的当且仅当它有否证.3.1、由命题公式A1, A2, …, Ak推B的推理正确当且仅当A1∧A2∧…∧Ak→B为重言式.（推理正确不能保证结论一定正确）4.1、闭式在任何解释下都是命题5.1、（前束范式存在定理）一阶逻辑中的任何公式都存在与之等值的前束范式6.1、空集是任何集合的子集。
（推论：空集是唯一的）6.2、（包含排斥原理）设集合S上定义了n条性质，其中具有第i 条性质的元素构成子集Ai, 那么集合中不具有任何性质的元素数为：6.3、德摩根律：A-(B⋃C)=(A-B)⋂(A-C)A-(B⋂C)=(A-B)⋃(A-C)~(B⋃C)=~B~⋂C~(B⋂C)=~B~⋃C7.9、设R为A上的关系, 则(1) R 在A上自反当且仅当IA ⊆R(2) R 在A上对称当且仅当R=R^(-1)(3) R 在A上传递当且仅当R︒R ⊆R7.10、设R为A上的关系, 则有(1) r(R)=R∪R^0(2) s(R)=R∪R^(-1)(3) t(R)=R∪R^2∪R^3∪…9.1、设◦为S上的二元运算，el和er分别为S中关于运算的左和右单位元，则el = er = e为S上关于◦运算的惟一的单位元.9.2、设◦为S上的二元运算，θl和θr分别为S中关于运算的左和右单位元，则θl = θr = θ为S上关于◦运算的惟一的零元.9.3、设◦为S上的二元运算，e和θ分别为◦运算的单位元和零元，如果S至少有两个元素，则e≠θ.9.4、设◦为S上可结合的二元运算, e为该运算的单位元, 对于x∈S 如果存在左逆元yl 和右逆元yr, 则有yl = yr= y, 且y是x 的惟一的逆元.10.2、G为群，∀a,b∈G，方程ax=b和ya=b在G中有解且仅有惟一解. （G中适合消去律）10.3、G为群，a∈G且|a| = r. 设k是整数，则(1) a^k = e当且仅当r | k(r整除k)(2 )|a^-1| = |a|10.4、（子群判定定理一）设G为群，H是G的非空子集，则H是G的子群当且仅当(1) ∀a,b∈H有ab∈H(2) ∀a∈H有a^-1∈H.10.5、（子群判定定理二）设G为群，H是G的非空子集. H是G的子群当且仅当∀a,b∈H有ab^-1∈H.10.6、（子群判定定理三）设G为群，H是G的非空有穷子集，则H是G的子群当且仅当∀a,b∈H有ab∈H.10.7、设H是群G的子群，则He=H，∀a∈G有a∈Ha10.8、设H是群G的子群，则∀a,b∈G有：a∈Hb ⇔ab-1∈H ⇔Ha=Hb10.9、设H是群G的子群，在G上定义二元关系R：∀a,b∈G, <a,b>∈R ⇔ab-1∈H则R是G上的等价关系，且[a]R = Ha.推论：设H是群G的子群, 则(1) ∀a,b∈G，Ha = Hb或Ha∩Hb = ∅(2) ∪{Ha | a∈G} = G10.10、（Lagrange）设G是有限群，H是G的子群，则：|G| = |H|·[G:H]其中[G:H] 是H在G中的不同右陪集(或左陪集) 数，称为H在G 中的指数.推论1：设G是n阶群，则∀a∈G，|a|是n的因子.推论2：对阶为素数的群G，必存在a∈G使得G = <a>.10.11、（循环群的生成元）设G=<a>是循环群. ：(1) 若G是无限循环群，则G只有两个生成元，即a和a-1.(2) 若G是n 阶循环群，则G含有φ(n)个生成元. 对于任何小于n且与n 互质的数r∈{0,1,…,n-1}, ar是G的生成元.10.12、（循环群的子群）设G=<a>是循环群.(1) 设G=<a>是循环群，则G的子群仍是循环群.(2) 若G=<a>是无限循环群，则G的子群除{e}以外都是无限循环群.(3) 若G=<a>是n阶循环群，则对n的每个正因子d，G恰好含有一个d 阶子群.14.1、（握手定理）在任何无向图中，所有顶点的度数之和等于边数的2倍.14.2、（握手定理）在任何有向图中，所有顶点的度数之和等于边数的2倍；所有顶点的入度之和等于所有顶点的出度之和，都等于边数.推论：任何图(无向或有向) 中，奇度顶点的个数是偶数.14.5、在n 阶图G中，若从顶点vi 到vj（vi≠vj）存在通路，则从vi 到vj 存在长度小于或等于n-1 的通路.推论：在n 阶图G中，若从顶点vi 到vj（vi≠vj）存在通路，则从vi 到vj 存在长度小于或等于n-1的初级通路（路径）.14.7、对任意无向图G中，有：κ(G)λ≤(G)δ≤(G)14.8、D强连通当且仅当D中存在经过每个顶点至少一次的回路14.9、D单向连通当且仅当D中存在经过每个顶点至少一次的通路14.10、无向图G=<V,E>是二部图当且仅当G中无奇圈15.1、无向图G是欧拉图当且仅当G连通且无奇度数顶点.15.2、无向图G是半欧拉图当且仅当G 连通且恰有两个奇度顶点.15.5、G是非平凡的欧拉图当且仅当G是连通的且是若干个边不重的圈的并.15.6、设无向图G=<V,E>是哈密顿图，对于任意V1⊂V且V1∅≠，均有p(G-V1) ≤ |V1|设无向图G=<V,E>是半哈密顿图，对于任意的V1⊂V且V1∅≠均有p(G-V1) ≤ |V1|+1 15.7、设G是n阶无向简单图，若对于任意不相邻的顶点vi,vj，均有d(vi)+d(vj) ≥n-1则G 中存在哈密顿通路.推论：设G为n(n≥3) 阶无向简单图，若对于G中任意两个不相邻的顶点vi,vj，均有d(vi)+d(vj) ≥n则G中存在哈密顿回路，从而G为哈密顿图.16.1、设G=<V,E>是n阶m条边的无向图，则下面各命题是等价的：(1) G 是树(2) G 中任意两个顶点之间存在惟一的路径.(3) G 中无回路且m=n-1.(4) G 是连通的且m=n-1.(5) G 是连通的且G 中任何边均为桥.(6) G 中没有回路，但在任何两个不同的顶点之间加一条新边，在所得图中得到惟一的一个含新边的圈.16.2、设T是n阶非平凡的无向树，则T 中至少有两片树叶.16.3、无向图G具有生成树当且仅当G连通.推论1 ：G为n阶m条边的无向连通图，则m≥n-1.推论2 ：余树的边数为m-n+1.推论3 ：余树为G的生成树T的余树，C为G中任意一个圈，则C与余树一定有公共边17.3、平面图各面次数之和等于边数的两倍.17.4、极大平面图是连通的，并且n（n≥3）阶极大平面图中不可能有割点和桥.17.5、设G为n（n≥3）阶极大平面图，则G的每个面的次数均为3.17.6、（欧拉公式）设G为n阶m条边r个面的连通平面图，则n-m+r=217.7、（欧拉公式的推广）设G是具有k（k≥2）个连通分支的平面图，则n-m+r=k+117.8、设G为连通的平面图，且deg(Ri)≥l, l≥3，则m≤ l(n-2)/( l-2)推论：K5，K3,3不是平面图17.10、设G为n（n≥3）阶m条边的简单平面图，则m≤3n-6.17.11、设G为n（n≥3）阶m条边的极大平面图，则m=3n-6.17.12、设G 为简单平面图，则δ(G)≤5.17.13、G是平面图⇔G中不含与K5或K3,3同胚的子图.17.14、G是平面图⇔G中无可收缩为K5或K3,3的子图18.3、设n阶图G中无孤立顶点.(1) 设M为G中一个最大匹配，对于G中每个M非饱和点均取一条与其关联的边，组成边集N，则W=M⋃N为G中最小边覆盖.(2) 设W1为G中一个最小边覆盖；若W1中存在相邻的边就移去其中的一条，设移去的边集为N1，则M1=W1-N1为G中一个最大匹配.(3) G中边覆盖数α1与匹配数β1满足α1+β1=n.推论：设G是n阶无孤立顶点的图. M为G中的匹配，W是G中的边覆盖，则|M| ≤ |W|，等号成立时，M为G中完美匹配，W为G中最小边覆盖.18.4、M为G中最大匹配当且仅当G中不含M的可增广交错路径.18.5、（Hall定理）设二部图G=<V1,V2,E>中，|V1|≤|V2|. G中存在从V1到V2的完备匹配当且仅当V1中任意k(k=1,2,…,|V1|)个顶点至少与V2中的k个顶点相邻.本定理中的条件常称为“相异性条件”.18.6、设二部图G=<V1,V2,E>中，V1中每个顶点至少关联t (t≥1)条边，而V2中每个顶点至多关联t 条边，则G 中存在V1到V2的完备匹配.18.7、对于任意无向图G，均有χ(G) ≤∆(G)+1几个相关性质:χ(G)=1当且仅当G为零图χ(Kn)=n若G为奇圈或奇阶轮图，则χ(G)=3，若G为偶阶轮图，则χ(G)=4.若G的边集非空，则χ(G)=2当且仅当G为二部图18.8、（Brooks定理）若连通无向图G不是Kn,（n≥3），也不是奇数阶的圈，则χ(G) ≤∆(G) 18.10、（四色定理）任何平面图都是4-可着色的。
离散数学重要公式定理汇总分解
关系的性质
一. 自反性
定义 :设 R是集合 A中的关系，如果对于任意x∈A都 有<x,x>∈R (xRx)，则称R是A中自反关系。 即 R是A中自反的关系x(xAxRx) 例如： 在实数集合中 , “ ”是自反关系，因
例 邻居关系和朋友关系是对称关系。
四.反对称性
定义:设R为集合A中关系,若对任何x, y∈A,如果有 xRy,和yRx,就有x=y,则称R为A中反对称关系 。
R是A上反对称的 xy((xAyAxRyyRx) x=y) xy((xAyAxyxRy)y Rx) (P112) 由R的关系图看反对称性：两个不同的结点之间 最多有一条边。 从关系矩阵看反对称性：以主对角线为对称的两 个元素中最多有一个1。 另外对称与反对称不是完全对立的，有些关系它 既是对称也是反对称的，如空关系和恒等关系。
如 实数的大于关系>，父子关系是反自反的。 注意：一个不是自反的关系，不一定就是反自反
的。
三.对称性 定义:R是集合A中关系,若对任何x, y∈A,如果有
xRy,必有yRx,则称R为A中的对称关系。 R是A上对称的
xy((xAyAxRy) yR方向相反的两 条边。 从关系矩阵看对称性：以主对角线为对 称的矩阵。
3
2018/10/25
Formula
等价公式(前10个)与集合论的公式比较： ⑴ 对合律 ~~AA ~A表示A的绝对补集 ⑵ 幂等律 A∪AA A ∩ A A ⑶ 结合律 A∪(B∪C)(A∪B)∪C； A∩(B∩C)(A∩B)∩C ⑷交换律 A∪BB∪A A∩BB∩A ⑸分配律 A∪(B∩C)(A∪B)∩(A∪C) A∩(B∪C)(A∩B)∪(A∩C) ⑹ 吸收律 A∪(A∩B)A A∩(A∪B)A
离散数学基本公式
离散数学基本公式离散数学是数学的一个重要分支，它主要研究的是非连续的、分离的对象，如集合、图论、数论、逻辑等。
在这些领域中，一些基本的公式和定理是理解和应用离散数学的关键。
以下是一些离散数学的基本公式：1、德摩根定律德摩根定律是布尔代数中的基本公式之一，它表示对于任何逻辑运算，如果我们把所有的否命题和原命题结合在一起，我们就会得到一个恒等式。
用符号表示为：P ∧ Q) ∨(¬P ∧¬Q) ≡ P ∨ QP ∨ Q) ∧(¬P ∨¬Q) ≡ P ∧ Q2.集合论中的互补律在集合论中，互补律表示对于任何集合A和它的补集A'，我们有：A ∪ A' = U,其中U是全集A ∩ A' = ∅,其中∅表示空集3.图论中的欧拉公式欧拉公式是图论中的一个基本公式，它表示对于一个连通无向图G，其顶点数v、边数e和欧拉数euler(G)之间有以下关系：euler(G) = v + e - 2其中euler(G)是图G的欧拉数，v是图G的顶点数，e是图G的边数。
这个公式在计算图的欧拉数或者判断一个图是否连通等方面都有重要应用。
4.数论中的费马小定理费马小定理是数论中的一个重要定理，它表示对于任何正整数n，如果它是质数p的幂次方，那么我们可以找到一个整数x，使得x的n 次方等于1（模p）。
用数学语言表示为：x^n ≡ x (mod p)其中n是正整数，p是质数，x是整数。
这个定理在密码学、计算机科学等领域都有广泛的应用。
5.逻辑中的排中律和反证法排中律是指对于任何命题P，P或非P必定有一个是真命题。
反证法则是通过假设相反的命题成立来证明原命题的一种方法。
在证明过程中，如果假设的相反命题成立会导致矛盾，那么原命题就一定是正确的。
这些公式和定理只是离散数学中的一小部分，但它们是理解和应用离散数学的基础。
在学习的过程中，我们还需要掌握更多的公式和定理，以及它们的应用方法。
离散数学公式范文
离散数学公式范文离散数学是一门关于离散结构及其运算规则的数学课程。
它研究的对象包括离散对象（如集合、图、函数等）和离散运算（如关系、代数运算等），以及这些对象和运算之间的关系和性质。
离散数学具有广泛的应用领域，如计算机科学、信息技术、电子通信等。
本文将介绍一些离散数学中常用的公式及其应用。
一、集合公式1.交集运算：对于集合A和B，它们的交集记作A∩B，定义为A和B 中都包含的元素所组成的集合。
A∩B={x，x∈A且x∈B}2.并集运算：对于集合A和B，它们的并集记作A∪B，定义为A和B 中所有元素所组成的集合。
A∪B={x，x∈A或x∈B}3.差集运算：对于集合A和B，它们的差集记作A-B，定义为属于A 但不属于B的元素所组成的集合。
A-B={x，x∈A且x∉B}4.对称差运算：对于集合A和B，它们的对称差记作A△B，定义为属于A或属于B但不同时属于A和B的元素所组成的集合。
A△B={x，(x∈A且x∉B)或(x∉A且x∈B)}二、数学归纳法数学归纳法是一种证明方法，用于证明一类命题对于所有正整数成立。
它的基本思想是通过证明基本情况成立，然后证明如果对于一些正整数n成立，则对于n+1也成立，从而得出结论对于所有正整数成立。
数学归纳法的三个步骤：1.基础步骤：证明当n取最小值时命题成立。
2.归纳假设：假设当n=k时命题成立，即P(k)成立。
3.归纳步骤：证明当n=k+1时命题也成立，即P(k+1)成立。
三、逻辑公式逻辑公式是描述命题之间关系的数学表达式。
常用的逻辑公式有如下几种：1.否定：对于命题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为假，则整个表达式为真。
离散数学部分概念和公式总结
离散数学部分概念和公式总结命题：称能判断真假的陈述句为命题。
命题公式：若在复合命题中，p、q、r等不仅可以代表命题常项，还可以代表命题变项，这样的复合命题形式称为命题公式。
命题的赋值：设A为一命题公式，p ,p ,…,p 为出现在A中的所有命题变项。
给p ,p ,…,p 指定一组真值，称为对A的一个赋值或解释。
若指定的一组值使A的值为真，则称成真赋值。
真值表：含n（n≥1）个命题变项的命题公式，共有2^n组赋值。
将命题公式A在所有赋值下的取值情况列成表，称为A的真值表。
命题公式的类型：（1）若A在它的各种赋值下均取值为真，则称A为重言式或永真式。
（2）若A在它的赋值下取值均为假，则称A为矛盾式或永假式。
（3）若A至少存在一组赋值是成真赋值，则A是可满足式。
主析取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合取式全是极小项，则称该析取范式为A的主析取范式。
主合取范式：设命题公式A中含n个命题变项，如果A得析取范式中的简单合析式全是极大项，则称该析取范式为A的主析取范式。
命题的等值式：设A、B为两命题公式，若等价式A↔B是重言式，则称A与B是等值的，记作A<=>B。
约束变元和自由变元：在合式公式∀x A和∃x A中，称x为指导变项，称A为相应量词的辖域，x称为约束变元，x的出现称为约束出现，A中其他出现称为自由出现（自由变元）。
一阶逻辑等值式：设A，B是一阶逻辑中任意的两公式，若A↔B为逻辑有效式，则称A与B是等值的，记作A<=>B，称A<=>B为等值式。
前束范式：设A为一谓词公式，若A具有如下形式Q1x1Q2x2Q k…x k B，称A为前束范式。
集合的基本运算：并、交、差、相对补和对称差运算。
笛卡尔积：设A和B为集合，用A中元素为第一元素，用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积，记为A×B。
二元关系：如果一个集合R为空集或者它的元素都是有序对，则称集合R是一个二元关系。
离散数学基本公式
一、基本等值式⑴双重否定律A A⑵幂等律A∧A A A∨A A⑶交换律A∧B B∧A A∨B B∨A⑷结合律A∨(B∨C)(A∨B)∨CA∧(B∧C)(A∧B)∧C⑸分配律A∨(B∧C)(A∨B)∧(A∨C)A∧(B∨C)(A∧B)∨(A∧C)(6)德摩根律(A∨B)A ∧B(A∧B)A ∨B(7)吸收律A∨(A∧B) AA∧(A∨B)A(8)零律A∨1 1 A∧00(9)同一律A∧1 AA∨0A(10)排中律A ∨A1(11)矛盾律A ∧A0(12)蕴含等值式A B A∨B(13)等价等值式A B (A B)∧(B A)A B (A∨B)∧(A ∨B)A B(A∧B)∨(A ∧ B )(14)假言易位A B B A(15)等价否定等值式A B A B(16)归谬论(A B)∧(A B) A二、推理定律——重言蕴涵式1.A (A B)附加律2.(A B)A化简律3.(A B)A B假言推理4.(A B)B A拒取式5.(A B)B A析取三段论6.(A B)(B C)(A C)假言三段论7.(A B)(B C)(A C)等价三段论8.(A B)(C D)(A C)(B D)构造性二难(A B)(A B)B构造性二难(特殊形式)9.(A B)(C D)(B D)(A C)破坏性二难三、量词辖域收缩与扩张x(A(x)∨B)xA(x)∨B x(A(x)∧B)xA(x)∧B x(A(x)→B)xA(x)→B x(B1/ 2→A(x))B→xA(x)x(A(x)∨B)xA(x)∨B x(A(x)∧B)xA(x)∧B x(A(x)→B )xA(x)→B x(B→A(x))B→xA(x)四、量词分配x(A(x)∧B(x))xA(x)∧xB(x)x(A(x)∨B(x))xA(x)∨xB(x)x(A(x)∨B(x) )xA(x)∨xB(x)x(A(x)∨B(x))xA(x)∨xB(x)个体域为全体自然数; A(x)：x是偶数, B(x)：x是奇数;左1,右0x(A(x)∧B(x))xA(x)∧xB(x)x(A(x)∧B(x))xA(x)∧xB(x)个体域为全体自然数; A(x)：x是偶数B(x)：x是奇数;左0,右 12/ 2。
离散数学逻辑公式大全化简
离散数学逻辑公式大全化简
离散数学逻辑公式大全：
一、对称表达式
1. 对立矛盾：P∧(¬P)，这就意味着，实际上什么都不是真。
2. 波尔定理：(P→Q)∨(Q→P)，即P和Q之一必定是另一个的条件。
3. 谓词逻辑：∀xPx，表明了P是对任意x是真的。
二、蕴涵表达式
1. 因果关系：P→Q，其中P是因，Q是果。
2. 排中律：P∨(Q∧R)≡(P∨Q)∧(P∨R)，即P既支持Q和R的同时满足，也支持Q和R的分别满足。
3. 简单蕴涵：P→Q，Q即P的蕴涵结果。
三、命题逻辑
1. 范式：¬(P∨Q)即¬P∧¬Q，这表明,若P和Q两者成立其一，则结果
为假。
2. 合取范式：P ∨ Q，表示只要PQ其一成立，结果即成立。
3. 否定范式：P→Q，表示只有当P成立，Q才会成立，否则结果为假。
四、可辩证表达式
1. 含义性质：P→Q，表明当P为真时，Q也可能为真，但可能有证据
表明P为假时，Q也可能为假。
2. 对抗性质：¬P∧Q，表明当P（或Q）被否定时，另一方会加强对这个变量的认可。
3. 不可满足性：P∧¬P，表明两个性质之间存在矛盾，因此，这种形式无法同时满足。
离散数学公式
离散数学公式基本等值式1.双重否定律 A ⇔┐┐A2.幂等律 A ⇔ A∨A, A ⇔ A∧A3.交换律A∨B ⇔ B∨A，A∧B ⇔ B∧A4.结合律(A∨B)∨C ⇔ A∨(B∨C) (A∧B)∧C ⇔ A∧(B∧C)5.分配律A∨(B∧C) ⇔ (A∨B)∧(A∨C) （∨对∧的分配律）A∧(B∨C) ⇔ (A∧B)∨(A∧C) （∧对∨的分配律）6.德·摩根律┐(A∨B) ⇔┐A∧┐B ┐(A∧B) ⇔┐A∨┐B7.吸收律 A∨(A∧B) ⇔ A，A∧(A∨B) ⇔ A8.零律A∨1 ⇔ 1,A∧0 ⇔ 09.同一律A∨0 ⇔ A，A∧1 ⇔ A10.排中律A∨┐A ⇔ 111.矛盾律A∧┐A ⇔ 012.蕴涵等值式A→B ⇔┐A∨B13.等价等值式A↔B ⇔ (A→B)∧(B→A)14.假言易位A→B ⇔┐B→┐A15.等价否定等值式 A↔B ⇔┐A↔┐B16.归谬论(A→B)∧(A→┐B) ⇔┐A求给定公式范式的步骤(1)消去联结词→、↔(若存在)。
(2)否定号的消去(利用双重否定律)或内移(利用德摩根律)。
(3)利用分配律：利用∧对∨的分配律求析取范式，∨对∧的分配律求合取范式。
推理定律--重言蕴含式(1) A ⇒ (A∨B) 附加律(2) (A∧B) ⇒ A 化简律(3) (A→B)∧A ⇒ B 假言推理(4) (A→B)∧┐B ⇒┐A 拒取式(5) (A∨B)∧┐B ⇒ A 析取三段论(6) (A→B) ∧(B→C) ⇒ (A→C) 假言三段论(7) (A↔B) ∧(B↔C) ⇒ (A ↔ C) 等价三段论(8) (A→B)∧(C→D)∧(A∨C) ⇒(B∨D) 构造性二难(A→B)∧(┐A→B)∧(A∨┐A) ⇒ B 构造性二难(特殊形式)(9)(A→B)∧(C→D)∧(┐B∨┐D) ⇒(┐A∨┐C)破坏性二难设个体域为有限集D={a1,a2,…,an},则有（1）∀xA(x) ⇔ A(a1)∧A(a2)∧…∧A(an)（2）∃xA(x) ⇔ A(a1)∨A(a2)∨…∨A(an)设A(x)是任意的含自由出现个体变项x的公式，则（1）┐∀xA(x) ⇔∃x┐A(x)（2）┐∃xA(x) ⇔∀x┐A(x)设A(x)是任意的含自由出现个体变项x的公式，B中不含x的出现，则（1）∀x(A(x)∨B) ⇔∀xA(x)∨B∀x(A(x)∧B) ⇔∀xA(x)∧B∀x(A(x)→B) ⇔∃xA(x)→B∀x(B→A(x)) ⇔ B→∀xA(x)（2）∃x(A(x)∨B) ⇔∃xA(x)∨B∃x(A(x)∧B) ⇔∃xA(x)∧B∃x(A(x)→B) ⇔∀xA(x)→B∃x(B→A(x)) ⇔ B→∃xA(x)设A(x)，B(x)是任意的含自由出现个体变项x的公式，则（1）∀x(A(x)∧B(x)) ⇔∀xA(x)∧∀xB(x)（2）∃x(A(x)∨B(x)) ⇔∃xA(x)∨∃xB(x)全称量词“∀”对“∨”无分配律。
离散数学等价公式表16个
离散数学等价公式表16个一、双重否定律。
1. “非非A等于A”。
就好像说“不是不喜欢那就是喜欢啦”，A和两个否定后的A是一回事儿，这就是双重否定律。
二、幂等律。
2. “A和A做合取（并且）还是A”，就像你说“苹果是水果并且苹果是水果”，这其实就等于说“苹果是水果”，这就是A合取A等价于A。
3. “A或A做析取（或者）还是A”。
好比“今天要么是晴天要么是晴天”，这和说“今天是晴天”是一样的，A析取A等价于A。
三、交换律。
4. “A和B做合取，等于B和A做合取”。
这就像说“小明是男生并且小红是女生”和“小红是女生并且小明是男生”是一样的，合取里A和B的顺序换一换不影响结果。
5. “A或B做析取，等于B或A做析取”。
比如说“要么吃苹果要么吃香蕉”和“要么吃香蕉要么吃苹果”是一样的道理，析取时A和B交换顺序结果不变。
四、结合律。
6. “A和（B和C）做合取，等于（A和B）和C做合取”。
这就好比三个人站一起，不管是先把后面两个人看成一组再和前面的组合，还是先把前面两个人看成一组再和后面的组合，最后都是这三个人站一起的关系，合取的这种组合方式结果一样。
7. “A或（B或C）做析取，等于（A或B）或C做析取”。
例如去旅游，不管是先想“去北京或者（去上海或者去广州）”，还是“（去北京或者去上海）或者去广州”，其实都是在考虑这三个地方去其中一个的选择，析取的这种组合结果相同。
五、分配律。
8. “A和（B析取C）等于（A和B）析取（A和C）”。
可以想象成你有一堆苹果（A），要分给两组人，一组是喜欢香蕉或者橙子（B析取C）的人，这就相当于把苹果分给喜欢香蕉的人（A和B）或者分给喜欢橙子的人（A和C）。
9. “A或（B合取C）等于（A或B）合取（A或C）”。
比如参加比赛，你可以是数学好（A）或者（语文好并且英语好（B合取C）），这就相当于（数学好或者语文好（A或B））并且（数学好或者英语好（A或C））。
六、德摩根律。
10. “非（A和B）等于非A或非B”。
离散数学——精选推荐
离散数学第一章命题逻辑定义1。
设P为一命题，P的否定是一个新的命题，记作¬P。
若P为T，¬P为F；若P为F，¬P为T。
联结词“¬”表示命题的否定。
否定联结词有时亦可记作“¯”。
（P3）定义2。
两个命题P和Q的合取是一个复合命题，记作P∧Q。
当且仅当P,Q同时为T时，P∧Q为T，在其他情况下，P∧Q的真值都是F。
（P4）定义3。
两个命题P和Q的析取是一个复合命题，记作P∨Q。
当且仅当P，Q同时为F时，P∨Q的真值为F，否则P∨Q的真值为T。
（P5）定义4。
给定两个命题P和Q，其条件命题是一个复合命题，记作P→Q，读作“如果P，那么Q”或者“若P则Q”。
当且仅当P的真值为T，Q的真值为F时，P→Q的真值为F，否则P→Q的真值为T。
我们称P为前件，Q为后件。
（P6）定义5。
给定两个命题P和Q，其复合命题P⇆Q的真值为F。
（P7）定义6。
命题演算的合式公式（wff），规定为：（1）单个命题变元本身是一个合式公式。
（2）如果A是合式公式，那么¬A是合式公式。
（3）如果A和B是合式公式，那么（A∧B），（A∨B），（A→B）和（A⇆B）都是合式公式。
（4）当且仅当能够有限次地应用（1），（2），（3）所得到的包含命题变元，联结词和括号的符号串是合式公式。
（P9）定义7。
在命题公式中，对于分量指派真值得各种可能组合，就确定了这个命题公式的各种真值情况，把它汇列成表，就是命题公式的真值表。
（P12）定义8。
给定两个命题公式A和B，设P1，P2，…，P n为所有出现于A和B中的原子变元，若给P1，P2，…，P n任一组真值指派，A和B的真值都相同，则称A和B是等价的或逻辑相等。
记作A⇔B。
（P15）定义9。
如果X是合式公式的A的一部分，且X本身也是一个合式公式，则称X为公式A 的字公式。
（P16）定理1。
设X是合式公式A的字公式，若X⇔Y，如果将A中的X用Y来置换，所得到公式B 与公式A等价，即A⇔B。
离散数学知识点归纳
离散数学知识点归纳一、集合论。
1. 集合的基本概念。
- 集合是由一些确定的、彼此不同的对象组成的整体。
这些对象称为集合的元素。
例如，A = {1,2,3}，其中1、2、3是集合A的元素。
- 集合的表示方法有列举法（如上述A的表示）和描述法（如B={xx是偶数且x < 10}）。
2. 集合间的关系。
- 子集：如果集合A的所有元素都是集合B的元素，则称A是B的子集，记作A⊆ B。
例如，{1,2}⊆{1,2,3}。
- 相等：如果A⊆ B且B⊆ A，则A = B。
- 真子集：如果A⊆ B且A≠ B，则A是B的真子集，记作A⊂ B。
3. 集合的运算。
- 并集：A∪ B={xx∈ A或x∈ B}。
例如，A = {1,2}，B={2,3}，则A∪B={1,2,3}。
- 交集：A∩ B = {xx∈ A且x∈ B}。
对于上述A和B，A∩ B={2}。
- 补集：设全集为U，集合A相对于U的补集¯A=U - A={xx∈ U且x∉ A}。
二、关系。
1. 关系的定义。
- 设A、B是两个集合，A× B的子集R称为从A到B的关系。
当A = B时，R称为A上的关系。
例如，A={1,2}，B = {3,4}，R={(1,3),(2,4)}是从A到B的关系。
2. 关系的表示。
- 关系矩阵：设A={a_1,a_2,·s,a_m}，B={b_1,b_2,·s,b_n}，R是从A到B的关系，则R的关系矩阵M_R=(r_ij)，其中r_ij=<=ft{begin{matrix}1,(a_i,b_j)∈ R0,(a_i,b_j)∉ Rend{matrix}right.。
- 关系图：对于集合A上的关系R，用节点表示A中的元素，若(a,b)∈ R，则用有向边从a指向b。
3. 关系的性质。
- 自反性：对于集合A上的关系R，如果对任意a∈ A，都有(a,a)∈ R，则R 是自反的。
例如，A={1,2,3}，R = {(1,1),(2,2),(3,3)}是自反关系。
离散数学公式大全总结
离散数学公式大全总结离散数学是数学中的一个分支，涵盖了许多概念和公式。
以下是一些离散数学中常见的公式和概念的总结：1. 集合理论：集合并：$A \cup B = {x | x \in A \text{或} x \in B}$集合交：$A \cap B = {x | x \in A \text{且} x \in B}$集合补：$A' = {x | x \notin A}$集合差：$A - B = {x | x \in A \text{且} x \notin B}$幂集：如果$A$有$n$个元素，$P(A)$有$2^n$个子集。
容斥原理：$|A \cup B| = |A| + |B| - |A \cap B|$2. 排列和组合：排列数：$P(n, k) = \frac{n!}{(n - k)!}$组合数：$C(n, k) = \frac{n!}{k!(n - k)!}$二项定理：$(a + b)^n = \sum_{k=0}^{n}C(n, k)a^{n-k}b^k$3. 图论：手握定理：$2 \cdot \text{边数} = \sum \text{度数}$欧拉图：一个连通图是欧拉图，当且仅当每个顶点的度数都是偶数。
哈密顿图：包含图中每个顶点的圈。
图着色：给定图中的顶点，用尽量少的颜色对它们进行着色，使得相邻的顶点颜色不相同。
图的最短路径：Dijkstra算法和Floyd-Warshall算法用于找到图中的最短路径。
4. 布尔代数：布尔变量：$0$表示假，$1$表示真。
逻辑与：$A \land B$逻辑或：$A \lor B$逻辑非：$\lnot A$逻辑与门：$AND$逻辑或门：$OR$逻辑非门：$NOT$布尔恒等定律：$A \land 1 = A$，$A \lor 0 = A$德·摩根定律：$\lnot (A \land B) = \lnot A \lor \lnot B$，$\lnot (A \lor B) = \lnot A \land \lnot B$5. 树和图：树的顶点数与边数关系：$V = E + 1$二叉树的性质：最多有$2^k$个叶子节点，高度为$h$的二叉树最多有$2^{h+1} - 1$个节点。
离散数学——公式与解释汇总.
┐、∧、∨、→、
②公式 (┐A)的括号可以省略，即(┐A) 写成 ┐A。 ③最外层的圆括号可以省略。
4
公式的解释和赋值：
设G为一个命题公式，P1, P2,…，Pn为出现在 G中的所有的命题变元.给P1, P2,…，Pn指定一组 真值，称为对G的一个赋值或解释，记作I，公式 G在I下的真值记作TI(G). 例：公式G=p∧q→r，I:p=1,q=1,r=0是G的一个解释 在这个解释下G的真值为0，即TI(G)=0。 那么111，011，010…也是G的解释. 一般来说，有n个命题变元的公式共有2n 个不同的 解释。
20
本节总结
本节主要内容有: 1.用递归的方法定义了命题公式； 2.给出了命题的解释或赋值的概念； 3.定义了公式的真值表； 4.给出了恒真、恒假及可满足公式的定义; 5.给出了两个命题公式等价的概念及13个基本的等价 式; 6.给出了命题逻辑的一个简单的实际应用.
21
公式与解释
在命题逻辑中，命题又有命题常元和命
题变元之分。一个确定的具体的命题，
称为命题常元；一个不确定的泛指的任 意命题，称为命题变元。
1
命题常元和命题变元均可用字母P等表示。由
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
关系的性质
一. 自反性
定义:设R是集合A中的关系，如果对于任意x∈A都 有<x,x>∈R (xRx)，则称R是A中自反关系。 即 R是A中自反的关系x(xAxRx) 例如： 在实数集合中,“”是自反关系，因
离散数学重要公式定理汇总
大一上
Formula
基本的等价公式
⑴ 对合律 PP ⑵ 幂等律 P∨PP P∧PP ⑶ 结合律 P∨(Q∨R)(P∨Q)∨R P∧(Q∧R)(P∧Q)∧R ⑷交换律 P∨QQ∨P P∧QQ∧P ⑸分配律 P∨(Q∧R)(P∨Q)∧(P∨R) P∧(Q∨R)(P∧Q)∨(P∧R) ⑹ 吸收律 P∨(P∧Q)P P∧(P∨Q)P ⑺德．摩根定律 (P∨Q)P∧Q (P∧Q)P∨Q
2013-12-16 7
Formula
• 蕴含的性质
*若AB且A为重言式，则B必为重言式 *若AB且BC，则AC (传递性) *若AB且AC，则A(B ∧ C) *若AB且C B，则(A∨C) B 证明见书P22
2013-12-16
8
conjunction
一、全功能真值表
2013-12-16 10
normal form
主析取范式定义 析取范式 A1∨A2∨...∨An, , 其中每个Ai (i=1,2..n) 都是小项，称之为主析取范式。 思考：主析取范式与析取范式的区别是什么？ 主析取范式的写法 方法Ⅰ：列真值表 ⑴列出给定公式的真值表。 ⑵找出真值表中每个“T”对应的真值指派再对 应的小项。 ⑶用“∨”联结上述小项，即可。
例 邻居关系和朋友关系是对称关系。
四.反对称性
定义:设R为集合A中关系,若对任何x, y∈A,如果有 xRy,和yRx,就有x=y,则称R为A中反对称关系 。
R是A上反对称的 xy((xAyAxRyyRx) x=y) xy((xAyAxyxRy)y Rx) (P112) 由R的关系图看反对称性：两个不同的结点之间 最多有一条边。 从关系矩阵看反对称性：以主对角线为对称的两 个元素中最多有一个1。 另外对称与反对称不是完全对立的，有些关系它 既是对称也是反对称的，如空关系和恒等关系。
3
2013-12-16
Formula
等价公式(前10个)与集合论的公式比较： ⑴ 对合律 ~~AA ~A表示A的绝对补集 ⑵ 幂等律 A∪AA A∩AA ⑶ 结合律 A∪(B∪C)(A∪B)∪C； A∩(B∩C)(A∩B)∩C ⑷交换律 A∪BB∪A A∩BB∩A ⑸分配律 A∪(B∩C)(A∪B)∩(A∪C) A∩(B∪C)(A∩B)∪(A∩C) ⑹ 吸收律 A∪(A∩B)A A∩(A∪B)A
F T T F
T F F F
T T F T
QP
F T T T
F F T F
c
Q C9 C10 C11 C12 C13 C14 C15 C16
9
normal form
3.析取范式与合取范式的化法 化成限定性公式。 公式E16 PQP∨Q 公式E21 PQ (P∧Q)∨(P∧Q) 公式E20 PQ (PQ)∧(QP) 公式E16 PQ (P∨Q)∧(P∨Q) 将否定联结词移到命题变量的前面。 A(P1,P2,…,Pn)A*(P1,P2,…,Pn) (P∨Q)P∧Q 、(P∧Q)P∨Q 用分配律、幂等律等公式进行整理，使之成为所 要求的形式。
⑺吸收律 对任何集合A、B，有 A∪(A∩B)=A A∩(A∪B) =A
证明: A∪(A∩B) = (A∩E)∪(A∩B) = A∩(E∪B) = A∩E=A (同一) (分配) (零律) (同一)
⑻ AB A∪B=B
差集的性质
设A、B、C是任意集合，则 ⑴ A-Φ=A ⑵ Φ-A=Φ ⑶ A-A=Φ ⑷ A-BA ⑸ AB A-B=Φ ⑹ (A-B)-C=(A-C)-(B-C) ⑺ A-(B∩C)=(A-B)∪(A-C) ⑻ A-(B∪C)=(A-B)∩(A-C) ⑼ A∩(B-C)=(A∩B)-(A∩C) 注意：∪对- 是不可分配的，如A∪(A-B)=A 而(A∪A)-(A∪B)=Φ
⑴幂等律 对任何集合A，有A∩A=A。 ⑵交换律 对任何集合A、B，有A∩B=B∩A。 ⑶结合律 对任何集合A、B、C，有 (A∩B)∩C=A∩(B∩C)。 ⑷同一律 对任何集合A，有A∩E=A。 ⑸零律 对任何集合A，有A∩Φ=Φ。 ⑹ AB A∩B=A。
交、并的性质 ⑴幂等律 对任何集合A，有A∪A=A。 ⑵交换律 对任何集合A、B，有A∪B=B∪A。 ⑶结合律 对任何集合A、B、C，有 (A∪B)∪C=A∪(B∪C)。 ⑷同一律 对任何集合A，有A∪Φ=A。 ⑸零律 对任何集合A，有A∪E =E 。 ⑹分配律 对任何集合A、B、C，有 A∩(B∪C) =(A∩B)∪(A∩C)。 A∪(B∩C) =(A∪B)∩(A∪C)。
2013-12-16 17
为了便于记忆，用图形表示上面八个公式。
xyA(x,y) yxA(x,y)
xyA(x,y) yxA(x,y)
yxA(x,y) xyA(x,y)
yxA(x,y) xyA(x,y)
2013-12-16
18
第二章 小结
2013-12-16
19Biblioteka 集合的性质2013-12-16
11
normal form
主合取范式定义 合取范式 A1∧A2∧... ∧An, , 其中每个Ai (i=1,2..n) 都是大项，称之为主合取范式。 主合取范式的写法 方法Ⅰ：列真值表 ⑴列出给定公式的真值表。 ⑵找出真值表中每个“F”对应的真值指派再对应 的大项。 ⑶用“∧”联结上述大项，即可。
2013-12-16 14
量词分配公式
1. x(A(x)∨B(x))xA(x)∨xB(x) 2. x(A(x)∧B(x))xA(x)∧xB(x) 3. x(A(x)∧B(x))xA(x)∧xB(x) 4. xA(x)∨xB(x)x(A(x)∨B(x)) 证明：设论域为{a1,a2,....,an}， x(A(x)∨B(x)) (A(a1)∨B(a1))∨(A(a2)∨B(a2))∨… ∨(A(an)∨B(an)) (A(a1)∨A(a2)∨...∨A(an))∨ (B(a1)∨B(a2)∨...∨B(an)) xA(x)∨xB(x) 2013-12-16
2013-12-16 6
Formula
3.重要的重言蕴含式(如教材第43页所示) I1.P∧QP , I2. P∧QQ I3. PP∨Q I4. QP∨Q I5. PPQ I6. QPQ I7. (PQ)P I8. (PQ)Q I9. P,Q P∧Q I10. P∧(P∨Q)Q I11. P∧(PQ)Q I12. Q∧(PQ)P I13. (PQ)∧(QR)PR I14. (P∨Q)∧(PR)∧(QR)R I15. AB (A∨C)(B∨C) I16. AB (A∧C)(B∧C)
为，对任意实数x，有x x.
从关系有向图看自反性:每个结点都有环。 从关系矩阵看自反性：主对角线都为1。
二.反自反性
定义：设R是集合A中的关系，如果对于任意的
x∈A都有<x,x>R ，则称R为A中的反自反关系。 即 R是A中反自反的x(xA<x,x>R) 从关系有向图看反自反性:每个结点都无环。 从关系矩阵看反自反性：主对角线都为0。
有关绝对补集的性质 设A、B、C是任意集合，则 ⑴ ~E=Φ ⑵ ~Φ=E ⑶~(~A)=A ⑷ A∩~A=Φ ⑸ A∪~A=E ⑹A-B=A∩~B ⑺~(A∩B)=~A∪~B ⑻ ~(A∪B)=~A∩~B ⑼AB ~B~A ⑽ ~A=B 当且仅当A∪B=E且 A∩B=Φ
有关对称差的性质
2013-12-16
12
Brief Summary
第一章 小结
知识网络：
原子命题 命题公式 永真式 永真蕴涵式 等价公式 范式 命题 复合命题 联结词
析取 合取 主析取 主合取
命题逻辑推理
直接推理
2013-12-16
条件论证
反证法
13
间接推理
量词辖域的扩充公式
• 如果Ｂ是个不含客体变元x的谓词公式，且不在 x和x的辖域内，可以将Ｂ放入x和x的辖域 内。即得如下公式： 1. xA(x)∨Bx(A(x)∨B) 2. xA(x)∧Bx(A(x)∧B) 3. xA(x)∨Bx(A(x)∨B) 4. xA(x)∧Bx(A(x)∧B) 5. B→xA(x)x(B→A(x)) 6. B→xA(x)x(B→A(x)) 7. xA(x)→Bx(A(x)→B) 8. xA(x)→Bx(A(x)→B)
如 实数的大于关系>，父子关系是反自反的。 注意：一个不是自反的关系，不一定就是反自反
的。
三.对称性 定义:R是集合A中关系,若对任何x, y∈A,如果有
xRy,必有yRx,则称R为A中的对称关系。 R是A上对称的
xy((xAyAxRy) yRx)
从关系有向图看对称性:在两个不同的结 点之间，若有边的话，则有方向相反的两 条边。 从关系矩阵看对称性：以主对角线为对 称的矩阵。
2013-12-16 2
Formula
⑻ 同一律 P∨FP ⑼ 零律 P∨TT ⑽ 互补律 P∨PT P∧TP P∧FF P∧PF
附加：
⑾ ⑿ ⒀ ⒁ ⒂ PQP∨Q PQQP PQ (PQ)∧(QP) PQ (P∨Q)∧(P∨Q) PQ (P∧Q)∨(P∧Q )
∧ ↑
P T T F F P
T T F F 2013-12-16
Q C1 C2 C3 C4 C5 C6 C7 C8 T F T F