第2.4节 演绎推理