下载文档原格式
《离散数学》期末复习大纲（完整版）（含例题和考试说明）一、命题逻辑[复习知识点]1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价↔），复合命题2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足），公式的基本等值式3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法）5、命题逻辑的推理理论本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、公式类型的判定、命题逻辑的推理[复习要求]1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。
2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简其它公式，公式在解释下的真值。
3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。
4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价方法。
5、掌握命题逻辑的推理理论。
[疑难解析]1、公式类型的判定判定公式的类型，包括判定公式是重言的、矛盾的或是可满足的。
具体方法有两种，一是真值表法，二是等值演算法。
2、范式求范式，包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等值式中的分配律、同一律和互补律（排中律、矛盾律），结果的前一步适当使用幂等律，使相同的短语（或子句）只保留一个。
3、逻辑推理掌握逻辑推理时，要理解并掌握12个（除第10，11）推理规则和3种证明法（直接证明法、附加前提证明法和归谬法）。
例1.试求下列公式的主析取范式：（1）))()((P Q Q P P ⌝∨⌝⌝∧→→；（2）)))((R Q Q P P →⌝∨→⌝∨（))()(())()((:)1P Q Q P Q P P P Q Q P P ∧∧∨∧∧⌝∨⌝=∧∧∨⌝∨⌝=原式解 Q P P P Q P P Q P ∨⌝=∨⌝∧∨⌝=∧∨⌝=)()()())(())((Q P P Q Q P ∧∨⌝∨∨⌝∧⌝=)()()(Q P Q P Q P ∧∨∧⌝∨⌝∧⌝=)))((()))(((:)2R Q Q P P R Q Q P P ∨∨∨∨=→⌝∨→⌝∨解)()()()(R Q P R Q P R Q P R Q P R Q P ∧⌝∧∨∧∧⌝∨⌝∧∧⌝∨∧⌝∧⌝=∨∨=)()()(R Q P R Q P R Q P ∧∧∨⌝∧∧∨⌝∧⌝∧∨）2．用真值表判断下列公式是恒真？恒假？可满足？（1）（P ∧⌝P ）↔Q（2）⌝（P →Q ）∧Q（3）（（P →Q ）∧（Q →R ））→（P →R ）解：（1） 真值表因此公式（1）为可满足。
离散数学期末复习要点与重点离散数学计算机科学与技术专业的一门统设必修学位课程，共60学时，开设一学期．该课程的主要内容包括：数理逻辑、集合论、图论等．第1章 命题逻辑复习要点1．理解命题概念，会判别语句是不是命题．理解五个联结词：否定⌝P 、析取∨、合取∧、条件→、和双条件↔及其真值表，会将简单命题符号化．具有确定真假意义的陈述句称为命题．命题必须具备：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2．了解公式的概念(公式、赋值、成真赋值和成假赋值)和公式真值表的构造方法．能熟练地作公式真值表．理解永真式和永假式概念，掌握其判别方法．判定命题公式类型的方法：其一是真值表法，其二是等值演算法.3．了解公式等价概念，掌握公式的重要等价式和判断两个公式是否等价的有效方法：等值演算法、列真值表法和主范式方法．4．理解析取范式和合取范式、极大项和极小项、主析取范式和主合取范式的概念以及和成真赋值、成假赋值的关系，熟练掌握它们的求法．命题公式的范式不惟一，但主范式是惟一的．5．了解C 是前提集合{A 1,A 2,…,A m }的有效结论或由A 1, A 2, …, A m 逻辑地推出C 的概念．要理解并掌握推理理论的规则、重言蕴含式和等价式，掌握命题公式的证明方法：真值表法、直接证法、间接证法．重点：命题与联结词，公式与解释，真值表，公式的类型及判定，主析取(合取)范式，命题演算的推理理论.第2章 谓词逻辑复习要点1．理解谓词、量词、个体词、个体域，会将简单命题符号化．原子命题分成个体词和谓词，个体词可以是具体事物或抽象的概念，分个体常项和个体变项．谓词用来刻划个体词的性质或之间的关系．量词分全称量词∀，存在量词∃.命题符号化注意：使用全称量词∀，特性谓词后用→；使用存在量词∃，特性谓词后用∧．2．了解原子公式、谓词公式、变元(约束变元和自由变元)与辖域等概念．掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法．由原子公式、联结词和量词构成谓词公式．谓词公式具有真值时，才是命题．在谓词公式∀xA 或∃xA 中，x 是指导变元，A 是量词的辖域．会区分约束变元和自由变元．在非空集合D (个体域)上谓词公式A 的一个解释或赋值有3个条件．在任何解释下，谓词公式A 取真值1，A 为逻辑有效式(永真式)；公式A 取真值0，A 为永假式；至少有一个解释使公式A 取真值1，A 称为可满足式．会求谓词公式的真值，量词的辖域，自由变元、约束变元，以及换名规则、代入规则等． 掌握谓词演算的等值式和重言蕴含式．并进行谓词公式的等价演算．3．了解前束范式的概念，会求公式的前束范式的方法.若一个谓词公式F 等价地转化成 B x Q x Q x Q k k ...2211，那么B x Q x Q x Q k k ...2211就是F 的前束范式，其中Q 1，Q 2，…，Q k 只能是∀或∃，而x 1, x 2, …, x k 是个体变元，B 是不含量词的谓词公式．前束范式仍然是谓词公式．重点：谓词与量词，公式与解释，谓词演算．第3章 集合及其运算复习要点1．理解集合、元素、集合的包含、子集、相等，以及全集、空集和幂集等概念，熟练掌握集合的表示方法．具有确定的，可以区分的若干事物的全体称为集合，其中的事物叫元素.．集合的表示方法：列举法和描述法.注意：集合的表示中元素不能重复出现，集合中的元素无顺序之分．掌握集合包含(子集)、真子集、集合相等等概念．注意：元素与集合，集合与子集，子集与幂集，∈与⊂(⊆),空集∅与所有集合等的关系. 空集∅，是惟一的，它是任何集合的子集． 集合A 的幂集P (A )＝}{A x x ⊆， A 的所有子集构成的集合．若∣A ∣＝n ，则∣P (A )∣=2n ．2．熟练掌握集合A 和B 的并A ⋃B ，交A ⋂B ，补集~A (~A 补集总相对于一个全集).差集A －B ，对称差⊕，A ⊕B ＝(A －B )⋃(B －A )，或A ⊕B ＝(A ⋃B )－（A ⋂B ）等运算，并会用文氏图表示．掌握集合运算律.3．掌握用集合运算基本规律证明集合恒等式的方法．集合的运算问题：其一是进行集合运算；其二是运算式的化简；其三是恒等式证明． 证明方法有二：(1)要证明A ＝B ，只需证明A ⊆B ，又A ⊇B ；(2)通过运算律进行等式推导．重点：集合概念，集合的运算，集合恒等式的证明．第4章 关系与函数复习要点1．了解有序对和笛卡儿积的概念，掌握笛卡儿积的运算．有序对就是有顺序二元组，如<x , y >，x , y 的位置是确定的，不能随意放置．注意：有序对<a ，b >≠<b , a >，以a , b 为元素的集合{a , b }={b , a }；有序对<a , a >有意义，而集合{a , a }是单元素集合，应记作{a }．集合A ，B 的笛卡儿积A ×B 是一个集合，规定A ×B ＝{<x ,y >∣x ∈A ,y ∈B }，是有序对的集合.笛卡儿积也可以多个集合合成，A 1×A 2×…×A n ．2．理解关系的概念：二元关系、空关系、全关系、恒等关系.掌握关系的集合表示、关系矩阵和关系图，掌握关系的集合运算和求复合关系、逆关系的方法．二元关系是一个有序对集合，},{B y A x y x R ∈∧∈><=，记作xRy ．空关系∅是唯一、是任何关系的子集的关系；全关系},,{A b a b a E A ∈><=A A ⨯≡；恒等关系},{A a a a I A ∈><=，恒等关系的矩阵M I 是单位矩阵．关系的集合运算有并、交、补、差和对称差．复合关系}),,(,{2121R c b R b a b c a R R R >∈<∧>∈<∃><=•=；复合关系矩阵：21R R R M M M ⨯=(按布尔运算)；有结合律：(R •S )•T ＝R •(S •T )，一般不可交换．逆关系},,{1R y x x y R >∈<><=-；逆关系矩阵满足：T R R M M =-1；复合关系与逆关系存在：(R •S )－1=S －1•R －1．3．理解关系的性质(自反性和反自反性、对称性和反对称性、传递性的定义以及矩阵表示或关系图表示)，掌握其判别方法(利用定义、矩阵或图，充分条件)，知道关系闭包的定义和求法．注：(1)关系性质的充分必要条件：① R 是自反的⇔I A ⊆R ；②R 是反自反的⇔I A ⋂R ＝∅；③R 是对称的 ⇔R ＝R －1；④R 是反对称的⇔R ⋂R －1⊆I A ；⑤R 是传递的⇔R •R ⊆R .(2)I A 具有自反性，对称性、反对称性和传递性．E A 具有自反性，对称性和传递性．故I A ，E A 是等价关系．∅具有反自反性、对称性、反对称性和传递性．I A 也是偏序关系．4．理解等价关系和偏序关系概念，理解集合上等价关系与划分一一对应的关系、掌握划分的求法和做偏序集哈斯图的方法．知道极大(小)元，最大(小)元的概念，会求极大(小)元、最大(小)元、上界和下界、最小上界和最大下界．等价关系和偏序关系是具有不同性质的两个关系.⎩⎨⎧==+⎭⎬⎫⎩⎨⎧+偏序关系等价关系传递性反对称性对称性自反性 知道等价关系图的特点和等价类定义，会求等价类．一个子集的极大(小)元可以有多个，而最大(小)元若有，则惟一.且极元、最元只在该子集内；而上界与下界可以在子集之外．由哈斯图便于确定任一子集的最大(小)元，极大(小)元．5．理解函数概念：函数(映射)，函数相等，复合函数和反函数。
《离散数学》期末复习《离散数学》期末复习内容：第一章~第七章题型：一、选择题（20%，每题2分）二．填空题（20%，每题2分）三、计算题（20%，每题5分）四、证明题（20%，每题5分）五、判断题（20%，每题2分）第1章数学语言与证明方法1.1 常用的数学符号1.计算常用的数学符号式子1.2 集合及其表示法1.用列举法和描述法表示集合2.判断元素与集合的关系(属于和不属于)3.判断集合之间的包含与相等关系，空集(E)，全集(?)4.计算集合的幂集5.求集合的运算：并、交、相对补、对称差、绝对补6.用文氏图表示集合的运算7.证明集合包含或相等方法一：根据定义, 通过逻辑等值演算证明方法二：利用已知集合等式或包含式, 通过集合演算证明1.3 证明方法概述1、用如下各式方法对命题进行证明。
直接证明法：A→B为真间接证明法：“A→B为真” ?“ ?B→ ?A为真”归谬法(反证法)：A∧?B→0为真穷举法：A1→B, A2→B,…, A k→B 均为真构造证明法：在A为真的条件下, 构造出具有这种性质的客体B ?空证明法：“A恒为假” ?“A→B为真”平凡证明法：“B恒为真” ?“A→B为真”数学归纳法：第2章命题逻辑2.1 命题逻辑基本概念1、判断句子是否为命题、将命题符号化、求命题的真值（0或1）。
命题的定义和联结词(?, ∧, ∨, →, ?)2、判断命题公式的类型赋值或解释.成真赋值,成假赋值；重言式(永真式)、矛盾式(永假式)、可满足式:。
2.2 命题逻辑等值演算1、用真值表判断两个命题公式是否等值2、用等值演算证明两个命题公式是否等值3、证明联结词集合是否为联结词完备集2.3 范式1、求命题公式的析取范式与合取范式2、求命题公式的主析取范式与主合取范式（两种主范式的转换）3、应用主析取范式分析和解决实际问题2.4 命题逻辑推理理论1、用直接法、附加前提、归谬法、归结证明法等推理规则证明推理有效第3章一阶逻辑3.1 一阶逻辑基本概念1、用谓词公式符号命题（正确使用量词）2、求谓词公式的真值、判断谓词公式的类型3.2 一阶逻辑等值演算1、证明谓词公式的等值式2、求谓词公式的前束范式第4章关系4.1 关系的定义及其表示1、计算有序对、笛卡儿积2、计算给定关系的集合3、用关系图和关系矩阵表示关系4.2 关系的运算1、计算关系的定义域、关系的值域2、计算关系的逆关系、复合关系和幂关系3、证明关系运算满足的式子4.3 关系的性质1、判断关系是否为自反、反自反、对称、反对称、传递的2、判断关系运算与性质的关系3、计算关系自反闭包、对称闭包和传递闭包4.4 等价关系与偏序关系1、判断关系是否为等价关系2、计算等价关系的等价类和商集3、计算集合的划分4、判断关系是否为偏序关系5、画出偏序集的哈期图6、求偏序集的最大元、最小元、极小元、极大元、上界、下界、上确界、下确界7、求偏序集的拓扑排序第5章函数1.判断关系是否为函数2.求函数的像和完全原像3.判断函数是否为满射、单射、双射4.构建集合之间的双射函数5.求复合函数6.判断函数的满射、单射、双射的性质与函数复合运算之间的关系7.判断函数的反函数是否存在，若存在求反函数第6章图1.指出无向图的阶数、边数、各顶点的度数、最大度、最小度2.指出有向图的阶数、边数、各顶点的出度和入度、最大出度、最大入度、最小出度最小入出度3.根据握手定理顶点数、边数等4.指出图的平行边、环、弧立点、悬挂顶点和悬挂边5.判断给定的度数列能否构成无向图6.判断图是否为简单图、完全图、正则图、圈图、轮图、方体图7.求给定图的补图、生成子图、导出子图8.判断两个图是否同构6.2 图的连通性1.求图中给定顶点通路、回路的距离2.计算无向图的连通度、点割集、割点、边割集、割边3.判断有向图的类型：强连通图、单向连通图、弱连通图6.3 图的矩阵表示1.计算无向图的关联矩阵2.计算有向无环图的关联矩阵3.计算有向图的邻接矩阵4.计算有向图的可达矩阵5.计算图的给定长度的通路数、回路数6.4 几种特殊的图1、判断无向图是否为二部图、欧拉图、哈密顿图第7章树及其应用7.1 无向树1.判断一个无向图是否为树2.计算无向树的树叶、树枝、顶点数、顶点度数之间的关系3.给定无向树的度数列，画出非同构的无向树4.求生成树对应的基本回路系统和基本割集系统5.求最小生成树7.2 根树及其应用1.判断一个有向图是否为根树2.求根树的树根、树叶、内点、树高3.求最优树4.判断一个符号串集合是否为前缀码5.求最佳前缀码6.用三种方法遍历根树。
第1章命题逻辑本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定, (主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。
命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2. 六个联结词及真值表“⌝”否定联结词，P是命题，⌝P是P的否命题，是由联结词⌝和命题P组成的复合命题.P取真值1，⌝P取真值0，P取真值0，⌝P取真值1. 它是一元联结词.“∧”合取联结词，P∧Q是命题P，Q的合取式，是“∧”和P，Q组成的复合命题. “∧”在语句中相当于“不但…而且…”，“既…又…”. P∧Q取值1，当且仅当P，Q均取1；P∧Q取值为0，只有P，Q之一取0.“∨”析取联结词，“⎺∨”不可兼析取(异或)联结词，P∨Q是命题P，Q的析取式，是“∨”和P，Q组成的复合命题. P⎺∨Q是联结词“⎺∨”和P，Q组成的复合命题. 联结词“∨”或“⎺∨”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或. 即“P⎺∨Q”↔“(⌝P∧Q)∨(P∧⌝Q)”. P∨Q取值1，只要P，Q之一取值1，P∨Q取值0，只有P，Q都取值0.“→”蕴含联结词，P→Q是“→”和P，Q组成的复合命题，只有P取值为1，Q 取值为0时，P→Q取值为0；其余各种情况，均有P→Q的真值为1，亦即1→0的真值为0，0→1，1→1，0→0的真值均为1. 在语句中，“如果P则Q”或“只有Q，才P，”表示为“P→Q”.“↔” 等价联结词，P↔Q是P，Q的等价式，是“↔”和P，Q组成的复合命题. “↔”在语句中相当于“…当且仅当…”，P↔Q取值1当且仅当P，Q真值相同.3. 命题公式、赋值与解释，命题公式的分类与判别命题公式与赋值，命题P含有n个命题变项P1，P2,…,P n，给P1，P2,…,P n各指定一个真值，称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1，则这组值为P 的真指派；若使P的真值为0，则称这组值称为P的假指派.命题公式分类，在各种赋值下均为真的命题公式A，称为重言式(永真式)；在各种赋值下均为假的命题公式A，称为矛盾式(永假式)；命题A不是矛盾式，称为可满足式；判定命题公式类型的方法：其一是真值表法，任给公式，列出该公式的真值表，若真值表的最后一列全为1，则该公式为永真式；若真值表的最后一列全为0，则该公式是永假式；若真值表的最后一列既非全1，又非全0，则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材P.16的十六个等值式或演算律)，对给定公式进行等值推导，若该公式的真值为1，则该公式是永真式；若该公式的真值为0，则该公式为永假式.既非永真，也非用假，成为非永真的可满足式.其三主析取(合取)范式法，该公式的主析取范式有2n个极小项(即无极大项)，则该公式是永真式；该公式的主合取范式有2n个极大项(即无极小项)，则该公式是永假式；该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,，则该公式是可满足式.等值式A⇔B，命题公式A，B在任何赋值下，它们的真值均相同，称A，B等值。
离散数学复习资料离散数学最全复习资料第1章命题逻辑本章重点：命题与联结词，公式与解释，真值表，公式的类型及判定, (主)析取(合取)范式，命题逻辑的推理理论.一、重点内容1. 命题命题表述为具有确定真假意义的陈述句。
命题必须具备二个条件：其一，语句是陈述句；其二，语句有唯一确定的真假意义.2. 六个联结词及真值表“?”否定联结词，P是命题，?P是P的否命题，是由联结词?和命题P组成的复合命题.P取真值1，?P取真值0，P取真值0，?P取真值1. 它是一元联结词.“∧”合取联结词，P∧Q是命题P，Q的合取式，是“∧”和P，Q组成的复合命题. “∧”在语句中相当于“不但…而且…”，“既…又…”. P∧Q取值1，当且仅当P，Q均取1；P∧Q取值为0，只有P，Q之一取0.“∨”析取联结词，“?∨”不可兼析取(异或)联结词，P∨Q是命题P，Q的析取式，是“∨”和P，Q组成的复合命题. P?∨Q是联结词“?∨”和P，Q组成的复合命题. 联结词“∨”或“?∨”在一个语句中都表示“或”的含义，前者表示相容或，后者表示排斥或不相容的或. 即“P?∨Q”?“(?P∧Q)∨(P∧?Q)”. P∨Q取值1，只要P，Q之一取值1，P∨Q取值0，只有P，Q都取值0.“→”蕴含联结词，P→Q是“→”和P，Q组成的复合命题，只有P取值为1，Q 取值为0时，P→Q取值为0；其余各种情况，均有P→Q的真值为1，亦即1→0的真值为0，0→1，1→1，0→0的真值均为1. 在语句中，“如果P则Q”或“只有Q，才P，”表示为“P→Q”.“?” 等价联结词，P?Q是P，Q的等价式，是“?”和P，Q组成的复合命题. “?”在语句中相当于“…当且仅当…”，P?Q取值1当且仅当P，Q真值相同.3. 命题公式、赋值与解释，命题公式的分类与判别命题公式与赋值，命题P含有n个命题变项P1，P2,…,P n，给P1，P2,…,P n各指定一个真值，称为对P的一个赋值(真值指派). 若指定的一组值使P的真值为1，则这组值为P 的真指派；若使P的真值为0，则称这组值称为P的假指派.命题公式分类，在各种赋值下均为真的命题公式A，称为重言式(永真式)；在各种赋值下均为假的命题公式A，称为矛盾式(永假式)；命题A不是矛盾式，称为可满足式；判定命题公式类型的方法：其一是真值表法，任给公式，列出该公式的真值表，若真值表的最后一列全为1，则该公式为永真式；若真值表的最后一列全为0，则该公式是永假式；若真值表的最后一列既非全1，又非全0，则该公式是可满足式.其二是推导演算法. 利用基本等值式(教材P.16的十六个等值式或演算律)，对给定公式进行等值推导，若该公式的真值为1，则该公式是永真式；若该公式的真值为0，则该公式为永假式.既非永真，也非用假，成为非永真的可满足式.其三主析取(合取)范式法，该公式的主析取范式有2n个极小项(即无极大项)，则该公式是永真式；该公式的主合取范式有2n个极大项(即无极小项)，则该公式是永假式；该公式的主析取(或合取)范式的极小项(或极大项)个数大于0小于2n,，则该公式是可满足式.等值式A ?B ，命题公式A ，B 在任何赋值下，它们的真值均相同，称A ，B 等值。
离散数学内容总结第一篇 数理逻辑第1章 命题逻辑 求命题公式的主析取范式及主合取范式例 求()()p r q p ∨⌝∧∨的主析取范式及主合取范式。
主析取范式()()110100*********010100101110111()()()()()()()p q r pp r q r pp q r p q r p q r p q r p q r m m m m m m m m m m ∨∧⌝∨⇔∧⌝∨∧⌝∨⇔∧∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨∧∧∨∧⌝∧⇔∨∨∨∨⇔∨∨∨∨ 主合取范式000001011(())()()()()()()()()p q r pp q p p r p q p r p q r p q r p q r p q r M M M ∨∧⌝∨⇔∨∨∧∨⌝⇔∨∧∨⌝⇔∨∨∧∨∨⌝∧∨∨⌝∧∨⌝∨⌝⇔∧∧例 求(P →Q)∧R 的主析取范式及主合取范式。
()()()()p q rp q rp r q r →∧⇔⌝∨∧⇔⌝∧∨∧ 例 求命题公式R Q P ∨∧)(的主析取范式和主合取范式。
()()()P Q R P R Q R ∧∨⇔∨∧∨ 例 求公式A =(p →⌝q )→r 的主析取范式与主合取范式。
()()()()()p q rp q rp q rp r q r →⌝→⇔⌝⌝∨⌝∨⇔∧∨⇔∨∧∨例 求()r q p →→的主析取范式。
()()()()()p q rp q r p q rp r q r →→⇔⌝⌝∨∨⇔∧⌝∨⇔∨∧⌝∨ 判断公式类型例 用等值演算法判断公式q ∧⌝ (p →q )的类型()()()q p q q p q q p q ∧⌝→⇔∧⌝⌝∨⇔∧∧⌝⇔ 例 判断下列命题公式的类型（永真式、永假式、可满足式），方法不限。
(1)()()()()()()1p q p q p q p q p q p q ∧⌝→∨⇔⌝∧⌝∨∨⇔⌝∨∨∨⇔(2)()(())()(())1(0)000p p q q r p p p q q r p r p ∨⌝→∧⌝∧⌝∧⇔⌝∨⌝∨∧⌝∧⌝∧⇔⌝∨∧⌝∧⇔∨⇔ 证明例 证明：()()()r q r p r q p →∧→⇔→∨()()()()()()()p q rp q rp q r p r q r p r q r ∨→⇔⌝∨∨⇔⌝∧⌝∨⇔⌝∨∧⌝∨⇔→∧→例 证明：r q p r q p →∧⇔→→)()(()()()()()p q r p q r p q r p q rp q r→→⇔⌝∨⌝∨⇔⌝∨⌝∨⇔⌝∧∨⇔∧→例 推证：⌝Q ∧(P →Q)⇒⌝P()()()()q p q q p q q p q q q pp⌝∧→⇒⌝∧⌝∨⇒⌝∧⌝∨∧⌝⇒⌝∧⌝⇒⌝例 前提：q p s q r p ∨→→,,，结论：s r ∨。
