离散数学1-6章练习题

离散数学1-6章练习题
离散数学1-6章练习题

离散数学练习题

第一章

一.填空

1.公式)()(q p q p ∧?∨?∧的成真赋值为 01;10

2.设p, r 为真命题,q, s 为假命题,则复合命题)()(s r q p →??→的真值为 0

3.公式)()()(q p q p q p ∧∨?∧??与共同的成真赋值为 01;10

4.设A 为任意的公式,B 为重言式,则B A ∨的类型为 重言式

5.设p, q 均为命题,在 不能同时为真 条件下,p 与q 的排斥也可以写成p 与q 的相容或。

二.将下列命题符合化 1.

7不是无理数是不对的。

解:)(p ??,其中p:

7是无理数; 或p ,其中p:

7是无理数。

2.小刘既不怕吃苦,又很爱钻研。

解:其中,q p ∧?p: 小刘怕吃苦,q :小刘很爱钻研

3.只有不怕困难,才能战胜困难。

解:p q ?→,其中p: 怕困难,q: 战胜困难

或q p ?→,其中p: 怕困难, q: 战胜困难

4.只要别人有困难,老王就帮助别人,除非困难解决了。

解:)(q p r →→?,其中p: 别人有困难,q:老王帮助别人 ,r: 困难解决了 或:q p r →∧?)(,其中p:别人有困难,q: 老王帮助别人,r: 困难解决了

5.整数n 是整数当且仅当n 能被2整除。

解:q p ?,其中p: 整数n 是偶数,q: 整数n 能被2整除

三、求复合命题的真值

P :2能整除5, q :旧金山是美国的首都, r :在中国一年分四季 1. ))(())((q p r r q p ∧→∧→∨

2.r q p p r p q ∧?∧?∨∨→→?)(())()(( 解:p, q 为假命题,r 为真命题

1.))(())((q p r r q p ∧→∧→∨的真值为0

2. r q p p r p q ∧?∧?∨∨→→?)(())()((的真值为1

四、判断推理是否正确 设x y 2=为实数,推理如下:

若y 在x=0可导,则y 在x=0连续。y 在x=0连续,所以y 在x=0可导。

解:x y 2=,x 为实数,令p: y在x=0可导,q: y 在x=0连续。P 为假命题,q 为真命题,推理符号化为:p q q p →∧→)(,由p ,q 得真值可知,推理的真值为0,所以推理不正确。

五、判断公式的类型

1,r q p q p p q ∨∧?∨∧→??)))()(()(( 2. )())((q r p q p ∧∧→?∧ 3. )()(r q r p ?→??

由上表可知A 为重言式,B 为矛盾式,C 为可满足式。

第二章练习题

一.填空

1.设A 为含命题变项p, q, r 的重言式,则公式))((→∧∨q p A 的类型为 重言式

2.设B 为含命题变项p, q, r 的重言式,则公式))((→∧∨q p B 的类型为矛盾式

3.设p, q 为命题变项,则)(q p ??的成真赋值为 01 ;10

4.设p,q 为真命题,r, s 为假命题,则复合函数)()(s q r p →???的成真赋值为__0___ 5.矛盾式的主析取范式为___0_____

6.设公式A 为含命题变项p, q, r 又已知A 的主合取范式为M M M M

5320

∧∧∧则A

的主合取范式为

m m m m 7

6

4

1

∨∨∨

二、用等值演算法求公式的主析取范式或主合取范式 1.求公式)())((p q q p ?→?∨→??的主合取范式。

解:

M q p q p q p q p p q q p 2

)()()())((?∨??→?→∨→??→?∨→??

2.求公式)())()((p q q p q p →?→∧∨的主析取范式,再由主析取范式求出主合取范式。 解:

M M M m q p q q p q p q p q q p q q p q q p q p p q q p q p 2

1030)()())(())(()()())()(()())()((∧∧??∨∧?∧?∨?→→∧→→?→??→?∨?∧∨?→?→∧∨ 三、用其表达式求公式r q p ?→)(的主析取范式。 解:真值表

由上表可知成真赋值为 001;011;100;111

四、将公式)(r q p →→化成与之等值且仅含[]∧?,中连接词的公式 解:)()()()(r q p r q p r q p r q p ?∧∧??∨?∨??∨?→?→→ 五、用主析取范式判断))(()()(q p q p q p ∧?∧∨??与是否等值。 解:

))

(()())(())(()()()()())()(())()(()(p q q p p q q p q p p q q p p q q p p q q p p q q p q p ∧?∧∨??∧∨?∧?∧∨??∧∨?∧?∨??∨∨???∨?∧∨???→∧→????所以他们等值。

第四章 习题 一,填空题

1.设F(x): x 具有性质F ,G(x): x 具有性质G ,命题“对所有x 的而言,若x 具有性质F ,则x 具有性质G ”的符号化形式为 )()((x G x F x →?

2.设F(x): x 具有性质F ,G(x): x 具有性质G ,命题“有的x 既有性质F ,又有性质G ”的符号化形式为 )()((x G x F x ∧?

3. 设F(x): x 具有性质F ,G(y): y 具有性质G ,命题“对所有x 都有性质F ,则所有的y 都有性质G ”的符号化形式为 )()(y yG x xF ?→?

4. 设F(x): x 具有性质F ,G(y): y 具有性质G ,命题“若存在x 具有性质F ,则所有的y 都没有性质G ”的符号化形式为 )()(y G y x xF ??→?

5.设A 为任意一阶逻辑公式,若A 中__不含自由出现的个体项_____,则称A 为封闭的公式。

6.在一阶逻辑中将命题符号化时,若没有指明个体域,则使用 全总 个体域。 二.在一阶逻辑中将下列命题符号化

1.所有的整数,不是负整数就是正整数,或是0。

解:))()()(()(x R x H x G x xF ∨∨→?,其中x x F :)(是整数,

x x G :)(是负整数,x x H :)(是正整数,0:)(=x x R

2.有的实数是有理数,有的实数是无理数。

解:))()(())()((y H y F y x G x F x ∧?∧∧?,其中,x x F :)(是实数,x x G :)(是有理数,

y y H :)(是无理数

3.发明家都是聪明的并且是勤劳的,王进是发明家,所以王进是聪明的并且是勤劳的。 解:))()(())()))()(()(((a H a G a F x H x G x F x ∧→∧∧→?,其中:x x F :)(是发明家,

x x G :)(是聪明的,x x H :)(是勤劳的,:a 王前进

4.实数不都是有理数。

解:))()((x G x F x →??,其中x x F :)(是实数,x x G :)(是有理数 5.不存在能表示成分数的有理数。

解:)()(x G x xF ?→?,其中:x x F :)(是无理数,x x G :)(能表示成分数 6.若x 与y 都是实数且x>y ,则x+y>y+z

解:)),

(),()()(((z y z x H y x H y F x F y x ++→∧∧??,其中,x x F :)(是实数,

y x y x H ≥:),(

三.给定解释I 如下:

(a )个体域为实数集合R ; (b)特定元素0=a ; (c)特定函数R y R x y x y x f ∈∈-=,,),(

(d)特定谓词R y R x y x y x G y x y x F ∈∈<=,

,

:),(,

:),(

给出下列公式在I 的解释,并指出他们的真值: 1.)),(),((y x F y x G y x ?→??

解:))()((y x y x y x ≠→

解:))(0(y x y x y x <→=-??,即对任意的实数y x ,若,0=-y x 则,y x <其真值为0 3.))),,((),((a y x f F y x G y x ?→??

解:))0()((≠-→

4.)),()),,((y x F a y x Gf y x →??

解:)))0((y x y x y x =→<-??,即对任意的实数y x ,若,0<-y x 则,y x =其真值为0 四.给定解释I 如下:

(a)个体域D=N; (b)特定元素2=a (c)N 上函数;),(,),(y x y x g y x y x f ?=+=

(d)N 上谓词y x y x F =:),(

给出下列公式在I 下的解释,并指出他们的真值: 1.)),,((x a x g xF ?

解:)2(x x x =?,即对任意的自然数x ,都有x x =2,真值为0 2.))),,(()),,(((x a y f F y a x f F y x →??

解:))2()2((x y y x y x =+→=+??,即对任意自然数y x ,若y x =+2,则x y =+2;其真值为0

3.)),,((z y x f zF y x ???

解:)(z y x z y x =+???,即对任意的自然数y x ,,都存在z ,使得z y x =+;真值为1 4.)),(),,((x x g x x f xF ? 解:)2(2

x

x x =?,即存在自然数x 使得x x 2

2=,其真值为1

第六章 习题 一,填空

1.设{}{}4,3,,2a A =, {}{}3,,4,a B Φ=,则=⊕B A ____{}{}Φ,3},{,3,,2a a ______

2.设{}{}{}{

}2,1,1=A ,则=)(A P ____}}}2,1{{},1{{}}},2,1{{{}},1{{,{Φ_________ 3.设{}{}{

}2,11=A ,则=)(A P ____{Φ,{{1}},{{1,2}},{{1},{1,,2}}}________ 4. 设{

}2,1=A ,则=)(A P ____{Φ,{1},{2},{1,2}}_________ 5.设[a,b], (c,d)代表实数区间,那么=-?)3,1(])6,2[]4,0([____[3,4]________

6.设X,Y ,Z 为任意集合,且{

}3,2,1=⊕Y X ,{}4,3,2=⊕Z X ,若,Y Z ∈则一定有___Z Z ∈∈3;2_____

)4;3;2;1(Z Z Z Z ∈∈∈∈

7.设,A 则=-⊕A A A )(______Φ_______ 二,简答题

1.设{

}12,2,1K =I ,{}11,9,7,5,3,1=A ,{}11,7,5,3,2=B ,{}12,6,3,2=C ,{}8,4,2=D ,计算:;B A ? C A ?; )(B A C ?-; B A -; D C -; D B ⊕;

=?B A {1,2,3,5,7,9,11} C A ?={3} )(B A C ?-={6, 12} B A -={1, 9} D C -={3,6,12} D B ⊕={3,4,5,7,8,11}

2.设{}{}{}b a a A ,,=,求:A ?; A ?

A ?={a,b}

A ?={a}

三、设{

}6,5,4,3,2,1=A ,{}6,4,2=B ,{

}15,,|3

<∈==x N n x x C n ,求:

C A ?; A B -; )(B P

C={1,8}

C A ?={1,2,3,4,5,6,8}

A B -=Φ

P(B)={ Φ,{2},{4},{6},{2,4},{2,6},{4,6},{2,4,6}}

四:一个班50个学生,在一次考试中有26人得5分,在第二次考试中有21人得5分,如果两次考试中没有得5分的有17人,那么两次考试中都得5分的有都少人?(提示:应用包含排斥原理)

答:设A 为第一次考试得5分的人,B 为第二次考试得5分的人。 A=26,B=21 ~(A ?B )=17 A ?B=50-17=33 A ?B-A=7

A ?B=21-7=14

五,一个班25个学生,会打篮球的有12人,会打排球的有10人,两种球都不会打的有5人,那么两种球都会打的有多少人?(提示:应用包含排斥原理) 答:设A 为会打篮球的人数,B 为会打排球的人数。 A=12,B=10 ~(A ?B )=5 A ?B=25-5=20 A ?B-A=8 A ?B=10-8=2

第七章 习题

设?-?=?+?x y y x 2,15,,求x,y 解:由有序相等的充要条件:

???=+-=x y y x 251 解得:?

?

?==76

y x 2.已知}{1,0=A , {

}2,1=B ,试确定下列集合(1)B A ?, (2){}B A ??1 (3)B A A ?? 解:(1){}>><<><><=?2,11,1,2,0,1,0B A

(2) {}{}{}{}

><><><><=?><><=??2,1,1,1,1,1,2,1,0,1,1,02,11,1,1,01B A

(3)

{}{}

{}

><><><><><><><><=?><><><><=??2,0,1,2,1,1,2,1,0,2,0,0,1,0,1,1,1,1,1,1,0,1,0,02,10,1,1,1,1,0,0,0B A A

P143页13题

设 {}><><><=3,3,4,2,2,1A , {}><><><=2,4,4,2,3,1B 求:B A Y , B A I , ranA B A dom domB domA ),(,,,

Y

解:{}><>><<><><=2,4,3,34,2,3,1,2,1B A Y {}><=4,2B A I

{}3,2,1=domA {

}4,2,1=domB {}4,3,2=ranA

离散数学 第1章 习题解答

习题 1. 下列句子中,哪些是命题哪些不是命题如果是命题,指出它的真值。 ⑴中国有四大发明。 ⑵计算机有空吗 ⑶不存在最大素数。 ⑷21+3<5。 ⑸老王是山东人或河北人。 ⑹2与3都是偶数。 ⑺小李在宿舍里。 ⑻这朵玫瑰花多美丽呀! ⑼请勿随地吐痰! ⑽圆的面积等于半径的平方乘以。 ⑾只有6是偶数,3才能是2的倍数。 ⑿雪是黑色的当且仅当太阳从东方升起。 ⒀如果天下大雨,他就乘班车上班。 解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。 2. 将下列复合命题分成若干原子命题。 ⑴李辛与李末是兄弟。 ⑵因为天气冷,所以我穿了羽绒服。 ⑶天正在下雨或湿度很高。 ⑷刘英与李进上山。 ⑸王强与刘威都学过法语。 ⑹如果你不看电影,那么我也不看电影。 ⑺我既不看电视也不外出,我在睡觉。 ⑻除非天下大雨,否则他不乘班车上班。 解:⑴本命题为原子命题; ⑵p:天气冷;q:我穿羽绒服; ⑶p:天在下雨;q:湿度很高; ⑷p:刘英上山;q:李进上山; ⑸p:王强学过法语;q:刘威学过法语; ⑹p:你看电影;q:我看电影; ⑺p:我看电视;q:我外出;r:我睡觉; ⑻p:天下大雨;q:他乘班车上班。 3. 将下列命题符号化。 ⑴他一面吃饭,一面听音乐。 ⑵3是素数或2是素数。 ⑶若地球上没有树木,则人类不能生存。

⑷8是偶数的充分必要条件是8能被3整除。 ⑸停机的原因在于语法错误或程序错误。 ⑹四边形ABCD是平行四边形当且仅当它的对边平行。 ⑺如果a和b是偶数,则a+b是偶数。 解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q ⑵p:3是素数;q:2是素数;原命题符号化为:p∨q ⑶p:地球上有树木;q:人类能生存;原命题符号化为:p→q ⑷p:8是偶数;q:8能被3整除;原命题符号化为:pq ⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p ⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:pq。 ⑺p:a是偶数;q:b是偶数;r:a+b是偶数;原命题符号化为:p∧q→r 4. 将下列命题符号化,并指出各复合命题的真值。 ⑴如果3+3=6,则雪是白的。 ⑵如果3+3≠6,则雪是白的。 ⑶如果3+3=6,则雪不是白的。 ⑷如果3+3≠6,则雪不是白的。 ⑸3是无理数当且仅当加拿大位于亚洲。 ⑹2+3=5的充要条件是3是无理数。(假定是10进制) ⑺若两圆O1,O2的面积相等,则它们的半径相等,反之亦然。 ⑻当王小红心情愉快时,她就唱歌,反之,当她唱歌时,一定心情愉快。 解:设p:3+3=6。q:雪是白的。 ⑴原命题符号化为:p→q;该命题是真命题。 ⑵原命题符号化为:p→q;该命题是真命题。 ⑶原命题符号化为:p→q;该命题是假命题。 ⑷原命题符号化为:p→q;该命题是真命题。 ⑸p:3是无理数;q:加拿大位于亚洲;原命题符号化为:pq;该命题是假命题。 ⑹p:2+3=5;q:3是无理数;原命题符号化为:pq;该命题是真命题。 ⑺p:两圆O1,O2的面积相等;q:两圆O1,O2的半径相等;原命题符号化为:pq;该命题是真命题。 ⑻p:王小红心情愉快;q:王小红唱歌;原命题符号化为:pq;该命题是真命题。 习题

离散数学第1章习题答案

#include #include #include #define MAX_STACK_SIZE 100 typedef int ElemType; typedef struct { ElemType data[MAX_STACK_SIZE]; int top; } Stack; void InitStack(Stack *S) { S->top=-1; } int Push(Stack *S,ElemType x) { if(S->top==MAX_STACK_SIZE-1 ) { printf("\n Stack is full!"); return 0; } S->top++; S->data[S->top]=x; return 1; } int Empty(Stack *S) { return (S->top==-1); } int Pop(Stack *S,ElemType *x) { if(Empty(S)) { printf("\n Stack is free!"); return 0; } *x=S->data[S->top]; S->top--; return 1; } void conversion(int N) { int e; Stack *S=(Stack*)malloc(sizeof(Stack)); InitStack(S); while(N) { Push(S,N%2);

N=N/2; } while(!Empty(S)) { Pop(S,&e); printf("%d ",e); } } void main() { int n; printf("请输入待转换的值n:\n"); scanf ("%d",&n); conversion(n); }习题 1.判断下列语句是否是命题,为什么?若是命题,判断是简单命题还是复合命题? (1)离散数学是计算机专业的一门必修课。 (2)李梅能歌善舞。 (3)这朵花真美丽! (4)3+2>6。 (5)只要我有时间,我就来看你。 (6)x=5。 (7)尽管他有病,但他仍坚持工作。 (8)太阳系外有宇宙人。 (9)小王和小张是同桌。 (10)不存在最大的素数。 解在上述10个句子中,(3)是感叹句,因此它不是命题。(6)虽然是陈述句,但它没有确定的值,因此它也不是命题。其余语句都是可判断真假的陈述句,所以都是命题。其中:(1)、(4) 、(8) 、(9) 、是简单命题,、(2) 、(5) 、(7)、(10) 是复合命题。 2.判断下列各式是否是命题公式,为什么? (1)(P→(P∨Q))。 (2)(?P→Q)→(Q→P)))。 (3)((?P→Q)→(Q→P))。 (4)(Q→R∧S)。 (5)(P∨QR)→S。 (6)((R→(Q→R)→(P→Q))。 解 (1)是命题公式。 (2)不是命题公式,因为括号不配对。 (3)是命题公式。 (4)是命题公式。

离散数学第二版邓辉文编著第一章第六节习题答案

1.6 集合对等 习题1.6 1.证明: 任意无限集合均存在可数子集. 证 设A 是无限集合,取A a ∈0,则}{0a A -是无限集合. 取A a ∈1,则},{10a a A -是无限集合. 一直下去,即可得到无限集合A 的可数子集,...},...,{10n a a a . 2.证明: ]1,0[~)1,0(. 证 由于(0,1)是无限集合,而任意无限集合均存在可数子集,设,...},...,{10n a a a 是(0,1)开区间的一个可数子集合,令]1,0[)1,0(:→f ,满足下面的条件 1)(,0)(10==a f a f , 2,)(2≥=-i a a f i i ; ,...},...,,{,)(10n a a a x x x f ?=. 显然,f 是(0,1)到[0, 1]的一个双射. 故]1,0[~)1,0(. 3.证明: b a b a <],,[~]1,0[. 证 令],[]1,0[:b a f →,x a b a x f )()(-+=,容易证明f 是一个双射,进而],[~]1,0[b a . 4.有理数集合Q 是可数集合. 证 由于正有理数集合Q + = ??????≠∈互素与n m m n m m n ,0,N ,,令N N Q :?→+f , ),(n m m n f =?? ? ??, 则f 是单射,所以|Q +| |N N |?≤. 由于N N ~N ?,于是|Q +| =≤|N |?0. 而Q +是无限集合,所以|Q +| =≥|N |?0. 于是|Q +| = ?0. 所以正有理数集合Q +是可数集合. 显然Q +与所有负有理数集合Q -对等,而Q = Q +?Q -?{0},所有Q 是可数集合. 5.证明: 全体无理数组成的集合R – Q 与R 有相同的基数. 证 在全体无理数集合R – Q 中选取可数子集,...},...,{10n a a a ,因为Q 可

离散数学(屈婉玲版)第一章部分习题分解

第一章习题 1.1&1.2 判断下列语句是否为命题,若是命题请指出是简单命题还 是复合命题.并将命题符号化,并讨论它们的真值. (1) √2是无理数. 是命题,简单命题.p:√2是无理数.真值:1 (2) 5能被2整除. 是命题,简单命题.p:5能被2整除.真值:0 (3)现在在开会吗? 不是命题. (4)x+5>0. 不是命题. (5) 这朵花真好看呀! 不是命题. (6) 2是素数当且仅当三角形有3条边. 是命题,复合命题.p:2是素数.q:三角形有3条边.p?q真值:1 (7) 雪是黑色的当且仅当太阳从东方升起. 是命题,复合命题.p:雪是黑色的.q:太阳从东方升起. p?q真值:0 (8) 2008年10月1日天气晴好. 是命题,简单命题.p:2008年10月1日天气晴好.真值唯 一. (9) 太阳系以外的星球上有生物. 是命题,简单命题.p:太阳系以外的星球上有生物.真值唯一. (10) 小李在宿舍里. 是命题,简单命题.P:小李在宿舍里.真值唯一. (11) 全体起立! 不是命题. (12) 4是2的倍数或是3的倍数. 是命题,复合命题.p:4是2的倍数.q:4是3的倍数.p∨q 真值:1 (13) 4是偶数且是奇数.

是命题,复合命题.P:4是偶数.q:4是奇数.p∧q真值:0 (14) 李明与王华是同学. 是命题,简单命题.p: 李明与王华是同学.真值唯一. (15) 蓝色和黄色可以调配成绿色. 是命题,简单命题.p: 蓝色和黄色可以调配成绿色.真值:1 1.3 判断下列各命题的真值. (1)若 2+2=4,则 3+3=6. (2)若 2+2=4,则 3+3≠6. (3)若 2+2≠4,则 3+3=6. (4)若 2+2≠4,则 3+3≠6. (5)2+2=4当且仅当3+3=6. (6)2+2=4当且仅当3+3≠6. (7)2+2≠4当且仅当3+3=6. (8)2+2≠4当且仅当3+3≠6. 答案: 设p:2+2=4,q:3+3=6,则p,q都是真命题. (1)p→q,真值为1. (2)p→┐q,真值为0. (3)┐p→q,真值为1. (4)┐p→┐q,真值为1. (5)p?q,真值为1. (6)p?┐q,真值为0. (7)┐p?q,真值为0. (8)┐p?┐q,真值为1. 1.4将下列命题符号化,并讨论其真值。 (1)如果今天是1号,则明天是2号。 p:今天是1号。 q:明天是2号。 符号化为:p→q 真值为:1 (2)如果今天是1号,则明天是3号。 p:今天是1号。

离散数学第三版课后习题答案

离散数学辅助教材 概念分析结构思想与推理证明 第一部分 集合论

离散数学习题解答 习题一(第一章集合) 1. 列出下述集合的全部元素: 1)A={x | x ∈N∧x是偶数∧x<15} 2)B={x|x∈N∧4+x=3} 3)C={x|x是十进制的数字} [解] 1)A={2,4,6,8,10,12,14} 2)B= 3)C={0,1,2,3,4,5,6,7,8,9} 2. 用谓词法表示下列集合: 1){奇整数集合} 2){小于7的非负整数集合} 3){3,5,7,11,13,17,19,23,29} [解] 1){n n∈I∧(?m∈I)(n=2m+1)}; 2){n n∈I∧n≥0∧n<7}; 3){p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。 3. 确定下列各命题的真假性: 1) 2)∈ 3){} 4)∈{} 5){a,b}{a,b,c,{a,b,c}} 6){a,b}∈(a,b,c,{a,b,c}) 7){a,b}{a,b,{{a,b,}}} 8){a,b}∈{a,b,{{a,b,}}} [解]1)真。因为空集是任意集合的子集; 2)假。因为空集不含任何元素; 3)真。因为空集是任意集合的子集; 4)真。因为是集合{}的元素; 5)真。因为{a,b}是集合{a,b,c,{a,b,c}}的子集; 6)假。因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;

7)真。因为{a,b}是集合{a,b,{{a,b}}}的子集; 8)假。因为{a,b}不是集合{a,b,{{a,b}}}的元素。 4. 对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B∈C,则A∈C。 2)如果A∈B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A∈C。 [解] 1)假。例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。 2)假。例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A ∈C。 3)假。例如A={a},B={a,b},C={{a},a,b},从而ACB∧B∈.C,但A∈C。5.对任意集合A,B,C,确定下列命题的真假性: 1)如果A∈B∧B C,则A∈C。 2)如果A∈B∧B C,则A C。 3)如果A B∧B∈C,则A∈C。 3)如果A B∧B∈C,则A C。 [解] 1)真。因为B C x(x∈B x∈C),因此A∈B A∈C。 2)假。例如A={a},B={{a},{b}},C={{a},{b},{c}}从而A∈B∧B C,但A C。 3)假。例如A={a},B={{a,b}},C={{a,{a,b}},从而A B∧B∈C,但A C。 4)假。例如A={a},B={{a,b}},C={{a,b},b},从而A B∧B∈C,但A C。 6.求下列集合的幂集: 1){a,b,c} 2){a,{b,c}} 3){} 4){,{}} 5){{a,b},{a,a,b},{a,b,a,b}} [解] 1){,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}} 2){,{a},{{b,c}},{a,{a,b}}} 3){,{}} 4){,{},{{}},{,{}}}

离散数学1-6章练习题及答案

离散数学练习题 第一章 一?填空 1?公式(p q) ( p q)的成真赋值为01; 10 2?设p, r为真命题,q, s为假命题,则复合命题(p q) ( r s)的真值为0 3?公式(p q)与(p q) ( p q)共同的成真赋值为01 ;10 4?设A为任意的公式,B为重言式,则A B的类型为重言式 5. 设p, q均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。 二.将下列命题符合化 1. ■ 7不是无理数是不对的。 解:(p),其中p:. 7是无理数;或p,其中p: . 7是无理数。 2?小刘既不怕吃苦,又很爱钻研。 解:p q,其中p:小刘怕吃苦,q :小刘很爱钻研 3?只有不怕困难,才能战胜困难。 解:q p,其中p:怕困难,q:战胜困难 或p q,其中p:怕困难,q:战胜困难 4?只要别人有困难,老王就帮助别人,除非困难解决了。 解:r (p q),其中p:别人有困难,q:老王帮助别人,r:困难解决了 或:(r p) q,其中p:别人有困难,q:老王帮助别人,r:困难解决了 5?整数n是整数当且仅当n能被2整除。 解:p q,其中p:整数n是偶数,q:整数n能被2整除 三、求复合命题的真值 P:2能整除5, q:旧金山是美国的首都,r:在中国一年分四季

1. ((p q) r) (r (p q)) 2?((q p) (r p)) (( p q) r 解:p, q为假命题,r为真命题 1. (( p q) r) (r (p q))的真值为0 2. (( q p) (r p)) (( p q) r 的真值为1 四、判断推理是否正确 设y 2x为实数,推理如下: 若y在x=0可导,则y在x=0连续。y在x=0连续,所以y在x=0可导。 解:y 2x,x为实数,令p: y在x =0可导,q: y在x=0连续。P为假命题,q为真命题,推理符号化为:(p q) q p,由p, q得真值可知,推理的真值为0,所以推理不正确。 五、判断公式的类型 1,( (q p) ((p q) ( p q))) r 2. (p (q p)) (r q) 3. (p r) (q r)

离散数学第一章部分课后习题参考答案

第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)0∨(0∧1) 0 (2)(p?r)∧(﹁q∨s) (0?1)∧(1∨1) 0∧10. (3)(p∧q∧r)?(p∧q∧﹁r) (1∧1∧1)? (0∧0∧0)0 (4)(r∧s)→(p∧q) (0∧1)→(1∧0) 0→0 1 17.判断下面一段论述是否为真:“是无理数。并且,如果3是无理数,则也是无理数。另外6能被2整除,6才能被4整除。” 答:p: 是无理数 1 q: 3是无理数0 r: 是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。 19.用真值表判断下列公式的类型: (4)(p→q) →(q→p) (5)(p∧r) (p∧q) (6)((p→q) ∧(q→r)) →(p→r) 答:(4) p q p→q q p q→p (p→q)→(q→p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 (5)公式类型为可满足式(方法如上例) (6)公式类型为永真式(方法如上例) 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值. (1) (p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答:(2)(p→(p∨q))∨(p→r)(p∨(p∨q))∨(p∨r)p∨p∨q∨r1

所以公式类型为永真式 (3)P q r p∨q p∧r (p∨q)→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式: (2)(p→q)∧(p→r)(p→(q∧r)) (4)(p∧q)∨(p∧q)(p∨q) ∧(p∧q) 证明(2)(p→q)∧(p→r) (p∨q)∧(p∨r) p∨(q∧r)) p→(q∧r) (4)(p∧q)∨(p∧q)(p∨(p∧q)) ∧(q∨(p∧q) (p∨p)∧(p∨q)∧(q∨p) ∧(q∨q) 1∧(p∨q)∧(p∧q)∧1 (p∨q)∧(p∧q) 5.求下列公式的主析取范式与主合取范式,并求成真赋值 (1)(p→q)→(q∨p) (2)(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解: (1)主析取范式 (p→q)→(q p) (p q)(q p) (p q)(q p) (p q)(q p)(q p)(p q)(p q) (p q)(p q)(p q) ∑(0,2,3) 主合取范式: (p→q)→(q p) (p q)(q p)

离散数学第一章命题逻辑知识点总结

数理逻辑部分 第1章命题逻辑 命题符号化及联结词 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题,陈述句中的悖论以及判断结果不惟一确定的也不是命题。 简单命题(原子命题):简单陈述句构成的命题 复合命题:由简单命题与联结词按一定规则复合而成的命题 简单命题符号化 用小写英文字母p, q, r, … ,p i,q i,r i (i≥1)表示 简单命题 用“1”表示真,用“0”表示假 例如,令p:是有理数,则p 的真值为 0 q:2 + 5 = 7,则q 的真值为 1 联结词与复合命题 1.否定式与否定联结词“” 定义设p为命题,复合命题“非p”(或“p的否定”)称 为p的否定式,记作p. 符号称作否定联结词,并规定p为真当且仅当p为假. 2.合取式与合取联结词“∧” 定义设p,q为二命题,复合命题“p并且q”(或“p与q”)称为p与q 的合取式,记作p∧q. ∧称作合取联结词,并规定 p∧q为真当且仅当p 与q同时为真 注意:描述合取式的灵活性与多样性 分清简单命题与复合命题 例将下列命题符号化. (1) 王晓既用功又聪明. (2) 王晓不仅聪明,而且用功. (3) 王晓虽然聪明,但不用功. (4) 张辉与王丽都是三好生. (5) 张辉与王丽是同学. 解令p:王晓用功,q:王晓聪明,则 (1) p∧q (2) p∧q (3) p∧q. 令r : 张辉是三好学生,s :王丽是三好学生 (4) r∧s. (5) 令t : 张辉与王丽是同学,t 是简单命题 . 说明:

离散数学考试题

离散数学测试题 一.选择题(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章答案

P10 1对下面每个集合,判断2和{2}是否它的一个元素。 (1){x∈R | x是大于1的整数} (2){x∈R | x是某些整数的平方} (3){2, {2}} (4){{2},{{2}}} (5){{2}, {2,{2}}} (6){{{2}}} 解: {2}是(3),(4),(5)的元素。2是(1),(3)的元素。 3 下列哪些命题成立?哪些不成立?为什么? (1)φ∈{φ,{φ}} (2)φ?{φ,{φ}} (3){φ}?{φ,{φ}} (4){{φ}}?{φ,{φ}} 解: (1)成立 (2)成立 (3)成立 (4)成立 5 设A集合={a,b,{a,b},φ}。下列集合由哪些元素组成? (1)A-{a,b}; (2){{a.b}}-A; (3){a,b}-A; (4)A--φ; (5)φ-A; (6)A-{φ}. 解: (1){{a,b},φ} (2)φ (3)φ (4) A (5)φ (6){a,b,{a,b}} 6 假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 解:A∩B 7 设A,B和C是任意集合,判断下列命题是否成立,并说明理由。

(1)若A?B,C?D,则A∪C?B∪D,A∩C?B∩D; (2)若ADB,CDD,则A∪CDB∪D,A∩CDB∩D; (3)若A∪B=A∪C,则B=C; (4)若A∩B=A∩C,则B=C; 解: (1)成立 (2)不一定成立 (3)不一定成立 (4)不一定成立 11(5)设A、B和C是集合,请给出(A-B)?(A-C)=φ成立的充要条件。解:错误!未找到引用源。A?B∪C 13试求: (1)P(φ); (2)P(P(φ)); (3)P({φ,a,{a}}) 解: (1){φ} (2){φ,{φ}} (3){φ,{φ},{a},{{a}}} 15 设A是集合,下列命题是否必定成立? (1)A∈P(A) (2)A?P(A) (3){A}∈P(A) (4){A}?P(A) 解: (1)成立 (2)不一定成立 (3)不一定成立 (4)成立 18设A={a,b},B={b,c},下列集合由哪些元素组成? (1)A×{a}×B; (2)P(A)×B; (3)(B×B) ×B; 解: (1){(a,a,b),(a,a,c),(b,a,b),(b,a,c)} (2){(φ,c),(φ,b),({a},c),({a},b),({b},c),({b},b),({a,b},c),({a,b},b)} (3){((b,b),c),((b,b),b),((b,c),c),((b,c),b),((c,b),c),((c,b),b),((c,c),c),((c,c),b)} 19 设A是任意集合,A3=(A×A)×A=A×(A×A)是否成立?为什么? 解:不成立。

离散数学练习题(含答案)

离散数学试题 第一部分选择题 一、单项选择题 1.下列是两个命题变元p,q的小项是( C ) A.p∧┐p∧q B.┐p∨q C.┐p∧q D.┐p∨p∨q 2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D ) A.p→┐q B.p∨┐q C.p∧q D.p∧┐q 3.下列语句中是命题的只有( A ) A.1+1=10 B.x+y=10 C.sinx+siny<0 D.x mod 3=2 4.下列等值式不正确的是( C )

A.┐(?x)A?(?x)┐A B.(?x)(B→A(x))?B→(?x)A(x) C.(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) D.(?x)(?y)(A(x)→B(y))?(?x)A(x)→(?y)B(y) 5.谓词公式(?x)P(x,y)∧(?x)(Q(x,z)→(?x)(?y)R(x,y,z)中量词?x的辖域是( C ) A.(?x)Q(x,z)→(?x)(?y)R(x,y,z)) B.Q(x,z)→(?y)R(x,y,z) C.Q(x,z)→(?x)(?y)R(x,y,z) D.Q(x,z) 6.设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}}

7.设A={?},B=P(P(A)),以下正确的式子是( A )A.{?,{?}}∈B B.{{?,?}}∈B C.{{?},{{?}}}∈B D.{?,{{?}}}∈B 8.设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) 9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b) B.a*b=a+b C.a*b=GCD(a,b)(a,b的最大公约数) D.a*b=a(mod b)

离散数学答案(尹宝林版)第一章习题解答

第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题,并讨论命题的真值。 ⑴ 2x - 3 = 0。 ⑵ 前进! ⑶ 如果8 + 7 > 20,则三角形有四条边。 ⑷ 请勿吸烟! ⑸ 你喜欢鲁迅的作品吗? ⑹ 如果太阳从西方升起,你就可以长生不老。 ⑺ 如果太阳从东方升起,你就可以长生不老。 解 ⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。 ⒉ 将下列命题符号化: ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难,才能战胜困难。 ⑸ 只要上街,我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。 ⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。 解 ⑴ p :逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为 ?p 。 ⑵ p :我看见的是小张。q :我看见的是老李。 “我看见的既不是小张也不是老李”符号化为q p ?∧?。 ⑶ p :他生于1963年。q :他生于1964年。 “他生于1963年或1964年”符号化为p ⊕ q 。 ⑷ p :害怕困难。q :战胜困难。 “只有不怕困难,才能战胜困难”符号化为q → ? p 。 ⑸ p :我上街。q :我去书店。 “只要上街,我就去书店”符号化为p → q 。 ⑹ p :小杨晚上做完了作业。q :小杨晚上没有其它事情。 r :小杨晚上看电视。s :小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为s r q p ∨→∧。 ⑺ p :林芳在家里。q :林芳做作业。r :林芳看电视。 “如果林芳在家里,那么他不是在做作业就是在看电视”符号化为r q p ∨→。 ⑻ p :三角形三条边相等。q :三角形三个角相等。

《离散数学》测试题答案

《离散数学》测试题答 案 https://www.360docs.net/doc/828447697.html,work Information Technology Company.2020YEAR

测试题 ——离散数学 一、选择题 1、G是一棵根树,则()。 A、G一定是连通的 B、G一定是强连通的 C、G只有一个顶点的出度为0 D、G只有一个顶点的入度为1 2、下面哪个语句不是命题()。 A、中国将成功举办2008年奥运会 B、一亿年前地球发生了大灾难 C、我说的不是真话 D、哈密顿图是连通的 3、设R是实数集合,在上定义二元运算*:a,b∈R,a*b=a+b-ab,则下面的论断中正确的是()。 A、0是*的零元 B、1是*的幺元 C、0是*的幺元 D、*没有等幂元 4、下面说法中正确的是()。 A、所有可数集合都是等势的 B、任何集合都有与其等势的真子集 C、有些无限集合没有可数子集 D、有理数集合是不可数集合 5、无向完全图K3的不同构的生成子图有()个。 A. 6 B.5 C. 4 D. 3 6、下面哪一种图不一定是无向树? A、无回路的连通图 B、有n个顶点n-1条边的连通图 C、每对顶点间都有通路的图 D、连通但删去一条边则不连通的图 7、设集合A={{1,2,3},{4,5},{6,7,8}},则下列各式为真的是( )。 A.1 A B.{{4,5}} A C. {1,2,3} A D.A 8、在有界格中,若一个元素有补元,则补元( )。 A、必惟一 B、不惟一 C、不一定惟一 D、可能惟一 9、设集合A={1,2,3,…,10},下面定义的哪种运算关于集合A是不封闭的() A、 x*y=max{x,y} B、 x*y=min{x,y} C、 x*y=GCD(x,y),即x,y的最大公约数 D、 x*y=LCM(x,y),即x,y的最小公倍数

离散数学第二版邓辉文编著第一章第五节习题答案

1.5集合的划分与覆盖 习题1.5 1.设},,,{d c b a A =,求出集合A 的所有不同的划分. 解 可以按照划分的块的数目依次求出A 的所有不同的划分共15个. 仅一个划分块:}},,,{{1d c b a =π. 有两个划分块: }},,{},{{2d c b a =π,}},,{},{{3d c a b =π, }},,{},{{4d b a c =π,}},,{},{{5c b a d =π; }},{},,{{6d c b a =π,}},{},,{{7d b c a =π, }},{},,{{8c b d a =π. 有三个划分块: }},{},{},{{9d c b a =π,}},{},{},{{10d b c a =π, }},{},{},{{11c b d a =π,}},{},{},{{12d a c b =π, }},{},{},{{13c a d b =π,}},{},{},{{14b a d c =π. 有四个划分块: }}{},{},{},{{15d c b a =π. 2.对于整数集合Z ,令 }Z |3{1∈=k k A ,}Z |13{2∈+=k k A ,}Z |23{3∈+=k k A , 则},,{321A A A 是Z 的划分. 试验证之. 解 因为(1)≠i A ?,3,2,1=i . (2)=?j i A A ?,3,2,1,,=≠j i j i . (3)=??321A A A Z. 所以,},,{321A A A 是Z 的划分. 3.设}|{I i A i ∈=π是集合A 的一种划分,对于集合B ,所有≠?B A i ?的B A i ?组成的集合是B A ?的划分. 试证明之. 证 对于任意j i ≠,因为=?j i A A ?,于是 =??=???B A A B A B A j i j i )()(?=?B ?.

离散数学第二版邓辉文编著第一章第二节习题答案

离散数学第二版邓辉文编著第一章第二节习题答案 1.2 映射的有关概念 习题1.2 1. 分别计算?1. 5?,?-1?,?-1. 5?,? 1. 5?,?-1?,?-1. 5?. 解?1. 5?=2,?-1?=-1,?-1. 5?=-1,?1. 5?=1,?-1?=-1,?-1. 5?=-2. 2. 下列映射中,那些是双射? 说明理由. (1)f :Z →Z , f (x ) =3x . (2)f :Z →N , f (x ) =|x |+1. (3)f :R →R , f (x ) =x 3+1. (4)f :N ?N →N , f (x 1, x 2) =x 1+x 2+1. (5)f :N →N ?N , f (x ) =(x , x +1). 解 (1)对于任意对x 1, x 2∈Z ,若f (x 1) =f (x 2) ,则3x 1=3x 2,于是x 1=x 2,所以f 是单射. 由于对任意x ∈Z ,f (x ) ≠2∈Z ,因此f 不是满射,进而f 不是双射. (2)由于2, -2∈Z 且f (2) =f (-2) =3,因此f 不是单射. 又由于0∈N ,而任意x ∈Z 均有f (x ) =|x |+1≠0,于是f 不是满射. 显然,f 不是双射. (3)对于任意对x 1, x 2∈R ,若f (x 1) =f (x 2) ,则x 1+1=x 2+1,于是x 1=x 2,所以f 是单射. 对于任意y ∈R ,取x =(y -1) ,这时 1??3f (x ) =x +1=?(y -1) 3?+1=(y -1) +1=y , ??33313 所以f 是满射. 进而f 是双射.

离散数学考试题详细答案

离散数学考试题(后附详细答案) 一、命题符号化(共6小题,每小题3分,共计18分) 1.用命题逻辑把下列命题符号化 a)假如上午不下雨,我去瞧电影,否则就在家里读书或瞧报。 设P表示命题“上午下雨”,Q表示命题“我去瞧电影”,R表示命题“在家里读书”,S表示命题“在家瞧报”,命题符号化为:(?P?Q)∧(P?R∨S) 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))?(?P∨?Q∨R)?(P∨?Q∨?R) ?((?P∨?Q∨R)→(P∨?Q∨?R)) ∧ ((P∨?Q∨?R) →(?P∨?Q∨R))、 ?((P∧Q∧?R)∨ (P∨?Q∨?R)) ∧ ((?P∧Q∧R) ∨(?P∨?Q∨R)) ?(P∨?Q∨?R) ∧(?P∨?Q∨R) 这就是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 (?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧?R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧R) 2.设个体域为{1,2,3},求下列命题的真值(4分) a)?x?y(x+y=4) b)?y?x (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))→?y?z(F(y)→G(z)) ??x?y?z((F(x)→G(x))→ (F(y)→G(z))) 4.判断下面命题的真假,并说明原因。(每小题2分,共4分) a)(A?B)-C=(A-B) ?(A-C) b)若f就是从集合A到集合B的入射函数,则|A|≤|B| a) 真命题。因为(A?B)-C=(A?B)?~C=(A?~C)?(B?~C)=(A-C)?(B-C) b) 真命题。因为如果f就是从集合A到集合B的入射函数,则|ranf|=|A|,且ranf?B,故命题 成立。

离散数学第一部分测试题-有答案

离散数学第一部分测试题一、填空题 1.当p,q,r 分别取1,0,1时,(p→q)(p→r)的真值为假,或02.设P :他富有,Q :他幸福,“他既不富有也不幸福”的符号化为┐P ∧┐Q 3.“所有的人都长着黑头发”用谓词表达式符号化为M(x):x 为人,F(x):x 长着 黑头发, x(M(x)→F(x)) 4.如果6大于4,则4大于5用谓词表达式符号化为G(x,y):x ﹥y ,G(6,4)→G(4,5) 二、选择题 1.2x+3<4(C ) A.是命题也是复合命题 B.是命题但不是复合命题 C.不是命题 D.以上都不对2.下列语句是命题的有(D ) A.什么时候开会呀? B.请快开门! C.x+y>10。 D.苹果树和梨树都是落叶乔木。3.设p 表示命题“天下大雨”,q 表示命题“他乘公共汽车上班”,r 表示命题“他骑自行车上班”。则命题“如果天不下大雨,他乘公共汽车上班或者骑自行车上班。”符号化为(B ) A .(?p ∧q)→r B .?p →(q ∨r ) C .?p ∧(q →r ) D .p →(q ∧r ) 三、计算题 1.求(p ∨q)→r 的主析取范式解本公式含有三个命题变项,所以极小项均 含有三个文字。 7 5310)()()()()()()()()()()() )()(()()()()()(m m m m m r q p r q p r q p r q p r q p r q p r q p r q p r q p r q p r q p r q q p p r r q p r q p r q p r q p ∨∨∨∨?∧∧∨∧?∧∨∧∧?∨∧?∧?∨?∧?∧??∧∧∨∧?∧∨∧∧?∨∧?∧?∨∧?∧?∨?∧?∧??∧∨?∧∨?∨∨?∧?∧??∨?∧??∨∨??→∨2.求公式的主合取范式:()() R Q Q P ∧→∨

离散数学 第1章 习题解答

习题1.1 1.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。 ⑴中国有四大发明。 ⑵计算机有空吗? ⑶不存在最大素数。 ⑷21+3<5。 ⑸老王是山东人或河北人。 ⑹2与3都是偶数。 ⑺小李在宿舍里。 ⑻这朵玫瑰花多美丽呀! ⑼请勿随地吐痰! ⑽圆的面积等于半径的平方乘以 。 ⑾只有6是偶数,3才能是2的倍数。 ⑿雪是黑色的当且仅当太阳从东方升起。 ⒀如果天下大雨,他就乘班车上班。 解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。 2. 将下列复合命题分成若干原子命题。 ⑴李辛与李末是兄弟。 ⑵因为天气冷,所以我穿了羽绒服。 ⑶天正在下雨或湿度很高。 ⑷刘英与李进上山。 ⑸王强与刘威都学过法语。 ⑹如果你不看电影,那么我也不看电影。 ⑺我既不看电视也不外出,我在睡觉。 ⑻除非天下大雨,否则他不乘班车上班。 解:⑴本命题为原子命题; ⑵p:天气冷;q:我穿羽绒服; ⑶p:天在下雨;q:湿度很高; ⑷p:刘英上山;q:李进上山; ⑸p:王强学过法语;q:刘威学过法语; ⑹p:你看电影;q:我看电影; ⑺p:我看电视;q:我外出;r:我睡觉; ⑻p:天下大雨;q:他乘班车上班。 3. 将下列命题符号化。 ⑴他一面吃饭,一面听音乐。 ⑵3是素数或2是素数。

⑶若地球上没有树木,则人类不能生存。 ⑷8是偶数的充分必要条件是8能被3整除。 ⑸停机的原因在于语法错误或程序错误。 ⑹四边形ABCD是平行四边形当且仅当它的对边平行。 ⑺如果a和b是偶数,则a+b是偶数。 解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q ⑵p:3是素数;q:2是素数;原命题符号化为:p∨q ⑶p:地球上有树木;q:人类能生存;原命题符号化为:?p→?q ⑷p:8是偶数;q:8能被3整除;原命题符号化为:p?q ⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p ⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p?q。 ⑺p:a是偶数;q:b是偶数;r:a+b是偶数;原命题符号化为:p∧q→r 4. 将下列命题符号化,并指出各复合命题的真值。 ⑴如果3+3=6,则雪是白的。 ⑵如果3+3≠6,则雪是白的。 ⑶如果3+3=6,则雪不是白的。 ⑷如果3+3≠6,则雪不是白的。 ⑸3是无理数当且仅当加拿大位于亚洲。 ⑹2+3=5的充要条件是3是无理数。(假定是10进制) ⑺若两圆O1,O2的面积相等,则它们的半径相等,反之亦然。 ⑻当王小红心情愉快时,她就唱歌,反之,当她唱歌时,一定心情愉快。 解:设p:3+3=6。q:雪是白的。 ⑴原命题符号化为:p→q;该命题是真命题。 ⑵原命题符号化为:?p→q;该命题是真命题。 ⑶原命题符号化为:p→?q;该命题是假命题。 ⑷原命题符号化为:?p→?q;该命题是真命题。 ⑸p:3是无理数;q:加拿大位于亚洲;原命题符号化为:p?q;该命题是假命题。 ⑹p:2+3=5;q:3是无理数;原命题符号化为:p?q;该命题是真命题。 ⑺p:两圆O1,O2的面积相等;q:两圆O1,O2的半径相等;原命题符号化为:p?q;该命题是真命题。 ⑻p:王小红心情愉快;q:王小红唱歌;原命题符号化为:p?q;该命题是真命题。

相关文档
最新文档