eg是什么意思？

Question

如题所述

Answer 1

eg在数学中代表存在推广规则（存在量词引入规则），这是离散数学中的缩写，全拼为existential generalization。其他代表有：

全称推广规则：universal generalization。

全称特指规则：universal specification。

存在推广规则：existential generalization。

存在特指规则：existential specification。

用来在证明时，需要添加或摘去谓词逻辑的时候E.G：在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。

离散数学”中的布尔代数：基于0、1这两个整数，我们额外赋予它们一些性质与运算，此情况下所组成的系统我们成为布尔代数，这也就是我们在写程序时常常看到的boolean值。

离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关，它可以引导人们进入计算机科学的思维领域，促进了计算机科学的发展。