展开 摩根定理证明集合