5.1.2命题逻辑与条件判断