命题的定义与性质