48学时的离散数学期末试题.docVIP

1．下列语句中不是命题的（ ） A．这个语句是假的。 B． C．。 D．凡。．下列命题公式为重言式的是（ ）A B C D． ．设：我，：我去，命题：“除非我，否则我”的符号化正确的是 （ ） A． B． C． D． ．设：我，：我去，命题：“我，我”的符号化正确的是 （ ） A． B． C． D．．下列（ ） A．┐A B． C．┐A D． ．下列（ ） A． B． C． D．5、在公式中变元是（ ） A 自由变元B 约束变元 C 既是自由变元，又是约束变元D 既不是自由变元，又不是约束变元5．在公式中变元是（ ） A．自由变元B．约束变元 C．既是自由变元，又是约束变元D．既不是自由变元，又不是约束变元 6、设A={1，2，3}，A上二元关系S={1，1，1，2，3，2，3，3}，则S是（ ） A自反关系 B反自反关系 C对称关系 D传递关系A={1，2，3}上的下列关系矩阵中符合等价关系条件的是（　　　） A． B． C． D． 8．下列选项中错误的是（　　　） A． B． C． D． 8、已知：两个非空集合，，若，则（　　　） A B C D 9．一个图有个结点，其中，满足度数为奇数的结点个数可以有（　　） A．11个 B．19个 C．12个 D．15个 10. 若图含有个结点，对于图中的每一对结点，，都有其度数之和，则图中（　　　） A.至少有一条汉密尔顿回路 B.没有汉密尔顿回路 C.至多有一条汉密尔顿回路 D.不确定 1、 谓词公式中和的辖域分别为 _______ _。 1、 谓词公式中和的辖域分别为 ________ __。 2、已知命题变元的真值为，若命题公式的真值为，则的真值为 2、已知命题变元，的真值分别为，，则的真值为 5、 设A={1,2,2,4,3,3},B={1,3,2,4,4,2},那么 dom(A∪B)-ran(A∩B)= _____ _____。 5．设A={1，2，3，4}，R是A上的二元关系，R={x,y|x/y是素数}，则=_____; 6．设A={1，2，3}上关系R={1,2,2,3,3,3，3,2 }，则R的对称闭包 =__________。 6．设A={1，2，3}上关系矩阵为，则的自反闭包 = _________。 8、前提为，，的有效结论为： 8、前提为，，的有效结论为： 判断 1、对任意的集合，和，若，则。 2、已知集合中有个元素，则上的二元关系一共有种 2、已知集合中有个元素，则的子集一共有个 3、自反关系是恒等关系。 3、恒等关系是自反关系。 4、命题公式是一个重言式。 4、偏序集一定存在最小元 5、连通的无向图一定是欧拉图 5、4个结点的无向完全图的边数为7. 解答题 1、求命题公式的主析取范式及主合取范式。（10分） 2、用命题逻辑的形式将下列命题符号化（2分） 如果我在大理学院且能坐上2路公交车，那么我就去古城，或者去看洱海。 2、用命题逻辑的形式将下列命题符号化（2分） 只有我到大理学院，我才能看到苍山。 3、用谓词逻辑的形式将下列命题符号化（6分） （1）大理学院的学生不都是大理人。（仅使用全称量词） （2）大理学院的学生不都是本科生。（仅使用存在量词） 3、用谓词逻辑的形式将下列命题符号化（6分） （1）大理学院的老师不都是大理人。（仅使用全称量词） （2）大理学院的老师不都是教授。（仅使用存在量词） 4、设,,证明是等价关系。（7分） 4、已知，是上的二元关系，且 求，，。（7分） 5、已知集合上的关系为。（13分） （1）证明 是偏序关系； （2）画出偏序集的哈斯图； （3）求集合的极大元，极小元，最大元，上界和下界 5、已知集合上的关系为。（13分） （1）证明 是偏序关系； （2）画出偏序集的哈斯图； （3）求集合的极大元，极小元，最大元，上界和下界 6、用谓词预案算推理规则证明：（12分） 前提：， 结论： 7、给出此图的一棵最小生成树 7、给出此图的一棵最小生成树