问答题 用0元谓词将下面命题符号化： 只有2是偶数，4才是偶数。

问答题 用0元谓词将下面命题符号化： 只要4不是素数，3就是素数。

问答题 证明：循环体一定是Abel群，说明Abel群是否一定是循环群，并证明你的结论。