6.3-1 复合判断的演绎推理方法