演绎推理的方法。