离散数学2：基本概念公式层次：单个的命题变项A是0层公式。如果A是n层公式，B是m层公式，那么￢A是n+1层公式；C=A∧B,C=A∨B,C=A→B,C=A↔B的层次是：max(n,m)+1。比如（￢(p→￢q)∧((r∨...

严格定义的公式可以根据左边或者右边的括号来确定其层数

严格定义的公式可以根据左边或者右边的括号来确定其层数

等值演算公式，1，A可为非非A（双重否定律）2，A可为AVA（幂等律）3，A可为A^A（幂等律）4，AVB可为BVA（交换律）5，A^B可为B^A（交换律）6，AV（BVC）可为（AVB）VC（结合律）7，A^（B^C）可为（A^B）...

关系运算于S的元组组成的集合，运算符为－。记为T=R－S。3、交（INTERSECTION）　R和S的交是由既属于R又属于S的元组组成的集合，运算符为∩。记为T=R∩S。　R∩S=R－（R－S）。离散数学的关系合成运算举例：...

2，3》。三，《1，2》《3》四，《1，3》《2》。五《1》《2》《3》再求每种划分下的等价关系：就如一，等价关系是,<（1，1）（2,2）（3,3）>二，<(1,1)(2,2)(2,3)(3,2)(3,3)>其他的相同...

基本等价式：1)E1:(G«H)Û(G→H)∧(H→G)(等价)2)E2：(G→H)Û(～G∨H)(蕴涵)3)E3：G∨GÛG(幂等律)E4：G∧GÛG4)E5：G∨HÛH∨G...

真值表检验：当B为真,无论A,(A→B)∧非B都为假,所以(A→B)∧非B不等价于非A,而等价于非A与非B将B=非B代入：(A→B)∧非B,有：(A→非B)∧非（非B）也就是(A→非B)∧B,所以两个公式等价...

Z6={0,1,2,3,4,5}，那个运算是模6加法，x与y的运算结果是x+y除以6的余数。其单位元是0，求2的阶，那就是看最少有多少个2相加能够整除6，自然是3了

离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在计算机科学与技术领域有着广泛的应用。课程内容涉及集合论部分、图论部分、代数结构部分、组合数学部分、数理逻辑部分。