问答题 将下面命题符号化，个体域为实数集合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使得x2+y2〈0。

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

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