问答题
设G={a+bi∣a，b∈Z}，i为虚数单位，即i2=-1，验证G关于复数加法构成群。
问答题 设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
问答题 用消解原理证明p∧（p∨q）∧（r）∧（p∨q∨r）是矛盾式。
问答题 证明b*b=b
