ug规则使用说明离散数学.docxVIP

全称推广规则：universal generalization； 全称特指规则：universal specification； 存在推广规则：existential generalization； 存在特指规则：existential specification；? ? 用来在证明时，需要添加或摘去谓词逻辑的时候E.G：在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。 离散数学”中的布尔代数：基于0、1这两个整数，我们额外赋予它们一些性质与运算，此情况下所组成的系统我们成为布尔代数，这也就是我们在写程序时常常看到的boolean值。 扩展资料： 离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关，它可以引导人们进入计算机科学的思维领域，促进了计算机科学的发展。