问答题
在一阶逻辑下，分别在（a）个体域为整数集合、（b）个体域为实数集合时将下面命题符号化并讨论命题的真值。 （1）凡整数都能被2整除； （2）有的整数能被2整除。
问答题 设Z为整数集，在Z上定义二元运算。如下：x，y∈Z，x·y=x+y-2，问：Z关于·运算能否构成群？为什么？
问答题 将以下命题用0元谓词符号化： 2或3是素数。
问答题 将以下命题用0元谓词符号化： 3不是偶数。
