第七节 复合命题推理的综合应用