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