简单逻辑推理