问答题
设非空集合A,验证(P(A),∪,∩,~,∅,A)是布尔代数。
是的,(P(A),∪,∩,~,∅,A)是布尔代数。布尔代数是一种代数系统,它由一组元素和定义在这些元素上的两个二元运算(......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 证明如果非空集合A 上的二元关系R 和S 是偏序关系,则R∩S也是A上的偏序关系。
问答题 设B 是任意集合,试验证(P(B),⊕)是群,P(B)是集合B 的幂集,⊕是集合的对称差运算。
问答题 证明:∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x))。