将下面命题符号化，个体域为实数集合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。