保持对称性C．一定具有自反性和对称性
B．一定具有对称性，但不一定保持自反性D．是等价关系）
10．在5个元素的集合上可以定义的单射数目为（A．5B．10C．60D．120
11．设函数f：X→Y；X，Y是有限集合，f是单射，那么下列关系一定不成立的是（A．XYB．XYC．XYD．X∈Y）D．3）不正确
）
12．平面非连通图G，
mf的值为（A．2B．ω（G）C．ω（G）1
13．若一棵树G（
，
1）只有两个叶节点，则（A．不包含点度大于等于3的枝点C．最少包含2个节点
B．节点总度数大于等于4D．节点总度数22（
2））条边才能使其成为平面图
14．设10阶简单连通图有32条边，则最少要去掉（A．10B．12C．32D．8）是群
15．下列代数系统，（
A．〈S11，12，2，13，14，4，：为普通乘法〉B．〈S2aiai∈R，i1，2，3…
，o：ai，aj∈S2→aioajai〉C．〈S30，1，：为普通乘法〉D．〈S41，1，：为普通加法〉
小题，二、多项选择题（本大题共5小题，每小题2分，共10分）在每小题列出的五个备选项中有二个至五个是符合题多项选择题（目要求的，请将其代码填写在题后的括号内。错选、多选、少选或未选均无分。目要求的，请将其代码填写在题后的括号内。错选、多选、少选或未选均无分。1设A＝123，则右图所示A上的关系具有（1自反性4反对称性22反自反性5传递性）。4AB5AB2AB3对称性）。
123
设A＝a，B＝a，a，则（1A∈B
3A∈B
3
下列命题公式中，（1P∧Q→R2P∨Q→R）。2哈密顿图
）在解释～P，Q，～R下为真。3RQ→P4P→Q→R5～P∧Q→R
4
树是（1欧拉图
3二部图
4平面图
5连通图
本题6页，本页为第2页教务处试题编号：
f课程名称：5
任课教师：
学号：
姓名：
在一个环（R，，）中，以下命题不一定成立的有（）。1a002abab3abab
4ab0，则a0或b0
5abac，则bc
三、简答题（本大题共4小题，每小题25分，共10分）简答题（1、试述谓词逻辑中自由变元和约束变元的定义。
2、试述关系中二元关系的定义
3、试述无向图中度数的定义
4、试述代数格的定义
小题，四、演算题（本大题共5小题，每小题7分，共35分）演算题（。1．写出（P∧～R）∨（S∧P）的主析取范式。
本题6页，本页为第3页教务处试题编号：
f课程名称：
任课教师：
学号：
姓名：
2．把下面的命题符号化成逻辑公式：每个旅客要么坐硬座要r