长春市网站开发工信部网站备案修改

一、填空题：（每空1分，共20分）

1.若P，Q，为二命题，P—>Q 真值为F当且仅当_____ P真Q假 _____ 。

2、设X={1,2,3,4}，R={<1,2>,<2,4>,< 3,3>},则
r( R )={<1,1>,<1,2>,<2,2>,<2,4>,< 3,3>,<4,4>} _
s( R )={<1,2>,<2,1>,<2,4>,< 3,3>,<4,2>}___
t( R )= {<1,2>,<1,4>,<2,4>,< 3,3>} ____


r( R )表示自反闭包
s( R )表示对称闭包
t( R )表示传递闭包

3、若一条路径中，所有边均不相同，则此路径称作______简单路径______；若一条路径中所有的结点均不相同，则称此路径为______初级路径（基本路径)____________

4、命题公式主合取范式为____┐P∨Q∨R___________

5、P：你努力，Q：你失败。“除非你努力，否则你将失败”的翻译为 ┐P—>Q ；“虽然你努力了，但还是失败了”的翻译为 P∧Q

6、两个图同构的必要条件为：结点数相等,边数相等,度数相同的结点数相等（相同的节点度分布）

7、n阶无向完全图每个结点v的度数d(v) = ________n-1_________

8、若集合，的二元关系则R=__{<a,1>,<b,2>}__

9、若解释I的论域D仅包含一个元素，则在I下真值为_____ 1______

10、全体小项的析取式必为_____永真________（永真/永假）式；全体大项的合取式必为________永假______（永真/永假）式

11、集合A={a, b}的幂集P(A) = ________ {∅,{a},{b},{a,b}} ______

12、设< {a,b,c}, * >为代数系统，* 运算如下：

则它的幺元为 ______a _________ ；零元为 ________c __________；

二、单项选择题：（每小题2分，共20分）

子群、循环群、生成元

可结合是指一个运算满足结合律：(A*B)*C=A*(B*C)

三、解答题：（每小题10分，共20分）

单位元、逆元、群等相关学习

四、综合证明题:（共4题，共40分）

3、

4、