2.5.4 命题逻辑推理应用