2 逻辑与推理