演绎法的论证过程及其作用。