离散数学0806B.docVIP

一、填空题（每小题3分，共24分） 1、集合的幂集_{{a}{b}{c}{ab}{ac}{bc}{abc}}____________。 2、请用图的方式表达集合：________________________。 3、集合,的笛卡儿积___________________________。 4、用矩阵表示上题的关系：_______________________________。 5、上题中的复合关系________________________________。 6、请给出反对称的定义：_________________________________________。 7、设个体域，请消去公式：________________。 8、设解释I为：（1）个体域，（2）， 则公式的真值是____________。 二、不定向选择题（每小题4分，共24分） 1、下列哪些运算是正确的？（ ） A.；B. ； C. ；D. 2、等价关系应该满足的条件是：（ ） A. 自反；B. 对称；C. 传递；D. 反对称；E. 反自反 3、下列说法不正确的有：（ ） A.二元关系是函数； B. 二元关系不是函数； C. 是满射； D. 是单射； 4、下列命题公式中是永假式的有：（ ） A.； B. ； C. ； D. ； 5、下列各式是逻辑有效式的有：（ ） A.； B. ； C. ；D. ； 6、下列组合不能构成连接词的完备集的是：（ ） A.； B. ；C. ；D. ；E. 三、（共8分）设，请建立任意一个上的等价关系，并写出该等价关系的等价类和划分集合。 四、（共8分）已知集合，请有集合A制造一个任意二元偏序关系R,并且画出哈斯图。 （共8分）若是A上的偏序关系，证明：也是A上的偏序关系。 五、（共6分）设集合上的关系，试求的自反、对称和传递闭包。 六、（每题4分，共8分）求下列两个公式的前束范式： 1、； 2、； 七、（共10分）已知G表示所有矩阵的集合，“”表示矩阵的乘法，则代数系统是否构成群？请说明理由。 七、（共10分）已知G表示所有奇数的集合，“”表示普通的乘法，则代数系统是否构独异点？请说明理由。 八、（共12分）请把下列两段话分别符号化，并且给出它们的主析取范式和主合取范式。请问这两段话有什么关系？ “不会休息的人就不会工作，没有丰富知识的人也不会工作”； “工作好的人一定会休息并有丰富的知识” 第4页 共4页