简答题

在一阶逻辑下，分别在（a）个体域为整数集合、（b）个体域为实数集合时将下面命题符号化并讨论命题的真值。
（1）凡整数都能被2整除；
（2）有的整数能被2整除。

设Z为整数集，在Z上定义二元运算。如下：x，y∈Z，x·y=x+y-2，问：Z关于·运算能否构成群？为什么？

问答题设Z为整数集，在Z上定义二元运算。如下：∀x，y∈Z，x·y=x+y-2，问：Z关于·运算能否构成群？为什么？

将以下命题用0元谓词符号化： 2或3是素数。

问答题

将以下命题用0元谓词符号化：
2或3是素数。

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

问答题

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