课程代码：02324
一、单项选择题（本大题共15 小题，每小题1 分，共15 分）
在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错
选、多选或未选均无分。
1．下列命题公式为重言式的是（ ）
A．p→ (p∨q) 
B．(p∨┐p)→q
C．q∧┐q 
D．p→┐q

2．下列语句中不．是．命题的只有（ ）
A．这个语句是假的。 
B．1+1=1.0
C．飞碟来自地球外的星球。 
D．凡石头都可练成金。

3．设p：我很累，q：我去学习，命题：“除非我很累，否则我就去学习”的符号化正确的是（ ）
A．┐p∧q 
B．┐p→q
C．┐p→┐q 
D．p→┐q

4．下列等价式正确的是（ ）
A．┐($x)AÛ($x)┐A
B．("x)("y)AÛ($x)("y)A
C．┐("x)AÛ($x)┐A
D．("x)(A(x) Ù B(x))Û("x)A(x) Ú ("x)B(x)

5．在公式($x)("y)(P(x, y) Ù Q(z))®($y)P( y, z)中变元y是（ ）
A．自由变元
B．约束变元
C．既是自由变元，又是约束变元
D．既不是自由变元，又不是约束变元

6．设A={1，2，3}，A上二元关系S={<1，1>，<1，2>，<3，2>，<3，3>}，则S是（ ）
A．自反关系 
B．反自反关系
C．对称关系 
D．传递关系

7．设集合X 为人的全体，在X 上定义关系R、S为R={<a，b|a，b∈X∧a 是b 的父亲}，S={<a，b>|a，
b∈X∧a 是b 的母亲}，那么关系{<a，b>|a，b∈x∧ a是b的祖母}的表达式为（ ）
A．RoS 
B．R-1oS
C．SoR 
D．RoS-1

8．设A是正整数集，R={(x，y)|x，y∈A∧x+3y=12}，则R∩ ({2，3，4，6}×{2，3，4，6})=（ ）
A． O/
B．{<3，3>}
C．{<3，3>，<6，2>}
D．{<3，3>，<6，2>，<9，1>}

9．下列式子不正确的是（ ）
A．(A-B)-C=(A-C)-B 
B．(A-B)-C=A-(B∪C)
C．(A-B)-C=(A-C)-(B-C) 
D．A-(B∪C)=(A-B)∪ C

10．下列命题正确的是（ ）
A．{l，2}Í{{1，2}，{l，2，3}，1}
B．{1，2}Í{1，{l，2}，{l，2，3}，2}
C．{1，2}Í{{1}，{2}，{1，2}}
D．{1，2}∈{1，2，{2}，{l，2，3}}

11．在下列代数系统中，不是环的只有（ ）
A．<Z，+，*)，其中Z为整数集，+，*分别为整数加法和乘法。
B．(Q，+，*)，其中Q 为有理数集，+，*分别为有理数加法和乘法。
C．<R，+，*>，其中R为实数集，+为实数加法，a*b=a+2b。
D．<Mn (R)，+，*>，其中Mn(R)为实数集n×n阶矩阵结合，+，*是矩阵加法和乘法。

12．下列整数集对于整除关系都构成偏序集，而能构成格的是（ ）
A．{l，2，3，4，5} 

[1] [2] [3] 下一页