复合判断的演绎推理方法