……
fB、abacbc填空题（二、填空题（每题2分，共10分）C、abac得分D、abaa1、公式p∧qp的成真赋值是（）阅卷人15、下列代数系统中不含有零元素的是（）2、已知公式p∧qp是重言式，则公式p∧qp∨r为AQQ是全体有理数集，是数的乘法运算BM
rM
r是全体
阶实矩阵集合，是矩阵乘法运算（）CZZ是整数集，定义为xyxy，x，y∈Z3、命题“没有不能表示成分数的有理数”的符号化形式为DZZ是整数集，是数的加法运算16、设A1234，R1314232434是A上的关系，则R的性质是（）Mx：x是有理数，Fx：x能表示成分数（）4、公式xFxyGxy的前束范式形式为：A既是对称的也是反对称的B既不是对称的也不是反对称的5、无向树G有5片树叶，3个2度分支点，其余分支点均为3度，则G有（）个C是对称的但不是反对称的顶点。D不是对称的但是反对称的17、设Aabc，A上二元关系Raa，bb，ac，则关系R的自反闭包rR是下列公式的主合取范式（三、求下列公式的主合取范式（10分）（）得分AR∪IAp∧q∨p∨r阅卷人BRCR∪caDR∩IA18、下列式子正确的是（）AΦΦBΦ∈ΦCΦΦDΦ∈Φ19、A1234，上的等价关系R1112212233344344，设A则对应于R的A的划分是（）A1234B1234得分给出下列推理的构造证明（四、给出下列推理的构造证明（10分）C1234前提：xFxyFy∨GyRyxFx阅卷人D1234结论：xR（x）20、下列各图中是欧拉图的是（）
A
B
C
D
f五、设ABC为任意集合，证明下列各式（10分）为任意集合，证明下列各式（
得分A∩CB∩C∧ACBCAB得
为群，为交换群。（10七、设G为群，若x∈G有x2e，证明G为交换群。∈，（分）
分
阅卷人
阅卷人
得
分
六、设R为N×N上的二元关系，ab，cd∈N×N上的二元关系，∈上的二元关系abRcdbd
阅卷人
证明：为等价关系。（10证明：R为等价关系。（分）
fr