演绎推理(l)