“因为指数函数y=a^x是增函数，而y=(

1

2

)x是指数函数，所以y=(

1

2

)x是增函数．”在以上三段论推理中（　　）

“因为对数函数y=log_ax是增函数（大前提），而y=log

1

3

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

1

3

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

因为无理数是无限小数，而π是无理数，所以π是无限小数．上面推理属于（　　）

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

g

x 1 3

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

g

x 1 3

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

因为四边形ABCD是矩形，所以四边形ABCD的对角线相等．以上推理的大前提是（　　）