离散数学中UI,EI,UG,EG规则的使用规律
用来在证明时你需要添加或摘去谓词逻辑的时候（也就是从谓词转成命题的时候）
E.G:
在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。
一次数学考试共有50题,规定答对一题得2分,答错一题扣1分,未答得题不计分。考试结束后，小明得了81分。
50题如果全部答对可得100分，但有奇数道题目没有答，没答一题少得2分，没答三题少得6分……
于是，如果没有答错的题，得分应该是98、94……一定是偶数。
然而得分是81，这说明小明因为答错而少得了98-81=17分、94-81=13分……
答错一题比答对一题少得3分，所以在17、13……里找可以被3除开的数——9。
9÷3=3，说明答错3道。如果不答错这3道题，小明可以得81+9=90分，说明他有（100-90）÷2=5题没答，有50-3-5=42题答对。