命题的定义是有没有易懂一点的?