文档库 最新最全的文档下载
当前位置:文档库 › 离散数学选择题

离散数学选择题

离散数学选择题
离散数学选择题

单项选择题

第一章 命题逻辑

1.下列语句,哪一个是真命题:( B )

A .我正在说谎

B .如果1+1=0,那么雪是黑的

C .9+5>18

D .存在最大的质数

2.下面哪一个命题是假命题( A )

A .如果2是偶数,那么一个公式的析取范式唯一

B .如果2是偶数,那么一个公式的析取范式不唯一

C .如果2是奇数,那么一个公式的析取范式唯一

D .如果2是奇数,那么一个公式的析取范式不唯一

3.下面哪个联结词运算不可交换( B )

A . ∧;

B .→

C .∨

D .?

4.设P :天下大雨,Q :他乘公共汽车上班。命题“只有天下大雨,他才乘公共汽车上班”

符号化为( B )

A .P →Q

B .Q →P

C .P ?Q

D . ?P →Q

5.设P :天下钉子,Q :我去B 城 。命题“除非天下钉子,否则我去B 城”符号化为:( C )

A .P → Q

B .Q → P

C .?P → Q

D .Q → ┐P

6.设P :我们划船,Q :我们跳舞,命题“我们不能既划船又跳舞”符号化为( B )

A .P V Q 2)┐(P ∧Q ) C .┐P ∧┐Q D .┐P ∧Q

7.令P :今天下雪了,Q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )

A .P →┐Q

B .P∨┐Q

C .P∧Q

D .P∧┐Q

8.设P :我将去镇上,Q :我有时间,命题“我将去镇上,仅当我有时间”,符号化为( A )。

A .P → Q

B 、Q → P

C 、P ?Q

D 、┐P∨┐Q

9.下面哪一个命题公式是重言式( D )

A .(P ∨R )∧(P → Q )

B .P →(Q ∨R )

C .(P ∨Q )?(Q ∨R )

D .(P →(Q → R ))→(P → Q )→(P →R )

10.下面哪一组命题公式不是等价的( C )

A .(P →Q )∧(Q →P ),P ?Q

B . ?(P ?Q ),(P ∧┐Q )∨(┐P ∧Q )

C .P →(Q ∨R ),┐P ∧(Q ∨R )

D . P →(Q ∨R ),(P ∧┐Q )→ R

11.下面哪个命题公式是重言式( B )

A .(P → Q )∧(Q →P )

B .(P ∧Q )→P

C .(┐P ∨Q )∧┐(┐P ∧Q )

D .(P →Q )→P

12.下列公式哪一个是两个命题变元P ,Q 的小项( C )

A .P∧┐P∧Q

B .┐P∨Q

C .┐P∧Q

D .┐P∨P∨Q

13.一个公式在等价意义下,下面哪个写法是唯一的。( C )

A .析取范式

B .合取范式

C .主析取范式

D .以上答案都不对

14.命题公式?(P →Q)的主析取范式编码为 ( D )

A .000111m m m ∨∨

B .00m ∨11m

C .01m

D .10m

15.命题公式(P ?Q)的主合取范为 ( a )

A .0110M M ∧ B.0011M M ∧ C.0001M M ∧ D.1011M M ∧

16.命题公式的任意两个不同极小项的合取式一定为( b )

A.永真式

B.永假式

C.可满足式

D.不可确定

17.下面联结词集中,哪一个不是联结词的极小全功能集( d )

A .{?,∧}

B .{↓}

C .{↑}

D .{?,∧,∨}

第二章 一阶逻辑

1.设S(x): x 是三好学生, a:张三, b: 李四, 命题“张三是三好学生而李四不是”符号化为( ) D

A .S (a ), ?S (b )

B .S (a )∨?S (b )

C .S (a )∨?S (b )

D .S (a )∧?S (b )

2.令F(x):x 是有理数,G(x):x 是实数。将命题“所有的有理数都是实数,但有的有实数不是有理数”符号化为 ( ) B

A.?x(F(x)∧G(x))∧?x(G(x)→?F(x))

B.?x(F(x)→G(x))∧?x(G(x)∧?F(x))

C.?x(F(x)∧G(x))∧?x(G(x)∧?F(x))

D.?x(F(x)→G(x))∧?x(G(x)→?F(x))

3.设F(x):x 是火车,G(x):x 是汽车,H(x,y):x 比y 快。“每列火车都比某些汽车快”符号化为( ) C

A .()()(()()(,))x y F x G y H x y ??∧→;

B .()()(()()(,))x y F x G y H x y ??∧∧;

C .()(()()(()(,)))x F x y G y H x y ?→?∧;

D .),()()(y x H x F x →?

4.设)(x C :x 是国家选手,)(x G :x 是健壮的。命题“没有一个国家选手不是健壮的”可符号化为( ) C

A .))()(()(x G x C x ?∧??;

B .))()(()(x G x

C x ?→??;

C .()(()())x C x G x ??∧?;

D .()(()())x C x G x ??→?;

5.设个体域A={a 、b},公式()()()x P x xS x ?∧?在A 上消去量词应为( ) D

A .P(x)∧S(x)

B .P(a)∧P(b)∧S(a)∨S(b)

C .P(a)∧S(b)

D .P(a)∧P(b)∧(S(a)∨S(b))

6.一阶公式?x(P(x)∨

?yR(y))→Q(x)中量词?x 的辖域是 ( ) A A. (P(x)∨

?yR(y)) B. P(x) C. ?x(P(x)∨?yR(y)) D. (P(x)∨

?yR(y))→Q(x) 7、设论域为整数集,下列公式中哪个值为真( ) A

A .)0(=+??y x y x B.)0(=+??y x x y C. )0(=+??y x y x D .)0(=+???y x y x

8.下面给出的一阶逻辑等价式中,哪一个是错的。( ) B

A .A →?x

B (x )??x (A →B (x ))

B .?x (A (x )∨B (x ))??xA (x )∨?xB (x )

C .?x (A (x )∨B (x ))??xA (x )∨?xB (x )

D .??xA (x )??x (?A (x ))

9.在谓词演算中,下列各式中,哪式是正确的( )。B

A .),(),(y x xA y y x yA x ?????

B .),(),(y x xA y y x yA x ?????

C .),(),(y x yA x y x yA x ?????

D .(,)(,)x yA x y y xB x y ?????

10.设论域为整数集,下列公式中哪个值为假 ( ) D

A .)0(=???y x y χ

B .)2(=???y x x y

C .)(z y x z y x =-???

D .(()1)x y x y ???=

11.设I 是如下一个解释:D ={a,b}, 0 1 0 1b)

P(b,a) P(b,b) P(a,),(a a P

则在解释I 下取真值为1的公式是( ).D

A ?x ?yP(x,y)

B ?x ?yP(x,y)

C ?xP(x,x)

D ?x ?yP(x,y).

12.谓词公式(?x)P (x,y)∧(?x)(Q(x,z)→(?x)(?y)R(x,y,z))中量词?x 的辖域是( )A

A .(Q(x,z)→(?x)(?y)R(x,y,z))

B .Q(x,z),R(x,y,z)

C .Q(x,z)→(?y)R(x,y,z)

D .Q(x,z)

13.谓词公式)()()((x Q y yR x p x →?∨?中变元χ是 ( ) D

A .自由变元

B .既不是自由变元也不是约束变元

C .约束变元

D .既是自由变元又是约束变元

14.一阶逻辑公式?x(F(x,y)∧G(y,z))→?zF(z,y)是 ( ) C

A.前束范式

B.封闭公式

C.永真式

D.永假式

15.一阶逻辑公式?xP(x)→?xP(x)是( ) A

A.永真的

B.永假的

C.可满足的

D.前束范式.

16.一阶逻辑公式?xP(x)→?yQ(y)的前束范式是( d )

A.?x ?y(P(x)→Q(y))

B.??xP(x)∨?yQ(y)

C.?x ?y ?P(x)∨Q(y)

D.?x ?y(P(x)→Q(y))

第三章 集合的基本概念和运算

1.下列式子中正确的是( ). D

A .Φ=0;

B .Φ∈Φ;

C .Φ={Φ};

D .Φ?{Φ}

2.下列各式中哪个是错的( B )

A 、Φ ? Φ ;

B 、Φ∈Φ;

C 、Φ ?{Φ};

D 、Φ∈{Φ} 。

3.下列命题正确的是( )。 A

A .Φ?{Φ}=Φ

B .Φ?{Φ}=Φ

C .{a}∈{a ,b ,c}

D .Φ∈{a ,b ,c}

4.下列各命题哪一个是假命题( ) B

A .{a,b}?{a,b,c,{a,b,c}}

B .{a,b}∈{a,b,c,{a,b,c}}

C .{a,b}∈{a,b,{a,b}}

D .{a,b}∈{{a,b}}

5.设A={{1,2,3}, {4,5}, {6,7,8}},下列哪个式子为真( ) C

A .1?A

B .{1,2,3}?A

C .{{4,5}}?A

D .Φ∈A

6.设A ={Φ},B=P (P (A )),下式中错的是( ) D

A .Φ∈

B ; B .{Φ}∈B ;

C .{{Φ}}∈B ;

D .{Φ,{Φ}}∈P (A )。

7.设A=Φ,B={Φ, {Φ}},则B -A 是( ) C

A .{{Φ}};

B .{Φ};

C .{Φ, {Φ}};

D .Φ

8.集合{0}的所有子集是( ) B

A .Φ;

B .Φ, {0};

C .{Φ};

D .{Φ, {0}}

9.设A ={a,b},则A 的幂集P (A )为( ) D

A .{a,b}

B .{Φ,{a},{b}}

C .{Φ,{a,}}

D .{Φ,{a},{b},{a,b}}

10.设X ,Y ,Z 是集合,“一”是集合相对补运算,下列等式不正确的是( )A

A .(X -Y)-Z =X -(Y∩Z)

B .(X -Y)-Z =(X -Z)-Y

C .(X -Y)-Z =(X -Z)-(Y -Z)

D .(X -Y)-Z =X -(Y ∪Z)

11.设集合A={2,{a},3,4},B={1,{a},3,4},E 为全集,则下列命题正确的是( ) C

A {2}∈A

B {a}? A

C ??{{a}}? B

D {{a},1,3,4}? B.

12.设A,B 为集合,A∩B=A∪B 成立的充分必要条件是( D )

A. A=B=?

B. A=?

C. B=?

D. A=B

第四章 二元关系与函数

1.设A ={1,2},B ={a,b,c},C ={c,d},则A ×(B ∩C )为( B )

A .{},1,2,c c <><>

B .{}1,,2,c c <><>

C .{},1,,2c c <><>

D .{}1,,,2c c <><>

2.设集合A={1,2,3},A 上的关系R={<1,1>,<1,2>,<2,2>,<3,3>,<3,2>},则R

不具备( ) B

A .传递性

B .对称性

C .自反性

D .反对称性

3.设R 是集合A={a,b,c,d}上的二元关系,

R={,,,,,,},则R 具有关系的哪些性质( ) D

A.自反性、反对称性

B.反自反性、传递性

C.自反性、对称性

D.反对称性、传递性

4.设集合A ={1,2,3,4},A 上的关系R ={<1,1>,<2,2>,<1,3>},则R 具有关系的哪些性质( ).A

A .传递性;

B .自反性;

C .对称性;

D .以上答案都不对

5.设A={0, b},B={1, b, 3},则A ∪B 的恒等关系为( )A

A .{<0, 0>, <1, 1>, ,<3, 3>};

B .{<0, 0>, <1, 1>, <3, 3>};

C .{<1, 1>, , <3, 3>};

D .{<0, 1>, <1, b>, , <3, 0>}

6.设A ={1,2,4,6,8},集合A 上的二元关系{}2,b a b a R =><=,则domR 和ranR 分别

为( )B

A .{}><2,1和{}4,1

B .{}4,1和{}2,1

C .{}><4,1和{}1,2

D .{}1,1,4,2<><>和{}1,2

7.若集合A 上的关系R 为等价关系,则R 的必要条件是( )D

A .对称的和传递的

B .反自反的

C .反对称的

D .自反的,对称的和传递的

8.设集合A={a,b,c},A 上所有互不相同的等价关系的数目为( ) C

A. 3

B. 4

C. 5

D. 6

9.设A={a,b,c,d},A 上的等价关系R={,,,}∪I A ,则对应于R 的A 的

划分是( )D

A .{{a},{b,c},{d}}

B .{{a,b},{c},{d}}

C .{{a},{b},{c},{d}}

D .{{a,b},{c,d}}

10.P={a 、b 、c 、d}的最大划分是( )(即集中元素数目最多的划分) C

A .{{a},{b ,c}{d}};

B .{a ,{b ,c}};

C .{{a}、{b},{c},{d}}

D .{{a ,b ,c ,d}}

11.集合A 上的关系R 是偏序关系的必要条件是( ) A

A .自反的,反对称的和传递的;

B .自反的和对称的;

C .传递和和对称的;

D .传递的和反对称的。

12.集合A ={1,2,3,4,5,6,7,8,9,10},A 上的整除关系是一个偏序关系,则元素10

是集合A 的( ). C

A .最大元;

B .最小元;

C .极大元;

D .极小元

13.下列关系中哪一个是集合A={a,b,c,d,e,f}上偏序关系? ( ) B

A.{,,}∪I A

B.{,,}∪I A

C.{,,}∪I A

D.{,,,}∪I A

14.集合A={},,,a b c d ,A 上的一个划分{}{}{}{}1,,,a b c d π=,则对应的等价关系1R π=( A )。

A .{,,,}A a b b a I <><>?

B .{,,,,,,,}a b b a c c d d <><><><>

C .{,,,,,,,}a a b b c c d d <><><><>

D .{,,,}a b b a <><>

15.设A={a,b,c,d},A 上的等价关系R={,,,}∪I A ,则对应于R 的A 的划分是( D )

A .{{a},{b,c},{d}}

B .{{a,b},{c},{d}}

C .{{a},{b},{c},{d}}

D .{{a,b},{c,d}}

16.设R 为实数集,映射f :R →R ,f (x )=-x 2+2x-1,则f 是( )。D

A .单射而非满射

B .满射而非单射

C .双射

D .既不是单射,也不是满射

17.设f 和g 都是A 到A 的双射函数,则(fog )-1为( D )

A .f -1og -1 B.f -og -1

C.(gof )-1

D.g -1 o f -1

18.设集合A={a,b,c},B={β,ε,θ},则从A 到B 最多可以定义多少个双射函数( )D

A.27

B. 9

C.8

D.6

第七章 图的基本概念

1.仅由一个孤立点组成的图称为( ) B

A .零图

B .平凡图

C .多重图

D .子图

2.给下列序列,哪一个可构成无向简单图的顶点度数序列( B )

(1)(1,1,2,2,3) (2)(1,1,2,2,2)

(3)(1,2,3,4,5) (4)(1,3,4,4,5)

3.下面所给的数值序列,能成为简单图的度数序列的是( ) C

A .(1,2,2,3,4,5)

B .(1,2,3,4,5,5)

C .(1,1,1,2,3)

D .(2,3,3,4,5,6)

4.在任何图G=<V ,E >中,顶点总度数和边数的关系为( )C

A .V v E v ∈=2)deg(

B .V v E v ∈=)deg(

C .V v E v ∈=∑2)deg(

D .V v E

v ∈=∑)deg(

5.设G 为有n 个结点的无向完全图,则G 的边数为( ) A

A .2)1(-n n

B .2)1(-n

C .n (n -1)

D .n (n+1)

6.有向图G=,其中V={a,b,c,d,e,f},E={,,,,}是( ) A

A .弱连通图

B .单向连通图

C .强连通图

D .不连通图

7.图G=如下图所示,从a 到d 有多少条简单通路( )C

A .5

B .6

C .7

D .8

b a

d

8.邻接矩阵具有对称性的图一定是( ) B

A .有向图

B .无向图

C .混合图

D .简单图

9.G=是简单有向图,可达矩阵P (G )刻划下列哪种关系( )A

A .点与点

B .点与边

C .边与点

D .边与边

10.设图G 的邻接矩阵为??

?

??

?

?

?

???

???

??0110110101110110010111110,则G 的顶点数与边数分别为( ) D

A .4, 5

B .5, 6

C .4, 10

D .5, 8

11.在完全图4K 的所有非同构的生成子图中,有几个是3条边的?( ) B

A. 1

B. 2

C. 3

D. 4

12.图G 和G ’的结点和边分别存在— —对应关系是'G G ?(同构)的( )

A .充分条件

B .充分必要条件

C .必要条件

D .既不充分也不必要条件

13.设图G=为无向图,|V|=6,|E|=22,则G 一定是 D

A.完全图

B.正则图

C.简单图

D.多重图

14.设A (G )是有向图G=(V ,E )的邻接矩接,其中第i 行中值为1的元素数目为( )

B A .结点Vi 的入度 B.结点Vi 的出度

C .结点Vi 的度数 D.结点Vj 的度数

15.有3条边的互不同构的4阶无向简单图的个数为 ( )A

A.2

B.3

C.4

D.5

16.有向图G 是强连通图,当且仅当 D

A.图G 中至少有一条通路

B.图G 中有通过每个顶点至少一次的通路

C.图G 中至少有一条回路

D.图G 中有通过每个顶点至少一次的回路

17.有向图G 是单向连通图,当且仅当( ) B

A.图G 中至少有一条通路

B.图G 中有通过每个顶点至少一次的通路

C.图G 的连通分枝数为一.

D.图G 中有通过每个顶点至少一次的回路.

第八章 一些特殊的图

1.一个连通的无向图G ,如果它的所有结点的度数都是偶数,那么它具有一条( ) B

A .哈密尔顿回路

B .欧拉回路

C .哈密尔顿通路

D .初级回路

2.无向图G 是欧拉图,当且仅当( ) D

A .G 的所有结点的度数全为偶数。

B .G 中所有结点的度数全为奇数。

C .G 连通且所有结点度数全为奇数。

D .G 连通且所有结点度数全为偶数。

3.设G 是连通平面图,有5个顶点,6个面,则G 的边数是( ) A

A .9条

B .5条

C .6条

D .11条

4.设G 是连通平面图,G 中有6个顶点8条边,则G 的面的数目是( ) C

A .2个面

B .3个面

C .4个面

D .5个面

5.二部图3,3K 是( ) B

A.欧拉图

B. 哈密顿图

C. 平面图

D.完全图

6.下列图形哪一个可以一笔画出? ( ) D

A. B. C. D.

7.在下面的无向图中,哪一个是哈密顿图?。( ) B

D.

C.B.A.

8.下图属于什么图?( ) D

A .二部图

B .欧拉图

C .哈密尔顿图

D .是二部图也是哈密尔顿图

9.下图的最大匹配是( )a

A .125711{,,,,}e e e e e B.246911{,,,,}e e e e e C .157911{,,,,}e e e e e D.124711{,,,,}e e e e e

10.、给定平面G 如下所示,则G

中所有面的总次数为( B )

(1)28 (2)22 (3)26 (4)24

第九章 树

1.下面哪一种图不一定是树。( D )

A .有n 个顶点n —1条边的连通图

B .无回路的连通图

C .连通但删去一条边则不连通的图

D .每对结点间都有路的图

2.设G 是有5个顶点的完全图,则从G 中删去多少条边可以得到树?( A )

A .6

B .5

C .10

D .4.

3.在具有n 个顶点的完全图Kn 中删去多少条边才能得到树?( A )

A .(1)

(1)2n n n ---; B .(1)n n m --; C .1+-n m ; D .1--n m 。

4.设G=为(n, m )连通图,则要确定G 的一棵生成树必删去G 中边数为( )

C A .n -m+1 B .n -m -1 C .m -n+1

D .m -n -1

5.设图G 是有6个顶点的连通图,总度数为20,则从G 中删去多少条边使之变成树?( ) B

A .10

B .5

C .3

D .2

6.下面给出的符号串集合中,哪一个是前缀码?( ) A

A .{1, 01, 001, 000}

B .{1, 11, 101, 001, 0011}

C .{b, c, aa, bc, aba}

D .{b, c, a, aa, ac, abb}

7.下面给出的符号串集合中,哪一个不是前缀码?( ) B

A .{}1111,110,10,0;

B .{}1101,1001,101,110,;

C .{}01,001,000,10;

D .{}abc aba ac aa c b ,,,,,。

8.设T 是有n 个结点的二元正则树,则树T 的叶子数为( )。C

A .n -1

B .2n -1

C .(n+1)/2

D .(n+2)/3

9.T 为二元正则树,有t 片叶子,e 条边,则有( c )

A .e > 2(t -1)

B . e < 2(t -1) C. e = 2(t -1) D. e =2(t+1)

离散数学第四章二元关系和函数知识点总结

集合论部分 第四章、二元关系和函数 集合的笛卡儿积与二元关系有序对 定义由两个客体x 和y,按照一定的顺序组成的 二元组称为有序对,记作 实例:点的直角坐标(3,4) 有序对性质 有序性 (当x y时) 相等的充分必要条件是= x=u y=v 例1 <2, x+5> = <3y4, y>,求x, y. 解 3y 4 = 2, x+5 = y y = 2, x = 3 定义一个有序n (n3) 元组 是一个 有序对,其中第一个元素是一个有序n-1元组,即 = < , x n> 当n=1时, 形式上可以看成有序 1 元组. 实例 n 维向量是有序 n元组. 笛卡儿积及其性质 定义设A,B为集合,A与B 的笛卡儿积记作A B,即A B ={ | x A y B } 例2 A={1,2,3}, B={a,b,c} A B ={<1,a>,<1,b>,<1,c>,<2,a>,<2,b>,<2,c>, <3,a>,<3,b>,<3,c>} B A ={,,,,,, , ,} A={}, P(A)A={<,>, <{},>} 性质:

不适合交换律A B B A (A B, A, B) 不适合结合律 (A B)C A(B C) (A, B)对于并或交运算满足分配律 A(B C)=(A B)(A C) (B C)A=(B A)(C A) A(B C)=(A B)(A C) (B C)A=(B A)(C A) 若A或B中有一个为空集,则A B就是空集. A=B= 若|A|=m, |B|=n, 则 |A B|=mn 证明A(B C)=(A B)(A C) 证任取 ∈A×(B∪C) x∈A∧y∈B∪C x∈A∧(y∈B∨y∈C) (x∈A∧y∈B)∨(x∈A∧y∈C) ∈A×B∨∈A×C ∈(A×B)∪(A×C) 所以有A×(B∪C) = (A×B)∪(A×C). 例3 (1) 证明A=B C=D A C=B D (2) A C=B D是否推出A=B C=D 为什么 解 (1) 任取 A C x A y C x B y D B D (2) 不一定. 反例如下: A={1},B={2}, C=D=, 则A C=B D 但是A B.

离散数学试卷及答案(2)

一、填空 20% (每小题2分) 1、 P :你努力,Q :你失败。“除非你努力,否则你将失败”的翻译为 ;“虽然你努力了,但还是失败了”的翻译为 。 2、论域D={1,2},指定谓词P 则公式),(x y yP x ??真值为 。 2、 设S={a 1 ,a 2 ,…,a 8},B i 是S 的子集,则由B 31所表达的子集是 。 3、 设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则R= (列举法)。 R 的关系矩阵M R = 。 5、设A={1,2,3},则A 上既不是对称的又不是反对称的关系R= ; A 上既是对称的又是反对称的关系R= 。 6、设代数系统,其中A={a ,b ,c}, 则幺元是 ;是否有幂等 性 ;是否有对称性 。 7、4阶群必是 群或 群。 8、下面偏序格是分配格的是 。

9、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件是 。 10、公式R Q P Q P P ?∧∨?∧∧?∨)(())(( 的根树表示为 。 二、选择 20% (每小题2分) 1、在下述公式中是重言式为( ) A .)()(Q P Q P ∨→∧; B .))()(()(P Q Q P Q P →∧→??; C .Q Q P ∧→?)(; D .)(Q P P ∨→ 。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为( )。 A .0; B .1; C .2; D .3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A .3; B .6; C .7; D .8 。 4、 设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A .4; B .5; C .6; D .9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为

离散数学期末考试试题(有几套带答案)

离散数学试题(A卷及答案) 一、证明题(10分) 1)(?P∧(?Q∧R))∨(Q∧R)∨(P∧R)?R 证明: 左端?(?P∧?Q∧R)∨((Q∨P)∧R)?((?P∧?Q)∧R))∨((Q∨P)∧R) ?(?(P∨Q)∧R)∨((Q∨P)∧R)?(?(P∨Q)∨(Q∨P))∧R ?(?(P∨Q)∨(P∨Q))∧R?T∧R(置换)?R 2)?x(A(x)→B(x))??xA(x)→?xB(x) 证明:?x(A(x)→B(x))??x(?A(x)∨B(x))??x?A(x)∨?xB(x)???xA(x)∨?xB(x)??xA(x)→?xB(x) 二、求命题公式(P∨(Q∧R))→(P∧Q∧R)的主析取范式和主合取范式(10分) 证明:(P∨(Q∧R))→(P∧Q∧R)??(P∨(Q∧R))∨(P∧Q∧R)) ?(?P∧(?Q∨?R))∨(P∧Q∧R) ?(?P∧?Q)∨(?P∧?R))∨(P∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Q∧?R)∨(?P∧Q∧?R))∨(?P∧?Q∧?R))∨(P∧Q∧R) ?m0∨m1∨m2∨m7 ?M3∨M4∨M5∨M6 三、推理证明题(10分) 1)C∨D, (C∨D)→?E, ?E→(A ∧?B), (A∧?B)→(R∨S)?R∨S 证明:(1) (C∨D)→?E (2) ?E→(A∧?B) (3) (C∨D)→(A∧?B) (4) (A∧?B)→(R∨S) (5) (C∨D)→(R∨S) (6) C∨D

(7) R∨S 2) ?x(P(x)→Q(y)∧R(x)),?xP(x)?Q(y)∧?x(P(x)∧R(x)) 证明(1)?xP(x) (2)P(a) (3)?x(P(x)→Q(y)∧R(x)) (4)P(a)→Q(y)∧R(a) (5)Q(y)∧R(a) (6)Q(y) (7)R(a) (8)P(a) (9)P(a)∧R(a) (10)?x(P(x)∧R(x)) (11)Q(y)∧?x(P(x)∧R(x)) 四、设m是一个取定的正整数,证明:在任取m+1个整数中,至少有两个整数,它们的差是m的整数倍 证明设 1 a,2a,…,1+m a为任取的m+1个整数,用m去除它们所得余数 只能是0,1,…,m-1,由抽屉原理可知, 1 a,2a,…,1+m a这m+1个整 数中至少存在两个数 s a和t a,它们被m除所得余数相同,因此s a和t a的差是m的整数倍。 五、已知A、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) (15分)证明∵x∈ A-(B∪C)? x∈ A∧x?(B∪C)? x∈ A∧(x?B∧x?C)?(x∈ A∧x?B)∧(x∈ A∧x?C)? x∈(A-B)∧x∈(A-C)? x∈(A-B)∩(A-C)∴A-(B∪C)=(A-B)∩(A-C) 六、已知R、S是N上的关系,其定义如下:R={| x,y∈N∧y=x2},S={| x,y∈N∧y=x+1}。求R-1、R*S、S*R、R{1,2}、S[{1,2}](10分) 解:R-1={| x,y∈N∧y=x2},R*S={| x,y∈N∧y=x2+1},S*R={| x,y∈N∧y=(x+1)2}, 七、若f:A→B和g:B→C是双射,则(gf)-1=f-1g-1(10分)。 证明:因为f、g是双射,所以gf:A→C是双射,所以gf有逆函数

离散数学试卷及答案

一、单项选择题(本大题共15小题,每小题1分,共15分)在每小题列出的四个选 项中只有一个选项是符合题目要求的,请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G,如果它的所有结点的度数都是偶数,那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路 2.设G是连通简单平面图,G中有11个顶点5个面,则G中的边是( ) A.10 B.12 C.16 D.14 3.在布尔代数L中,表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(a’∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 4.设i是虚数,·是复数乘法运算,则G=<{1,-1,i,-i},·>是群,下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.〈{i},·〉 D.〈{-i},·〉 5.设Z为整数集,A为集合,A的幂集为P(A),+、-、/为数的加、减、除运算,∩为集合的交 运算,下列系统中是代数系统的有( ) A.〈Z,+,/〉 B.〈Z,/〉 C.〈Z,-,/〉 D.〈P(A),∩〉 6.下列各代数系统中不含有零元素的是( ) A.〈Q,*〉Q是全体有理数集,*是数的乘法运算 B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合,*是矩阵乘法运算 C.〈Z, Z是整数集, 定义为x xy=xy,?x,y∈Z D.〈Z,+〉,Z是整数集,+是数的加法运算 7.设A={1,2,3},A上二元关系R的关系图如下: R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c},A上二元关系R={〈a,a〉,〈b,b〉,〈a,c〉},则关系R的对称闭包S(R)是( ) A.R∪I A B.R C.R∪{〈c,a〉} D.R∩I A 9.设X={a,b,c},Ix是X上恒等关系,要使Ix∪{〈a,b〉,〈b,c〉,〈c,a〉,〈b,a〉}∪R为X上的 等价关系,R应取( ) A.{〈c,a〉,〈a,c〉} B.{〈c,b〉,〈b,a〉} C.{〈c,a〉,〈b,a〉} D.{〈a,c〉,〈c,b〉} 10.下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 11.设解释R如下:论域D为实数集,a=0,f(x,y)=x-y,A(x,y):x

离散数学考试题详细答案

离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去看电影,否则就在家里读书或看报。 设P表示命题“上午下雨”,Q表示命题“我去看电影”,R表示命题“在家里读书”,S表示命题“在家看报”,命题符号化为:(PQ)(PRS) b)我今天进城,除非下雨。 设P表示命题“我今天进城”,Q表示命题“天下雨”,命题符号化为:Q→P或P→Q c)仅当你走,我将留下。 设P表示命题“你走”,Q表示命题“我留下”,命题符号化为:Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不是有理数 设R(x)表示“x是实数”,Q(x)表示“x是有理数”,命题符号化为: x(R(x) Q(x)) 或x(R(x) →Q(x)) b)对于所有非零实数x,总存在y使得xy=1。 设R(x)表示“x是实数”,E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为: x(R(x) E(x,0) →y(R(y) E(f(x,y),1)))) c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b. 设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为:F(f)a(A(a)→b(B(b) E(f(a),b) c(S(c) E(f(a),c) →E(a,b)))) 二、简答题(共6道题,共32分) 1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。 (5分) (P→(Q→R))(R→(Q→P))(PQR)(PQR) ((PQR)→(PQR)) ((PQR) →(PQR)). ((PQR)(PQR)) ((PQR) (PQR)) (PQR)(PQR) 这是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 (PQR(PQR(PQR(PQR(PQR(PQR 2.设个体域为{1,2,3},求下列命题的真值(4分) a)xy(x+y=4) b)yx (x+y=4) a) T b) F 3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。(4分) x(F(x)→G(x))→(xF(x)→xG(x)) x(F(x)→G(x))→(yF(y)→zG(z)) x(F(x)→G(x))→yz(F(y)→G(z)) xyz((F(x)→G(x))→(F(y)→G(z))) 4.判断下面命题的真假,并说明原因。(每小题2分,共4分)

2016离散数学练习题 (答案修改)

2016注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的总结把重点内容再做复习。另外,把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.令p : 今天下雪了,q :路滑,r :他迟到了。则命题“下雪路滑,他迟到了” 可符号化为( A )。 A. p q r ∧→ B. p q r ∨→ C. p q r ∧∧ D. p q r ∨? 2.设()P x :x 是整数,()f x :x 的绝对值,(,)L x y :x 大于等于y ;命题“所有整数的绝对值大于等于0”可符号化为( B )。 A. (()((),0))x P x L f x ?∧ B. (()((),0))x P x L f x ?→ C. ()((),0)xP x L f x ?∧ D. ()((),0)xP x L f x ?→ 3.设()F x :x 是人,()G x :x 犯错误,命题“没有不犯错误的人”符号化为(D )。 A .(()())x F x G x ?∧ B . (()())x F x G x ??→? C .(()())x F x G x ??∧ D . (()())x F x G x ??∧? *4.下列命题公式不是永真式的是( A )。 A . ()p q p →→ B . ()p q p →→ C . ()p q p ?∨→ D . ()p q p →∨ 5.设p :我们划船,q :我们跳舞,命题“我们不能既划船又跳舞”符号化正确的是( B )。 A. p q ∧ B. ()p q ?∧ C. p q ?∧? D. p q ?∧ 6.设()R x :x 为有理数;()Q x :x 为实数。命题“任何有理数都是实数”的符号化为( A ) A .()(()())?→x R x Q x B .()(()())?∧x R x Q x C .()(()())x R x Q x ?∧ D .(()())x R x Q x ?→ 7. 设个体域{,}D a b =,与公式()xA x ?等价的命题公式是( C ) A .()()A a A b ∧ B .()()A a A b → C .()()A a A b ∨ D .()()A b A a → 8.无向图G 有20条边,4个6度顶点,2个5度顶点,其余均为2度顶点, 则G 一共有( C )个顶点。

离散数学考试试题(A卷及答案)

离散数学考试试题(A卷及答案) 一、(10分)判断下列公式的类型(永真式、永假式、可满足式)? 1)((P→Q)∧Q)?((Q∨R)∧Q) 2)?((Q→P)∨?P)∧(P∨R) 3)((?P∨Q)→R)→((P∧Q)∨R) 解:1)永真式;2)永假式;3)可满足式。 二、(8分)个体域为{1,2},求?x?y(x+y=4)的真值。 解:?x?y(x+y=4)??x((x+1=4)∨(x+2=4)) ?((1+1=4)∨(1+2=4))∧((2+1=4)∨(2+1=4)) ?(0∨0)∧(0∨1) ?1∧1?0 三、(8分)已知集合A和B且|A|=n,|B|=m,求A到B的二元关系数是多少?A到B的函数数是多少? 解:因为|P(A×B)|=2|A×B|=2|A||B|=2mn,所以A到B的二元关系有2mn个。因为|BA|=|B||A|=mn,所以A到B的函数mn个。 四、(10分)已知A={1,2,3,4,5}和R={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>},求r(R)、s(R)和t(R)。 解:r(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<2,2>,<3,3>,<4,4>,<5,5>} s(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<3,2>,<4,3>,<4,5>} t(R)={<1,2>,<2,1>,<2,3>,<3,4>,<5,4>,<1,1>,<1,3>,<2,2>,<2,4>,<1,4>} 五、(10分) 75个儿童到公园游乐场,他们在那里可以骑旋转木马,坐滑行铁道,乘宇宙飞船,已知其中20人这三种东西都乘过,其中55人至少乘坐过其中的两种。若每样乘坐一次的费用是0.5元,公园游乐场总共收入70元,求有多少儿童没有乘坐过其中任何一种。 解设A、B、C分别表示骑旋转木马、坐滑行铁道、乘宇宙飞船的儿童组成的集合,|A∩B∩C|=20,|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|=55,|A|+|B|+|C|=70/0.5=140。 由容斥原理,得 |A∪B∪C|=|A|+|B|+|C|―|A∩B|―|A∩C|―|B∩C|+|A∩B∩C| 所以 |A∩B∩C|=75-|A∪B∪C|=75-(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|-2|A∩B∩C|)+|A∩B∩C|=75-140+55+20=10 没有乘坐过其中任何一种的儿童共10人。 六、(12分)已知R和S是非空集合A上的等价关系,试证:1)R∩S是A上的等价关系;2)对a∈A,[a]R ∩S=[a]R∩[a]S。 解:?x∈A,因为R和S是自反关系,所以∈R、∈S,因而∈R∩S,故R∩S是自反 的。 ?x、y∈A,若∈R∩S,则∈R、∈S,因为R和S是对称关系,所以因∈R、∈S,因而∈R∩S,故R∩S是对称的。

《离散数学》考试题库及答案(三)

《离散数学》考试题库及答案 一、 填空 10% (每小题 2分) 1、 若P ,Q 为二命题,Q P ?真值为1,当且仅当 。 2、 对公式),()),(),((y x xR z x zQ y x yP ?∨?∧?中自由变元进行代入的 公 式 为 。 3、 )) (()(x xG x xF ??∧?的 前 束 范 式为 。 4、 设x 是谓词合式公式A 的一个客体变元,A 的论域为D ,A (x )关于y 的自由的, 则 被称为全称量词消去规则,记为US 。 5、 与非门的逻辑网络为 。 二、 选择 30% (每小题 3分) 1、 下列各符号串,不是合式公式的有( )。 A 、R Q P ?∧∧)(; B 、)()((S R Q P ∧→→; C 、R Q P ∧∨∨; D 、S R Q P ∨∧∨?))((。 2、 下列语句是命题的有( )。 A 、2是素数; B 、x+5 > 6; C 、地球外的星球上也有人; D 、这朵花多好看呀!。 3、 下列公式是重言式的有( )。 A 、)(Q P ??; B 、Q Q P →∧)(; C 、P P Q ∧→?)(; D 、P Q P ?→)( 4、 下列问题成立的有( )。 A 、 若C B C A ∨?∨,则B A ?; B 、若C B C A ∧?∧,则B A ?; C 、若B A ???,则B A ?; D 、若B A ?,则B A ???。 5、 命题逻辑演绎的CP 规则为( )。 A 、 在推演过程中可随便使用前提; B 、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果; C 、如果要演绎出的公式为C B →形式,那么将B 作为前提,设法演绎出C ;

离散数学考试试题(A、B卷及答案)

离散数学考试试题(A卷及答案) 一、证明题(10分) 1) (P∧Q∧A C)∧(A P∨Q∨C ) (A∧(P Q ))C。P<->Q=(p->Q)合取(Q->p) 证明: (P∧Q∧A C)∧(A P∨Q∨C) (P ∨Q ∨A∨C)∧(A∨P∨Q∨C) ((P ∨Q ∨A)∧(A∨P∨Q))∨C反用分配律 ((P∧Q∧A)∨(A ∧P ∧Q))∨C ( A∧((P∧Q)∨(P ∧Q)))∨C再反用分配律 GAGGAGAGGAFFFFAFAF

( A∧(P Q))∨C (A∧(P Q ))C 2) (P Q)P Q。 证明:(P Q)((P∧Q))(P ∨Q))P Q。 二、分别用真值表法和公式法求(P(Q∨R))∧(P∨(Q R))的主析取范式与主合取范式,并写出其相应的成真赋值和成假赋值(15分)。 主析取范式与析取范式的区别:主析取范式里每个括号里都必须有全部的变元。 主析取范式可由析取范式经等值演算法算得。 GAGGAGAGGAFFFFAFAF

证明: 公式法:因为(P(Q ∨R))∧(P∨(Q R)) (P∨Q∨R)∧(P∨(Q ∧R )∨(Q ∧R)) (P∨Q ∨R)∧(((P∨Q)∧(P ∨R ))∨(Q ∧R ))分配律 (P∨Q∨R)∧(P∨Q ∨Q)∧(P∨Q ∨R)∧(P∨R ∨Q)∧(P∨R ∨R) (P∨Q ∨R)∧(P∨Q ∨R )∧(P ∨Q∨R) M∧5M∧6M使(非P析取Q析取R)为0 4 GAGGAGAGGAFFFFAFAF

所赋真值,即100,二进制为4 GAGGAGAGGAFFFFAFAF

离散数学考试题

离散数学测试题 一.选择题(10*2) 1.设L (x ):x 是演员,J (y ):y 是老师,A (x ,y ):x 佩服y. 那么命题“所有演员都佩服某些老 师”符号化为( ) (A) ),()(y x A x xL →? (B) ))),()(()((y x A y J y x L x ∧?→? (C) )),()()((y x A y J x L y x ∧∧?? (D) )),()()((y x A y J x L y x →∧?? 2.令F(x):x 是有理数,G(x):x 是实数。将命题“所有的有理数都是实数,但有的有实数不是有理数”符号化为 ( ) A.?x(F(x)∧G(x))∧?x(G(x)→?F(x)) B.?x(F(x)→G(x))∧?x(G(x)∧?F(x)) C.?x(F(x)∧G(x))∧?x(G(x)∧?F(x)) D.?x(F(x)→G(x))∧?x(G(x)→?F(x)) 3.设R 是集合A={a,b,c,d}上的二元关系, R={,,,,,,},则R 具有关系的哪些性质( ) A.自反性、反对称性 B.反自反性、传递性 C.自反性、对称性 D.反对称性、传递性 4.设A ={1,2},B ={a,b,c},C ={c,d},则A ×(B ∩C )为( ) A .{},1,2,c c <><> B .{}1,,2,c c <><> C .{},1,,2c c <><> D .{}1,,,2c c <><> 5.设A={a,b,c,d},A 上的等价关系R={,,,}∪I A ,则对 应于R 的A 的划分是( ) A .{{a},{b,c},{d}} B .{{a,b},{c},{d}} C .{{a},{b},{c},{d}} D .{{a,b},{c,d}} 6.设A ={a,b},则A 的幂集P (A )为( ) A .{a,b} B .{Φ,{a},{b}} C .{Φ,{a,}} D .{Φ,{a},{b},{a,b}} 7、设A , B , C 都是集合,如果A ?C =B ?C ,则有( ) (A) A =B (B) A ≠B (C) 当A -C =B -C 时,有A =B (D) 当C =U 时, 有A ≠B 8.集合A ={1,2,3,4,5,6,7,8,9,10},A 上的整除关系是一个偏序关系, 则元素10是集合A 的( ). A .最大元; B .最小元; C .极大元; D .极小元 9.设R 为实数集,映射f :R →R ,f (x )=-x 2+2x-1,则f 是( ) A .单射而非满射 B .满射而非单射 C .双射 D .既不是单射,也不

离散数学期末练习题-(带答案)

离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()

《离散数学》练习题和参考答案

《离散数学》练习题和参考答案 一、选择或填空(数理逻辑部分) 1、下列哪些公式为永真蕴含式?( ) (1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P 答:(1),(4) 2、下列公式中哪些是永真式?( ) (1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q) 答:(2),(3),(4)3、设有下列公式,请问哪几个是永真蕴涵式?( ) (1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q (4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P 答:(2),(3),(4),(5),(6) 4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。答:x,y, x,z 5、判断下列语句是不是命题。若是,给出命题的真值。( ) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。(3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。(5) 前进! (6) 给我一杯水吧! 答:(1)是,T (2)是,F (3)不是 (4)是,T (5)不是(6)不是 6、命题“存在一些人是大学生”的否定是( ),而命题“所有的人都是要死的”的否定是( )。 答:所有人都不是大学生,有些人不会死 7、设P:我生病,Q:我去学校,则下列命题可符号化为( )。 (1) 只有在生病时,我才不去学校 (2) 若我生病,则我不去学校 (3) 当且仅当我生病时,我才不去学校(4) 若我不生病,则我一定去学校 答:(1) P Q→ ?(2)Q P? →(3)Q P? ?(4)Q P→ ? 8、设个体域为整数集,则下列公式的意义是( )。 (1) ?x?y(x+y=0) (2) ?y?x(x+y=0) 答:(1)对任一整数x存在整数 y满足x+y=0(2)存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合,确定下列命题的真值: (1) ?x?y (xy=y) ( ) (2) ?x?y(x+y=y) ( ) (3) ?x?y(x+y=x) ( ) (4) ?x?y(y=2x) ( )答:(1) F (2) F (3)F (4)T 10、设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式?x(P(x)∨Q(x))在哪个个体域中为真?( ) (1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答:(1) 11、命题“2是偶数或-3是负数”的否定是()。答:2不是偶数且-3不是负数。 12、永真式的否定是() (1) 永真式(2) 永假式(3) 可满足式(4) (1)--(3)均有可能答:(2) 13、公式(?P∧Q)∨(?P∧?Q)化简为(),公式 Q→(P∨(P∧Q))可化简为()。答:?P ,Q→P 14、谓词公式?x(P(x)∨?yR(y))→Q(x)中量词?x的辖域是()。答:P(x)∨?yR(y) 15、令R(x):x是实数,Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为()。

离散数学试题及答案

一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B={3} ; ?(A) - ?(B)= {3},{1,3},{2,3},{1,2,3}} . 2. 设有限集合A, |A| = n, 则|?(A×A)| = 2 2n. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是?1= {(a,1), (b,1)}, ?2= {(a,2), (b,2)},?3= {(a,1), (b,2)}, ?4= {(a,2), (b,1)}, 其中双射的是?3, ?4 . 4. 已知命题公式G=?(P?Q)∧R,则G的主析取范式是(P∧?Q∧R) 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为12,分枝点数为 3. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B={4} ; A?B={1,2,3,4}; A-B={1,2} . 7.设R是集合A上的等价关系,则R所具有的关系的三个特性是自反性, 对称性 传递性. 8. 设命题公式G=?(P?(Q?R)),则使公式G为真的解释有(1, 0, 0), (1, 0, 1),(1, 1, 0) 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2 = {(2,1),(3,2),(4,3)}, 则R1?R2 = {(1,3),(2,2),(3,1)} , R2?R1 = {(2,4),(3,3),(4,2)} _R12 ={(2,2),(3,3). 10. 设有限集A, B,|A| = m, |B| = n, 则| |?(A?B)| = . 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x?R}, B = {x | 0≤x < 2, x?R},则A-B = -1<=x<0 , B-A = {x | 1 < x < 2, x?R} , A∩B ={x | 0≤x≤1, x?R} , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除关系,则R以集合形式(列举法)记为 {(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)} . 14. 设一阶逻辑公式G = ?xP(x)??xQ(x),则G的前束范式是?x(?P(x)∨Q(x)) . 15.设G是具有8个顶点的树,则G中增加21 条边才能把G变成完全图。(完全图的边数 2)1 (- n n ,树的边数为n-1) 16.设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公式是_ (R(a)∧R(b))→(S(a)∨S(b)) _.

离散数学(1-4章)自测题(答案)

《离散数学》题库答案 第2,3章(数理逻辑) 1.答:(2),(3),(4) 2.答:(2),(3),(4),(5),(6) 3.答:(1)是,T (2)是,F (3)不是 (4)是,T (5)不是(6)不是 4.答:(1)P ?(4)Q P→ ? P? Q→ ?(2)Q P? →(3)Q 5.答:(1) 6.答:2不是偶数且-3不是负数。 7.答:(2) 8.答:?P ,Q→P 9.答:P(x)∨?yR(y) 10.答:??x(R(x)→Q(x)) 11、 a、(P→Q)∧R 解:(P→Q)∧R?(?P∨Q )∧R ?(?P∧R)∨(Q∧R) (析取范式) ?(?P∧(Q∨?Q)∧R)∨((?P∨P)∧Q∧R) ?(?P∧Q∧R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧Q∧R) ?(?P∧Q∧R)∨(?P∧?Q∧R)∨(P∧Q∧R) ?m3∨ m1∨m7 (主析取范式) ?m1∨ m3∨m7 ?M0∧M2∧M4∧M5∧M6 (主合取范式) b、Q→(P∨?R) 解:Q→(P∨?R)

??Q∨P∨?R ?M5(主合取范式) ? m0∨ m1∨ m2∨m3∨ m4∨m6 ∨m7 (主析取范式)c、P→(P∧(Q→P)) 解:P→(P∧(Q→P)) ??P∨(P∧(?Q∨P)) ??P∨P ? 1 (主合取范式) ? m0∨ m1∨m2∨ m3 (主析取范式) d、P∨(?P→(Q∨(?Q→R))) 解:P∨(?P→(Q∨(?Q→R))) ? P∨(P∨(Q∨(Q∨R))) ? P∨Q∨R ? M0 (主合取范式) ? m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式) 12、 a、P→Q,?Q∨R,?R,?S∨P=>?S 证明: (1) ?R 前提 (2) ?Q∨R 前提 (3)?Q (1),(2)析取三段论 (4) P→Q 前提 (5)?P (3),(4)拒取式 (6)?S∨P 前提

离散数学函数复习题答案

第6章 函数 一、选择题(每题3分) 1、设{,,},{1,2,3}A a b c B ==,则下列关系中能构成A 到B 函数的是( C ) A 、1{,1,,2,,3}f a a a =<><><> B 、2{,1,,1,,2}f a b b =<><><> C 、4{,1,,1,,1}f a b c =<><><> D 、1{,1,,2,,2,,3}f a a b c =<><><><> 2、设R Z N 、、分别为实数集、整数集,自然数集,则下列关系中能构成函数的是( B ) A 、)}10(),(|,{<+∧∈>< C 、)}(),(|,{2x y R y x y x =∧∈>< D 、{,|(,)(mod 3)}x y x y Z x y <>∈∧≡ 3、设Z 为整数集,则二元关系{,23}f a b a Z b Z b a =<>∈∧∈∧=+ ( B ) A 、不能构成Z 上的函数 B 、能构成Z 上的函数 C 、能构成Z 上的单射 D 、能构成Z 上的满射 4、设f 为自然数集N 上的函数,且1()0 x f x x ?=? ?若为奇数若为偶数 ,则f ( D ) A 、为单射而非满 B 、为满射而非单射 C 、为双射 D 、既非单射又非满射 5、设f 为整数集Z 上的函数,且()f x 为x 除以5的余数 ,则f ( D ) A 、为单射而非满 B 、为满射而非单射 C 、为双射 D 、既非单射又非满射 6、设R Z 、分别为实数集、整数集,则下列函数为满射而非单射的是( C ) A 、:,()6f R R f x x →=+ B 、2 :,()(6)f R R f x x →=+ C 、:,()[]f R Z f x x →= D 、6 :, ()6f R R f x x x →=+ 7、设R R Z +、、分别为实数集、非负实数集、正整数集,下列函数为单射而非满射的是( B ) A 、2 :,()71f R R f x x x →=-+- B 、x x f R Z f ln )(,:=→+ ; C 、:, ()f R R f x x →= D 、:,()71f R R f x x →=+ 8、设Z N E 、、分别为整数集,自然数集,偶数集,则下列函数是双射的为( A ) A 、f : Z E → , ()2f x x = B 、f : Z E → , ()8f x x = C 、f : Z Z →, ()8f x = D 、f : N N N →?, (),1f n n n =<+> 9、设3,4X Y ==,则从X 到Y 可以生成不同的单射个数为( B ). A 、12 B 、24 C 、64 D 、81 10、设3,2X Y ==,则从X 到Y 可以生成不同的满射个数为( B ). A 、6 B 、8 C 、9 D 、64 11、设函数:f B C →,:g A B →都是单射,则:f g A C → ( A ) A 、是单射 B 、是满射 C 、是双射 D 、既非单射又非满射 12、设函数:f B C →,:g A B →都是满射,则:f g A C → ( B ) A 、是单射 B 、是满射 C 、是双射 D 、既非单射又非满射 13、设函数:f B C →,:g A B →都是双射,则:f g A C → ( C ) A 、是单射 B 、是满射 C 、是双射 D 、既非单射又非满射 14、设函数:f B C →,:g A B →,若:f g A C → 是单射,则( B ) A 、f 是单射 B 、g 是单射 C 、f 是满射 D 、g 是满射 15、设函数:f B C →,:g A B →,若:f g A C → 是满射,则( C ) A 、f 是单射 B 、g 是单射 C 、f 是满射 D 、g 是满射 16、设函数:f B C →,:g A B →,若:f g A C → 是双射,则( D ) A 、,f g 都是单射 B 、,f g 都是满射 C 、f 是单射, g 是满射 D 、f 是满射, g 是单射

离散数学练习题

离散数学练习题 1、图中度为零的结点称为孤立结点。 A. 正确 B. 错误 正确:【A】 2、域是整环。 A. 正确 B. 错误 正确:【A】 3、有限格都是有界格。 A. 正确 B. 错误 正确:【A】 4、连通且不含圈的图称为树。 A. 正确 B. 错误 正确:【A】 5、“如果1+1≠3,则2+2≠4”是真命题。 A. 正确 B. 错误 正确:【B】 6、无向图G为欧拉图,则G是连通的。 A. 正确 B. 错误 正确:【A】 7、若A和B都是谓词公式,则(A∧B)、(A∨B)、(A→B)、(A<->B)都是谓词公式。 A. 正确 B. 错误

8、设A, B, C是命题公式,则AVBV﹁C 也是命题公式。 A. 正确 B. 错误 正确:【A】 9、设〈L,≤〉是格,则格的交∧和并∨运算满足等幂律。 A. 正确 B. 错误 正确:【A】 10、“x+3>1。”是命题。 A. 正确 B. 错误 正确:【B】 11、半群满足交换律。 A. 正确 B. 错误 正确:【B】 12、在任何图中,奇数度的结点数必是偶数。 A. 正确 B. 错误 正确:【A】 13、在格〈L,∨,∧〉中,如果交运算对并运算是可分配的,则并运算对交运算也是可分配的。 A. 正确 B. 错误 正确:【A】 14、完全图Kn没有割集,它的连通性能是最好的。 A. 正确 B. 错误

15、对任意集合A,都有??A。 A. 正确 B. 错误 正确:【A】 17、强连通图一定是单向连通图。 A. 正确 B. 错误 正确:【A】 18、代数系统〈G,°〉为群的条件是存在零元素。 A. 正确 B. 错误 正确:【B】 19、对应日常生活中的“任意的”,“所有的”,“一切的”等词,用符号“任意”表示。 A. 正确 B. 错误 正确:【A】 20、如果a是集合A中的元素,则称a属于A,记作a?A。 A. 正确 B. 错误 正确:【B】 21、A,B是集合,P(A),P(B)为其幂集,且,则P(A)∩P(B)为() A. B. C. D. 正确:【B】 22、设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)?f2(x)=0的解

离散数学及答案

全国2010年7月自学考试离散数学试题 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子不是..命题的是( D ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的 D .太好了! 2.下列式子不是..谓词合式公式的是( B ) A .(?x )P (x )→R (y ) B .(?x ) ┐P (x )?(?x )(P (x )→Q (x )) C .(?x )(?y )(P (x )∧Q (y ))→(?x )R (x ) D .(?x )(P (x ,y )→Q (x ,z ))∨(?z )R (x ,z ) 3.下列式子为重言式的是( ) A .(┐P ∧R )→Q B .P ∨Q ∧R →┐R C .P ∨(P ∧Q ) D .(┐P ∨Q )?(P →Q ) 4.在指定的解释下,下列公式为真的是( ) A .(?x )(P (x )∨Q (x )),P (x ):x =1,Q (x ):x =2,论域:{1,2} B .(?x )(P (x )∧Q (x )),P (x ):x =1,Q (x ):x =2,论域: {1,2} C .(?x )(P (x ) →Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4} D .(?x )(P (x )→Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4} 5.对于公式(?x ) (?y )(P (x )∧Q (y ))→(?x )R (x ,y ),下列说法正确的是( ) A .y 是自由变元 B .y 是约束变元 C .(?x )的辖域是R(x , y ) D .(?x )的辖域是(?y )(P (x )∧Q (y ))→(?x )R (x ,y ) 6.设论域为{1,2},与公式(?x )A (x )等价的是( ) A .A (1)∨A (2) B .A (1)→A (2) C .A (1)∧A (2) D .A (2)→A (1) 7.设Z +是正整数集,R 是实数集,f :Z +→R , f (n )=log 2n ,则f ( ) A .仅是入射 B .仅是满射 C .是双射 D .不是函数 8.下列关系矩阵所对应的关系具有反对称性的是( ) A .???? ? ?????001110101 B .???? ? ?????101110001

相关文档