基本证明方式(2) ■利用运算定义作逻辑等值式推演 口 例：A-(BUC)=(A-B)n(A-C) A-(BUC)={x|XEA,but xeBUC} ={x]XEA,but (xeB and xeC)} ={xX(X∈A,but xeB)and(X∈A,but xeC)} =(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)={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))