下列推理形式正确的是（　　）

“因为对数函数f（x）=log_ax是增函数（大前提），y= lo

g

x 1 3

是对数函数（小前提），所以y= lo

g

x 1 3

是增函数（结论）”上面推理的错误是．

下列说法：
①映射一定是函数；
②函数的定义域可以为空集；
③存在既是奇函数又是偶函数的函数
④y=1因为没有自变量，所以不是函数；
⑤若函数y=f（x）在（-∞，1）上单调递增，在（1，+∞）上也单调递增，则在（-∞，1）∪（1，+∞）上单调递增．
其中不正确的个数（　　）

已知幂函数f（x）=x^α是增函数，而y=x^-1是幂函数，所以y=x^-1是增函数，上面推理错误是（　　）