问答题
将以下命题用0元谓词符号化： 2大于3仅当2大于4。
。
设S={0，1，2，3}，为模4乘法，即x，y∈S，xy=（xy）mod4，问：＜S，＞构成什么代数系统（半群...
问答题设S={0，1，2，3}，ⓧ为模4乘法，即∀x，y∈S，xⓧy=（xy）mod4，问：＜S，ⓧ＞构成什么代数系统（半群，独异点，群）？为什么？
设G={a+bi∣a，b∈Z}，i为虚数单位，即i2=-1，验证G关于复数加法构成群。
问答题设G={a+bi∣a，b∈Z}，i为虚数单位，即i2=-1，验证G关于复数加法构成群。
设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
问答题设V=＜S，*＞是可交换半群，若a，b是V中的幂等元，证明：a*b也是V中的幂等元。
。