2006-2007上离散数学试卷内容概要.pdfVIP

2006-2007(上)离散数学试卷(A)

一、判断题：（每小题1分，共6分）

1、在命题逻辑中，任何命题的主合取范式都是存在的，并且是唯一的。（N）

2、以下两个谓词存在等价关系：∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)。（N）

3、若A⊆B，则AC⊆BC。（Y）

4、如果一个群不是Abel群，那么这个群中的任意两个元间的运算都不可交换。（N）

5、设无向图G具有割点，则G中一定不存在尔顿通路。（NG）

6、如果能将无向图G画在平面上，若边与边之间有交叉，则G必为非平面图。（N）

二、填空题（每空2分，共22分）

1、((p→q)∧(q→p))↔(p↔q)的类型是永真式。

2、设F(x)：x是人，H(x,y)：x与y一样高，在一阶逻辑中，命题“人都不一样高”的

符号化形式为(∀x)(∀y)(F(x)∧F(y)→¬H(x,y)_。

3、(∃x)(¬((∃y)P(x,y))→((∃z)Q(z)→R(y)))的前束范式是：

(∀x)(∃w)(∀z)(P(x,w)∨¬Q(z)∨R(y)。

4、S，T为集合，ϕ为空集，那么(S−T=ϕ)→S=T的真值为1。

5、某班有54个学生，其中有29人买了语文参考书，有22人买了数学参考书，有11人两

种书都没有买。那么既买了语文书又买了数学书的人有8个。

6、设A={a,b,c,d}，A上关系P={a,a,a,b,b,d,d,c}，则

P2＝{a,a,a,b,a,d,b,c}。

∗

7、设集合A={a,b,c}上定义了两个二元运算和，其运算表如下:

∗abcabc

abcabc

bcaabc

cababc

∗

则满换律且有幺元的是运算；有幂等性且不满换律的运算是。

8、假定连通平面图有10个顶点，每个顶点的度数皆为2，则该平面图的面数为