离散数学的,设P是一元谓词,则∀xP(x)命题.判断对错,给出原因.