通用编程基础-逻辑推理分析