定义是命题吗