一、基本运算的性质

  集合的三种运算 分别是用逻辑连接词定义的,因此它们具有和类似的性质,下面给出它们满足的一些基本规律。
  定理9.5.1
  求证(3)
  求证(5)
  定理9.5.2
  定理9.5.3
  定理9.5.4