5.3 复合命题的逻辑训练