数学公式：已知P(A)=0.4,P(B)=0.3，又知A与B互不相容，试求：P(A|B),P(A+B),P(非AB),P(非A非B）,P（非A+B
P(A/B)=0.4乘以0.3=0.12
P(A+B)=0.4+0.3=0.7
P(非AB)=(1-0.4)乘以0.3=0.18
P(非A非B)=(1-0.4)乘以(1-0.3)=0.42
P(非A+B)=1-0.4+0.3=0.9
离散数学中UI,EI,UG,EG规则的使用规律
用来在证明时你需要添加或摘去谓词逻辑的时候（也就是从谓词转成命题的时候）
E.G:
在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。