离散数学中UI,EI,UG,EG规则的使用规律
用来在证明时你需要添加或摘去谓词逻辑的时候（也就是从谓词转成命题的时候）
E.G:
在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。
UG 如果两个实体交叉，相互贯穿。如何将相交部分删除。 用求和后如何，将两个体拆分出来。
求交里的设置保存工具保存目标打勾，然后两个体分别与这个求交体求差，第一个体求差时在求差设置里保存工具打勾，第二个体求差时把保存工具对钩去掉就可以把两个实体间相交部分删除了，但是注意，删除相交部分后的这两个体互为非歧义实体（即出现厚度为0的边界），因此不能求和，如果求和后参数还在，就把导航器中求和的那一步的对钩去掉，然后重复上述操作，如果没有参数就需要用分割体分割