离散07—08期末考试题(B卷)..docVIP

四川大学期末考试试题（闭卷B） （2007-2008学年第1学期） 下列命题公式是永真式的是（ ） A．（P∧～P）?Q B．（～（P→Q）∧Q）→Q C．（P→Q）∨Q D．（P∨P）∧（P→～P） 命题公式A不存在主合取范式，则A是 （ ） A．矛盾式 B．可满足式 C．永真式 D．都不对 谓词公式（x）P（X）→（$x）P（X） 是（ ） A．可满足式 B．矛盾式 C．无法判别 D．永真式 公式（x）（$y）（P（x,y）∧Q（z））→R（x） 中的x （ ） A．仅是约束变元 B．仅是自由变元 C．既是约束变元又是自由变元 D．既不是约束变元也不是自由变元 设SI，Q，R ，下列命题哪个正确 （ ） A．IìQ，QìR则IìR B．-1∈I，I∈S 则-1∈S C． D．都不正确 下面的表达哪个不正确 （ ） A．a?a B．a∈a C．a?a，a D．a∈a，a 若集合A中共有n个元素，那么A上不同二元关系的个数为 （ ） A．n2 B．2 n2 C．2 n2-1 D．都不对 下列判断正确的是 （ ） A．若R，S是自反的，则R-S是自反的 B．若R，S是对称的，则R○S是对称的 C．若R，S是传递的，则R∩ S是传递的 D．若R，S是传递的，则R ∪S是传递的 设R，S是非空集合上的等价关系，则R∪S是（ ） A．一定具有自反性，但不一定保持对称性 B．一定具有对称性，但不一定保持自反性 C．一定具有自反性和对称性D．是等价关系 在5个元素的集合上可以定义的单射数目为 （ ） A．5 B．10 C．60 D．120 设函数f：X→Y；X，Y 是有限集合， f是单射，那么下列关系一定不成立的是 （ ） A．|X||Y| B．|X|﹥|Y| C．|X|﹤|Y| D．X∈Y 平面非连通图G，n-m+f 的值为 （ ） A．2 B．ω（G） C．ω（G）+1D．3 若一棵树G（n，n-1） 只有两个叶节点，则 （ ）不正确 A．不包含点度大于等于3的枝点B．节点总度数大于等于4 C．最少包含2个节点D．节点总度数2+2（n-2） 设10阶简单连通图有32条边，则最少要去掉 （ ）条边才能使其成为平面图 A．10 B．12 C．32 D．8 下列代数系统，（ ）是群 A．〈S11，1/2，2，1/3，1/4，4，*：为普通乘法〉 B．〈S2ai | ai∈R，i1，2，3…n，o：ai，aj∈S2 → aioajai 〉 C．〈S30，1，*：为普通乘法〉D．〈S4-1，1，+：为普通加法〉 二、多项选择题（本大题共5小题，每小题2分，共10分 ）在每小题列出的五个备选项中有二个至五个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选、少选或未选均无分。 设A＝1,2,3， 1.自反性 2.反自反性 3.对称性 4.反对称性 5.传递性 设A＝a，B＝a，a，则（ ）。 1.A∈B 2.AB 3.A∈B 4.AB 5.AB 下列命题公式中，（）在解释～P，Q，～R 下为真。 1.P∧Q→R 2.P∨Q→R 3.RQ→P 4.P→Q→R 5. ～P∧Q→R 树是（）。 1. 欧拉图 2. 哈密顿图 3. 二部图4. 平面图 5. 连通图 在一个环（R，+，.）R）∨（S∧P）的主析取范式。2．把下面的命题符号化成逻辑公式： 每个旅客要么坐硬座要么坐软座，每个旅客当且仅当富裕时坐软座，并非每个旅客都富裕。因此，有些旅客坐硬座。 3．利用矩阵方法求下图的所有强分图： 4．将┌1 2 3 4 5 6┐下式表示成循环之积，并求其逆置换 └5 1 6 3 2 4┘ 5．无向图G有21条边，12个3度顶点，其余顶点的度数均为2，求G的阶数n（写出求解过程） 五、推理与证明题（本大题共4小题，共30分 ）。 1．（7分）证明〈a+b√2 | a，b∈I，+，x〉为环（+，x为普通加法和乘法）。 2．（7分）证明：简单连通无向图的任何一条边，都是G的某一棵生成树的边。 3．（7分）证明P→（Q→S）是P→（Q→R），R→（Q→S）的逻辑结果。 4．（9分）设R是A上的自反和传递关系，S也是A上的关系，且满足 〈x，y〉∈S 〈〉（〈x,y〉∈R）∧（〈y,x〉∈R），证明S是一个等价关系。 A卷答案 1、④ 2、③ 3、③ 4、② 5、② 6、④ 7、③ 8、③ 9、② 10、④ 11、③ 12、③ 13、② 14、② 15、 ③ 1、1）4）5） 2、2）4）