问答题
用0元谓词将下面命题符号化： 只要4不是素数，3就是素数。
。
证明：循环体一定是Abel群，说明Abel群是否一定是循环群，并证明你的结论。
问答题证明：循环体一定是Abel群，说明Abel群是否一定是循环群，并证明你的结论。
在一阶逻辑中将命题符号化时，若没指明个体域，则使用（）个体域。
填空题在一阶逻辑中将命题符号化时，若没指明个体域，则使用（）个体域。
设A为任意的一阶逻辑公式，若A中（），则称A为封闭的公式。
填空题设A为任意的一阶逻辑公式，若A中（），则称A为封闭的公式。
。