27 2.1.2演绎推理