简单命题定义