8 命题逻辑知识的综合应用