离散数学公式？离散数学等值演算公式有：交换律：A ∨ B ⇔ B ∨ A；A ∧ B ⇔ B ∧ A。结合律：(A ∨ B) ∨ C ⇔ A ∨ (B ∨ C)；(A ∧ B) ∧ C ⇔ A ∧ (B ∧ C)。那么，离散数学公式？一起来了解一下吧。
离散数学笔记（1.2）合式公式与真值表如下：
一、合式公式
原子命题：不可再分的命题，即不包含任何逻辑联结词的命题
命题变元：公式中没有确定真值的变量，其真值只能在0,1两者中选择
合式公式（递归定义法）：
①真值1和0是合式公式；
②原子命题公式是一个合式公式；
③如果A是合式的公式，那么¬A是合式公式；
④如果A和B均是合式的公式，那么A∧B,A∨B,A→B,A↔B都是合式公式；
⑤当且仅当有限次地应用①至④条规则由逻辑联结词、圆括号所组成的有意义的符号串是合式的公式。
我们把合式的公式简称为命题公式。
一般一个命题公式的真值是不确定的，只有用确定的命题去取代命题公式中的命题变元，或对其中的命题变元进行真值指派时，命题公式才成为具有确定真值的命题。
二、真值表
设A为一命题公式，对其中出现的命题变元做所有可能的每一组真值指派S，连同公式A相应S(A)的取值汇列成表，称为A的真值表。
一个真值表由两部分构成：
①表的左半部分列出公式的每一种解释；
②表的右半部分给出相应每种解释公式得到的真值。
等值演算公式，
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）^C（结合律）
8，AV（B^C）可为（AVB）^（AVC）（分配律）
9，A^（BVC）可为（A^B）V（A^C）（分配律）
10，非（AVB）可为非A^非B（德摩根律）
11，非（A^B）可为非AV非B（德摩根律）
12，AV（A^B）可为A（吸收律）
13，A^（AVB）D可为A（吸收律）
14，AV1可为1（零一律）
15，A^0可为0（零一律）
16，AV0可为A（同一律）
17，A^1可为A（同一律）
18，A^非A可为0（矛盾律）
19，AV非A可为1（排中律）
20，A→B可为非AVB（蕴含等值式）
21，A等价B可为（A→B）^（B→A）（等价等值式）
22，A→B可为非A等价非B（假合易位）
23，A等价B可为非A等价B（双条件否定等值式）
24，（A→B）^（A→非B）可为非A（归谬论）
（1，0分别代表永真式，永假式）
望采纳，谢谢。
基本等价式 ：
1) E1:(G« H)Û(G→H)∧(H→G) (等价)
2) E2：(G→H) Û(～G∨H) (蕴涵)
3) E3：G∨G Û G(幂等律)
E4：G∧G Û G
4) E5：G∨H Û H∨G (交换律)
E6：G∧H Û H∧G
5) E7：G∨(H∨S) Û(G∨H)∨S (结合律)
E8: G∧(H∧S) Û(G∧H)∧S
6) E9：G∨(G∧H) Û G(吸收律)
E10：G∧(G∨H) Û G
7) E11：G∨(H∧S) Û(G∨H)∧(G∨S) (分配律)
E12：G∧(H∨S) Û(G∧H)∨(G∧S)
8) E13：G∨F Û G (同一律)
E14：G∧TÛ G
9) E15：G∨TÛ T (零律)
E16：G∧FÛ F
10) E17：G∨～G Û T (矛盾律)
11) E18：G∧～G Û F
12) E19：～ (～G) Û G (双重否定律)
13) E20：（G∧H)→S Û G→（H→S）（输出律）√
14) E21：（GÑH）Û(～G∧H)∨(G∧～H)(排中律)
15) E22：P→Q Û ～Q→～P （逆反律）√
16) E23：～ (G∨H) Û ～G∧～H (De Morgan定律)
E24：～ (G∧H) Û ～G∨～H。
离散数学等值演算公式介绍如下：
离散数学等值演算公式有：
交换律：A ∨ B ⇔ B ∨ A；A ∧ B ⇔ B ∧ A。
结合律：(A ∨ B) ∨ C ⇔ A ∨ (B ∨ C)；(A ∧ B) ∧ C ⇔ A ∧ (B ∧ C)。
分配律：A ∨ (B ∧ C) ⇔ (A ∨ B) ∧ (A ∨ C)；A ∧ (B ∨ C) ⇔ (A ∧ B) ∨ (A ∧ C)。
双重否定律：A ⇔ ¬(¬A)。
等幂律：A ⇔ A ∨ A；A ⇔ A ∧ A。
吸收律：A ∨ (A ∧ B) ⇔ A；A ∧ (A ∨ B) ⇔ A。
什么是离散数学
离散数学(Discrete mathematics)是数学的几个分支的总称,以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是有限个或可数无穷个元素；因此它充分描述了计算机科学离散性的特点。
内容包含：数理逻辑、集合论、代数结构、图论、组合学、数论等。
由于数字电子计算机是一个离散结构,它只能处理离散的或离散化了的数量关系,因此,无论计算机科学本身,还是与计算机科学及其应用密切相关的现代科学研究领域,都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化,从而可由计算机加以处理。
离散数学定义: t(R) = R u R^2 u R^3 u..... 其中R^(n+1) = R^n 复合 R 矩阵表示: M(R) = M + M^2 + M^3 +....+M^n(其中加为逻辑加) 所以我们只要按照这个公式每次更新M,最后的Mn就是传递闭包。
大数据技术专业学的有：程序设计实践、离散数学、数据结构、数学分析。
1、程序设计实践，是根据教育部对计算机小公共课程，“程序设计及应用”的教学要求编写的，将启发式教学方法变成可操作的教学方法，通过任务驱动、项目引领实施可操作的启发式教学，实现了“教”与“学”互动。《程序设计与实践》以Visual Basic2008为编程环境。
2、离散数学是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。
3、数据结构是计算机存储、组织数据的方式。数据结构是指相互之间存在一种或多种特定关系的数据元素的集合。通常情况下，精心选择的数据结构可以带来更高的运行或者存储效率。数据结构往往同高效的检索算法和索引技术有关。
以上就是离散数学公式的全部内容，基本等价式：1、E1:(G_H)_(G→H)∧bai(H→G)du(等价)2、E2：(G→H)_(～G∨H)(蕴涵zhi)3、E3：G∨G_G(幂等律)E4：G∧G_G 4、E5：G∨H_H∨G(交换律dao)E6：G∧H_H∧G 5、。
