问答题 将以下命题用0元谓词符号化： 3不是偶数。

问答题 将以下命题用0元谓词符号化： 2大于3仅当2大于4。

问答题 设S={0，1，2，3}，为模4乘法，即x，y∈S，xy=（xy）mod4，问：＜S，＞构成什么代数系统（半群，独异点，群）？为什么？