简答题

在一阶逻辑中，分别在（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群。

设G=，证明：G关于矩阵乘法构成一个群。

问答题

设G=，证明：G关于矩阵乘法构成一个群。

验证＜F，°＞是一个群。

问答题验证＜F，°＞是一个群。