153 .2.2 命题的类型