为什么X=3是谓词而不是命题~