C．推理形式错误 D．是正确的

答案　A

解析　当a≠0时，a2＞0；当a＝0时，a2＝0.所以这个推理的大前提错误．故选A.

3．在证明f(x)＝2x＋1为增函数的过程中，有下列四个命题：①增函数的定义是大前提；②增函数的定义是小前提；③函数f(x)＝2x＋1满足增函数的定义是大前提；④函数f(x)＝2x＋1满足增函数的定义是小前提．其中正确的命题是(　　)

A．①④ B．②④ C．①③ D．②③

答案　A

解析　根据三段论的特点，过程应为：大前提是增函数的定义；小前提是f(x)＝2x＋1满足增函数的定义；结论是f(x)＝2x＋1为增函数，故①④正确．

4．《论语·学路》篇中说："名不正，则言不顺；言不顺，则事不成；事不成，则礼乐不兴；礼乐不兴，则刑罚不中；刑罚不中，则民无所措手足；所以，名不正，则民无所措手足．"上述推理用的是(　　)

A．类比推理 B．归纳推理

C．演绎推理 D．一次三段论

答案　C

解析　这是一个复合三段论，从"名不正"推出"民无所措手足"，连续运用五次三段论，属演绎推理形式．

5．设⊕是R内的一个运算，A是R的非空子集．若对于任意a，b∈A，有a⊕b∈A，则称A对运算⊕封闭．下列数集对加法、减法、乘法和除法(除数不等于零)四则运算都封闭的是(　　)

A．自然数集 B．整数集

C．有理数集 D．无理数集

答案　C

解析　A错：因为自然数集对减法不封闭；B错：因为整数集对除法不封闭；C对：因为任意两个有理数的和、差、积、商都是有理数，故有理数集对加、减、乘、除法(除数不等于零)四则运算都封闭；D错：因为无理数集对加、减、乘、除法都不封闭．

二、填空题

6．在求函数y＝的定义域时，第一步推理中大前提是当有意义时，a≥0；小前提是 有意义；结论是________．

答案　y＝的定义域是[4，＋∞)

解析　由大前提知log2x－2≥0，解得x≥4.

7．关于函数f(x)＝lg (x≠0)，有下列命题：

①其图象关于y轴对称；②当x＞0时，f(x)是增函数；当x＜0时，f(x)为减函数；③f(x)的最小值是lg 2；④当－1＜x＜0或x＞1时，f(x)是增函数；⑤f(x)无最大值，也无最小值．

其中所有正确结论的序号是________．

答案　①③④