简答题

将下面命题符号化，个体域为实数集合R，并指出各命题的真值：
（1）对所有的x，都存在y使得x˙y=0。
（2）存在着x，使得对所有y都有x˙y=0。
（3）对所有x，都存在y使得y=x+1。
（4）对所有的x和y，都有x˙y=y˙x。
（5）对任意的x和y，都有x˙y=x+y。
（6）对于任意的x，存在y使得x²+y²〈0。

设G为群，若x∈G有x2=e，证明：G为交换群。

问答题设G为群，若∀x∈G有x²=e，证明：G为交换群。

在一阶逻辑中，分别在（a）个体域为自然数集合N，（b）个体域为实数集合R时将下面命题符号化并讨论命题的真值。 ...

问答题

在一阶逻辑中，分别在（a）个体域为自然数集合N，（b）个体域为实数集合R时将下面命题符号化并讨论命题的真值。
（1）对于任意的x，均有x²-2=（x+√2）（x-√2）；
（2）存在x，使得x+5=9。

Zn={0，1，...，n-1}，定义T={x∣x∈Zn且（x，n）=1}这里的（x，n）表示x与n的最大公约...

问答题Z_n={0，1，...，n-1}，定义T={x∣x∈Z_n且（x，n）=1}这里的（x，n）表示x与n的最大公约数。证明：T关于模n乘法构成Abel群。