简单命题例子