用演绎推理证明命题“函数f（x）=-x2+2x在（-∞，1）内是增函数”的大前提 是 _ _．
问题描述：
用演绎推理证明命题“函数f（x）=-x2+2x在（-∞，1）内是增函数”的大前提
是 ____________．
答
证明：由题意知需要写出函数f（x）=-x2+2x在（-∞，1）内是增函数的大前提，
即函数是增函数的证明过程，
设函数f（x）的定义域为I，如果对于属于定义域内的某个区间上的容易两个自变量x1，x2
当变量x1＜x2时，
都有f（x1）＜f（x2），
那么就说f（x）在这个区间上是增函数．
故答案为：设函数f（x）的定义域为I，如果对于属于定义域内的某个区间上的容易两个自变量x1，x2，
当变量x1＜x2时，都有f（x1）＜f（x2），
那么就说f（x）在这个区间上是增函数．