将下列命题符号化 对所有的x,都存在y使得x*y=0