问答题 在一阶逻辑中，分别在（a）个体域为自然数集合N，（b）个体域为实数集合R时将下面命题符号化并讨论命题的真值。 （1）对于任意的x，均有x2-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的最大公约数。证明：T关于模n乘法构成Abel群。

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