给定代数系统(G,+,*),二元运算见表一,表二:证明(G,+,*)是域。
问答题设B 是任意集合,试验证(P(B),⊕)是群,P(B)是集合B 的幂集,⊕是集合的对称差运算。
问答题证明:∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x))。
问答题证明:P →(Q →R)⇔P ∧Q →R。
问答题形式证明:p→q∨r,s→¬r,p∧s⇒q 。
问答题设〈G,*〉是群,具有幺元e,如果对G 的任意元素a,都有a2=e,则证明〈G,*〉是交换群。