7.1.2 演绎推理