问答题
设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
问答题设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
用消解原理证明p∧（p∨q）∧（r）∧（p∨q∨r）是矛盾式。
问答题用消解原理证明p∧（ㄱp∨q）∧（ㄱr）∧（ㄱp∨ㄱq∨r）是矛盾式。
证明b*b=b
问答题证明b*b=b
