用演绎推理证明y=x²（0，+∞）是增函数时，大前提是________．在线课程增函数的定义
分析：大前提是指一个一般的原理，用演绎法证明y=x²是增函数时的依据的原理是增函数的定义．
解答：∵证明y=x²是增函数时，依据的原理就是增函数的定义，
∴用演绎法证明y=x²是增函数时的大前提是：增函数的定义
故答案为：增函数的定义．
点评：本题考查演绎推理的基本方法，考查证明函数的单调性，是一个基础题，这种问题经常见到，我们做题的时候也经常用到，注意这种方法．