用演绎推理证明y=2x是单调递增函数时的大前提是