基本证明方式(2) ■利用运算定义作逻辑等值式推演 口例：A-BUC)=(A-B)⌒(A-C) A-(BUC)={x|XEA,but xeBUC} ={x|XEA,but (xgB and xgC)} ={x(x∈A,but xeB)and(x∈A,but xgC)} =(A-B)⌒(A-C) 另一种等价的描述方式： X∈A-(BUC)→(X∈A)A(XE(BUC)台X∈AΛXEB∧xEC 台(X∈A∧XEB)∧(X∈A∧XEC) 台(X∈(A-B)∧(X∈(A-C) 台X∈(A-B)∩(A-C)】基本证明方式（2）  利用运算定义作逻辑等值式推演  例：A-(BC) = (A-B)  (A-C) A-(BC)={x|xA, but xBC} ={x| xA, but (xB and xC)} ={x|(xA, but xB) and (xA, but xC)} = (A-B)  (A-C) 另一种等价的描述方式： xA-(BC)  (xA) ⋀ (x(BC))  xA⋀ xB ⋀ xC  (xA⋀ xB) ⋀ (xA⋀ xC)  (x(A-B)) ⋀ (x(A-C))  x((A-B)  (A-C))