离散数学古天龙版课后答案(桂电)

离散数学古天龙版课后答案(桂电)
离散数学古天龙版课后答案(桂电)

P20.

1.解:

(1){I,a,m,s,t,u,d,e,n} (2){6,8,10,12} (3)不同的学生可以不同 (4){计算机科学与技术,信息管理与纤细系统,软件工程,信息安全,数字媒体,物联网} (5){±1,±2,±4,±5,±10,±20} (6){6,12,18}

3.解:

(1)A=Z (2)B=偶(3)C={1,2,3} (4)D=Z (5)E=偶(6)F={1,2,3} (7)G=Φ (8)H={1,2,3}

解:A=D B=E C=F=H

6.解:(2)设A={x|x=1或x=3或x=6}={1,2,6} 则P(A)={Φ,{1},{3},{6},{1,3},{1,6},{3,6},{1,3,6}}.

(8)设A={{Φ,2},{2}},则P(A)={Φ,{{Φ,2}},{{2}},{{Φ,2},{2}}}.

14.解:(1)错。如A=Φ,B={a},C={{a}},则A?B,B∈C,而A?C.

(2)错。如A=Φ,B={1},C={Φ},则A?B,B?C,而A∈C.

(3)错。如A=Φ,B={Φ},C={Φ},则A∈B,B?C,

而A∈C。

4 错。如A=Ф,B={Φ},C={Ф}。则A B,B C,而A∈C.

5 对。证:由B C知B中的任意元素均在C中,而A∈B,

故A∈C。

6 对。如A=Ф,B={Ф},C={Φ,{Ф}}。

则A∈B,B∈C,而A∈C。

7 对。证对任意x∈A.由A属于或等于B知x∈B.又由B属于或等于C知x∈C。

因此A属于或等于C。

8 对。如A=Ф,B={Ф}。则A属于或等于B,A∈B。

15、解:①A∩(~B)={1,4}∩{3,4}={4}。

②(A∩B)∪(~C)={1}∪{1,3,5}={1,3,5}.

③(A∩B)∪(A∩C)={1}∪{4}={1,4}.

④~(A∪B)=~(1,2,4,5)={3}.

⑤(~A)∩(~B)={2,3,5}∩{3,4}={3}.

⑥~(C∩B)=~{2}={1,3,4,5}.

⑦A⊕B={2,4,5}

⑧A⊕B⊕C={2,4,5}⊕{2,4}={5}.

⑨P(A)∪P(C)={Φ,{1},{4},{1,4}}∪{Φ,{2},{4},{2,4}}

={Φ,{1},{2},{4},{1,4}{2,4}}。

18、证:③(A-(B∪C))=A∩~(B∪C)

=A∩(~B∩~C)=(A∩~C)∩~B=(A-C)∩~B

=((A-C)-B).

④((A-C) C

(

)

)

(

~

(

=)

(

))

~

)

(=

C

B

A

B~

A

C

C

C

A

C

B

=(A )

~C

=((A )

B-

)C

19.证:①A B

⊕φ

=

A=

B

B

A

⑦(A C

)-

)

⊕)

(

=

-

((

B

B))

B

A

A

C

=(( C

(

)

~

~

A

B

B

A))

= )~()~(C A B C B A =(A )(~)~C B A C B

= ))(~)(()()(C B C A C B C A =⊕ ))(~)((C A C B =(( ))~(~)(())~(~)C A C B C B C A

=(A ?C~?B)?(A ?C ?~C)?(B ?C ?~A)?(B ?C ?~C) =(A ?~B ?C)?φ?(~A ?B ?C) =(A ?~B ?C)?(~A ?B ?C) 故(A ⊕B) ?C=(A ?C)⊕(B ?C)。

27 解:设U=全班同学的集合,

A={X|X 会打篮球},B={X|X 会打排球},

C={X|X 会打网球}。则:

|A|=|14|,|B|=12,|A ?B|=6,|A ?C|=5,|A ?B ?C|=2, C ?A ?B 。从而

|~A ?~B ?~C|=|~(A ?B ?C)|=|~(A ?B)|=|U|-|A ?B| =|U|-(|A|+|B|-|A ?B|)=25-(14+12-6)=5 即该班同学中不会打球的有5人。

P68

2.解: p(A)={Φ,{a},{b},{a,b}}

① AP ×(A )={,,, ,,,}。

②P(A)x A={<Φ,a>,<Φ,b>,<{a},a>,<{a},b>,<{b},a>,<{b},b>,

<{a,b },b>,<{a,b},a>} ③,④不做要求 6. A={2,3,4,6} 解

<={<2,2>,<2,3>,<2,4>,<2,6>,<3,3>,<3,4>,<3,6>,<4,4>,

②>={<3,2>,<4,2>,<4,3>,<6,2>,<6,3>,<6,4>} ③

A

×

A={<2,2>,<2,3>,<2,4>,<2,6>,<3,2>,<3,3>,<3,4>,<3,6>, <4,2>,<4,3>,<4,4>,<4,6>,<6,2>,<6,3>,<6,4>,<6,6>} ④I A ={<2,2>,<3,3>,<4,4>,<6,6>,} ⑤

={<2,3>,<2,4>,<2,6>,<3,2>,<3,4>,<3,6>,<4,2>,<4,3>, <4,6>,<6,2>,<6,3>,<6,4>}

⑥∣={<2,2>,<2,4>,<2,6>,<3,3>,<3,6>,<6,6>}

9.解;①??????????????????????0000001000001100001110001111001111101111111111111 ②0000000100000011000001110000111100011111001111110?????????????????????? ③11111111111111111111111111111111111]1111111111111????????

??

????????????

1000000

0100000

0010000

0001000

0000100

0000010

0000001

??

??

??

??

??

??

??

??

??

??

??

0111111

1011111

1101111

1110111

1111011

1111101

1111110

??

??

??

??

??

??

??

??

??

??

??

1011011

0101000

0010010

0001000

0000100

0000010

0000001

??

??

??

??

??

??

??

??

??

??

??

14.R={,,,,,,,, ,,,,,,,,}

M R=

1110000 1110000 1110000 0001100 0001100 0000011 0000011??????????????????????

15.解:①自反,反对称,传递

②对称

③反自反,反对称,传递

④自反,对称,传递 ⑤自反,对称,传递

⑥反自反,对称,反对称,传递 19.

解:R 1={<1,1>,<1,2>,<1,3>,<2,1><2,2>,<2,3>,<3,1>,<3,2>,<3,3>}

111111111??

????????

自反,对称,传递; R 3={<1,1>,<1,2>,<2,2>,<2,3>,<3,1>,<3,3>}

110011101??

????????

自反,反对称; R 6={<1,1>,<1,3>,<2,2>,<3,1>,<3,3>}

101010101??????????

自反,对称,传递; R9={<1,3>,<2,3>,<3,1>}

001001100??????????

反自反;

第九页 20、 解:①正确.

如A={a,b,c}. R={,,,}

S={,,,}

R S={,,,,}

21、

②正确.

如A={a,b,c}, R={,} S={,}

R S={}

23、

③正确。

如A={a,b,c} R={,,} S={,} R-S={,}

24、

①不正确

如A={a,b,c} R={} S={}

R S={,}

26、

①正确

②错误

如A={a,b} R={} S={}

R S={}

③错误

如A={a,b,c} R={,} S={,}

R S={}

④错误

如A={a,b} R={,} S={,}

R S={,<,b,a>,}

⑤错误

如A={a,b,c} R={,} S={,,} R S={,<,b,a>}

⑥错误

如A={a,b,c} R={,,,,}

S ={,,,,}

R S={,<,a,c>,,,,,}

29、

解:R={<1,2>,<2,3>,<3,4>}

{<2,1>,<4,2>}={<1,2>,<2,1>,<2,3>,<3,4>,<4,2>}

S={<3,1>,<4,2>}

③(R S)-1={<2,1>,<3,2>}-1={<1,2>,<2,3>}

⑥(R) -1 (S) -1={<2,1>,<1,2>,<3,2>,<4,3>,<2,4>} {<1,3>,<2,4>}

={<1,2>,<1,3>,<2,1>,<2,4>,<3,2>,<4,3>}

⑧ (R) -1 (S) -1={<2,4>}

⑨(S R) -1={<3,2>,<4,1>,<4,3>}-1={<2,3>,<1,4>,<3,4>}

31、

解:①R R={|x是y的爷爷,x∈p,y ∈p }

②S -1 R=φ

③S R -1={|x是y的妻子,x∈p,y ∈p }

④R3={|x是y的曾祖父,x∈p,y ∈p }

⑤S R

⑥S2

33.解:R={<1,2>,<2,1>,<2,3>,<3,4>,<4,2>}

①r(R)=R∪I A ={<1,1>,<1,2>,<2,1>,<2,2>,<2,3>,<3,3>,<3,4>,<4,2>,<4,4>, }。

关系矩阵 M r(k) =

关系图:

②S(R)=R∪R-1 ={<1,2>,<2,1>,<2,3>,<2,4>,<3,2>,<3,4>,<4,2>,<4,3>}。

MS(R) =

关系图:

③关系图:

t(R)=A×A={<1,1>,<1,2>,<1,3>,<1,4>,<2,1>,<2,2>,<2,3>,<2,4>,<3,1>,

<3,2>,<3,3>,<3,4>,<4,1>,<4,2>,<4,3>,<4,4>}

Mt(k) =

35. ①正确。因R自反,故IA?R,从而IA?S(R),IA ≤t(R)因此S(R)和t(R)都是自反的。

②S(R)是自反的,正确。

证:IA ∩S(R)= IA∩(R∪R-1)=( IA∩R) ∪(IA∩R-1)= ?∪(IA∩R-1)= IA∩R-1 =( IA∩R) -1 = ?-1= ?

因此S(R)是反自反的,t(R) 是反自反的,错误的反例:

R 是反自反的,t(R)不是反自反的。 ③正确。

证:r(R)的对称性。因R 对称,故R -1 =R,从而(r(R))-1 = R -1∪(R-1) -1= R -1∪R=R 从而r(R)是对称的。 ⑵证:t (R )的对称性。

因为R 对称,故R -1

=R,从而(t(R))-1

=(

1i ∞

=∪R i )-1

=

1i ∞

= (R -1

)I =

1

i ∞

=R

i

= t(R)

从而t(R)是对称的

④r(R)是对称的,正确。 证:因R 反对称,故R ∩R -1 ?IA

从而r(R) ∩(r(R))-1 =( IA ∩R) ∩( IA ∩R) -1 =( IA ∩R) ∩(R -1 ∩IA) =(R ∩R -1) ∪IA ? IA ∪IA =IA ,因此r(R)是对称的,t(R)是反对称的,错误。反例:

⑤r(R)是传递的,正确。

证:因r(R)是传递的,故R 2 ?R 从而(r(R))2(R ∪IA )2 = R 2∪(R ∪IA )

( IA∪R) IA2 =R2∪R ∪R ∪IA =R∪ IA =r(R)

因此r(R)是传递的,

S(R)是传递的,错误。反例:

⑥(不要求)正确

证:r t(R)对称,由③知t(R)对称。

因t(R)对称,由③知r(t(R))对称,即r t(R)对称证:tr(R)对称

因R对称,由③知r(R)对称。

因r(R)对称,由③知t(r(R))对称,即t r(R)对称.

(注:可编辑下载,若有不当之处,请指正,谢谢!)

离散数学古天龙版课后答案(桂电)

P20. 1.解: (1){I,a,m,s,t,u,d,e,n} (2){6,8,10,12} (3)不同的学生可以不同 (4){计算机科学与技术,信息管理与纤细系统,软件工程,信息安全,数字媒体,物联网} (5){±1,±2,±4,±5,±10,±20} (6){6,12,18} 3.解: (1)A=Z (2)B=偶(3)C={1,2,3} (4)D=Z (5)E=偶(6)F={1,2,3} (7)G=Φ (8)H={1,2,3} 解:A=D B=E C=F=H 6.解:(2)设A={x|x=1或x=3或x=6}={1,2,6} 则P(A)={Φ,{1},{3},{6},{1,3},{1,6},{3,6},{1,3,6}}. (8)设A={{Φ,2},{2}},则P(A)={Φ,{{Φ,2}},{{2}},{{Φ,2},{2}}}. 14.解:(1)错。如A=Φ,B={a},C={{a}},则A?B,B∈C,而A?C. (2)错。如A=Φ,B={1},C={Φ},则A?B,B?C,而A∈C. (3)错。如A=Φ,B={Φ},C={Φ},则A∈B,B?C, 而A∈C。 4 错。如A=Ф,B={Φ},C={Ф}。则A B,B C,而A∈C. 5 对。证:由B C知B中的任意元素均在C中,而A∈B, 故A∈C。 6 对。如A=Ф,B={Ф},C={Φ,{Ф}}。 则A∈B,B∈C,而A∈C。

7 对。证对任意x∈A.由A属于或等于B知x∈B.又由B属于或等于C知x∈C。 因此A属于或等于C。 8 对。如A=Ф,B={Ф}。则A属于或等于B,A∈B。 15、解:①A∩(~B)={1,4}∩{3,4}={4}。 ②(A∩B)∪(~C)={1}∪{1,3,5}={1,3,5}. ③(A∩B)∪(A∩C)={1}∪{4}={1,4}. ④~(A∪B)=~(1,2,4,5)={3}. ⑤(~A)∩(~B)={2,3,5}∩{3,4}={3}. ⑥~(C∩B)=~{2}={1,3,4,5}. ⑦A⊕B={2,4,5} ⑧A⊕B⊕C={2,4,5}⊕{2,4}={5}. ⑨P(A)∪P(C)={Φ,{1},{4},{1,4}}∪{Φ,{2},{4},{2,4}} ={Φ,{1},{2},{4},{1,4}{2,4}}。 18、证:③(A-(B∪C))=A∩~(B∪C) =A∩(~B∩~C)=(A∩~C)∩~B=(A-C)∩~B =((A-C)-B). ④((A-C) C ( ) ) ( ~ ( =) ( )) ~ ) (= C B A B~ A C C C A C B =(A ) Bφ ~C =((A ) B- )C 19.证:①A B ⊕ ⊕φ ⊕ = A= B B A ⑦(A C )- ) ⊕) ( = - (( B B)) B A A C =(( C ( ) ~ ~ A B B A))

离散数学答案屈婉玲版第二版高等教育出版社课后答案

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 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∧1?0. (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是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数1 q: 3是无理数0 r: 2是无理数 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∨r?1所以公式类型为永真式 (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)

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

离散数学试题(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有逆函数

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

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

离散数学习题解答 习题一(第一章集合) 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设集合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)) _. 17. 设集合A={1, 2, 3, 4},A上的二元关系R={(1,1),(1,2),(2,3)}, S={(1,3),(2,3),(3,2)}。则

离散数学习题解答

习题一 1.下列句子中,哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道? (1)中国有四大发明. 答:此命题是简单命题,其真值为1. (2)5是无理数. 答:此命题是简单命题,其真值为1. (3)3是素数或4是素数. 答:是命题,但不是简单命题,其真值为1. x+< (4)235 答:不是命题. (5)你去图书馆吗? 答:不是命题. (6)2与3是偶数. 答:是命题,但不是简单命题,其真值为0. (7)刘红与魏新是同学. 答:此命题是简单命题,其真值还不知道. (8)这朵玫瑰花多美丽呀! 答:不是命题. (9)吸烟请到吸烟室去! 答:不是命题. (10)圆的面积等于半径的平方乘以π. 答:此命题是简单命题,其真值为1. (11)只有6是偶数,3才能是2的倍数. 答:是命题,但不是简单命题,其真值为0. (12)8是偶数的充分必要条件是8能被3整除. 答:是命题,但不是简单命题,其真值为0. (13)2008年元旦下大雪. 答:此命题是简单命题,其真值还不知道. 2.将上题中是简单命题的命题符号化. 解:(1)p:中国有四大发明. (2)p:是无理数. (7)p:刘红与魏新是同学. (10)p:圆的面积等于半径的平方乘以π. (13)p:2008年元旦下大雪. 3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值. (1)5是有理数. 答:否定式:5是无理数.p:5是有理数.q:5是无理数.其否定式q的真值为1.

(2)25不是无理数. 答:否定式:25是有理数. p :25不是无理数. q :25是有理数. 其否定式q 的真值为1. (3)2.5是自然数. 答:否定式:2.5不是自然数. p :2.5是自然数. q :2.5不是自然数. 其否定式q 的真值为1. (4)ln1是整数. 答:否定式:ln1不是整数. p :ln1是整数. q :ln1不是整数. 其否定式q 的真值为1. 4.将下列命题符号化,并指出真值. (1)2与5都是素数 答:p :2是素数,q :5是素数,符号化为p q ∧,其真值为1. (2)不但π是无理数,而且自然对数的底e 也是无理数. 答:p :π是无理数,q :自然对数的底e 是无理数,符号化为p q ∧,其真值为1. (3)虽然2是最小的素数,但2不是最小的自然数. 答:p :2是最小的素数,q :2是最小的自然数,符号化为p q ∧?,其真值为1. (4)3是偶素数. 答:p :3是素数,q :3是偶数,符号化为p q ∧,其真值为0. (5)4既不是素数,也不是偶数. 答:p :4是素数,q :4是偶数,符号化为p q ?∧?,其真值为0. 5.将下列命题符号化,并指出真值. (1)2或3是偶数. (2)2或4是偶数. (3)3或5是偶数. (4)3不是偶数或4不是偶数. (5)3不是素数或4不是偶数. 答: p :2是偶数,q :3是偶数,r :3是素数,s :4是偶数, t :5是偶数 (1) 符号化: p q ∨,其真值为1. (2) 符号化:p r ∨,其真值为1. (3) 符号化:r t ∨,其真值为0. (4) 符号化:q s ?∨?,其真值为1. (5) 符号化:r s ?∨?,其真值为0. 6.将下列命题符号化. (1)小丽只能从筐里拿一个苹果或一个梨. 答:p :小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨,符号化为: p q ∨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答:p :刘晓月选学英语,q :刘晓月选学日语,符号化为: ()()p q p q ?∧∨∧?. 7.设p :王冬生于1971年,q :王冬生于1972年,说明命题“王冬生于1971年或1972年”既可以化 答:列出两种符号化的真值表:

离散数学古天龙_1_4章答案

P20 1.用枚举法写出下列集合。 ○2大于5小于13的所有偶数。 A={6,8,10,12} ○520的所有因数 A={1,2,4,5,10,20} ○6小于20的6的正倍数 A={6,12,18} 2.用描述法写出下列集合 ○3能被5整除的整数集合 A{5x|x是整数} ○4平面直角坐标系中单位圆的点集 A{|x2+y2≤1} 4.求下列集合的基数 ○19 ○3 1 ○7 3 ○8 2 ○10 1 6.求下列集合的幂集 ○6{1,{2}} 解:{空集,{1},{{2}},{1,{2}}} ○7解:{空集,{空集},{a},{空集,a}} ○9解:{空集,{{1,2}},{{2}},{{1,2},{2}}} 15.设全集U={1,2,3,4,5},集合A={1,4},B={1,2,5},C={2,4},确定下列集合。 ○2{1,3,5} ○3{1,4,}

○8{5} ○9{空集,{1},{2},{4},{1,4},{2,4}} 18.对任意集合A,B和C,证明下列各式 ○2(A-(BUC))=((A-B)-C) 证:(A-(BUC))=A∩~(BUC)=A∩(~B∩~C) ((A-B)-C)=(A∩~B)∩~C=A∩~B∩~C 所以(A-(BUC))=((A-B)-C) ○3(A-(BUC))=((A-C)-B 证:(A-(BUC))=A∩~(BUC)=A∩~B∩~C ((A-C)-B)=(A∩~C)∩~B 所以(A-(BUC))=((A-C)-B ○5P(A)UP(B)≤P(A UB) 原题有错(注这里○5○6中的“≤”代表包含于符号)证:任取C∈P(A)U P(B)由定义 C∈P(A)或C∈P(B) 若C∈P(A),则C≤A,则C≤A UB 若C∈P(B),则C≤B,则C≤A UB 故C≤A UB,即C∈P(A U B) 证毕 ○6P(A)∩P(B)=P(A∩B) 证:先证P(A)∩P(B)≤P(A∩B) 任取C∈P(A)∩P(B),且C∈P(A), C∈P(B) 由定义C≤A且C≤B,得C≤A∩B,即C∈P(A∩B) 所以P(A)∩P(B)≤P(A∩B) 再证P(A∩B)≤P(A)∩P(B) 任取C∈P(A∩B),即C=A∩B C≤A,且C≤B,C∈P(A)且C∈P(B) 所以C∈P(A)∩P(B) 得证

离散数学题库及答案

数理逻辑部分 选择、填空及判断 ?下列语句不就是命题的( A )。 (A) 您打算考硕士研究生不? (B) 太阳系以外的星球上有生物。 (C) 离散数学就是计算机系的一门必修课。 (D) 雪就是黑色的。 ?命题公式P→(P∨?P)的类型就是( A ) (A) 永真式(B) 矛盾式 (C) 非永真式的可满足式(D) 析取范式 ?A就是重言式,那么A的否定式就是( A ) A、矛盾式 B、重言式 C、可满足式 D、不能确定 ?以下命题公式中,为永假式的就是( C ) A、p→(p∨q∨r) B、(p→┐p)→┐p C、┐(q→q)∧p D、┐(q∨┐p)→(p∧┐p) ?命题公式P→Q的成假赋值就是( D ) A、 00,11 B、 00,01,11 C、10,11 D、 10 ?谓词公式) x xP∧ ?中,变元x就是 ( B ) R , ( x ) (y A、自由变元 B、既就是自由变元也就是约束变元 C、约束变元 D、既不就是自由变元也不就是约束变元 ?命题公式P→(Q∨?Q)的类型就是( A )。 (A) 永真式 (B) 矛盾式 (C) 非永真式的可满足式 (D) 析取范式 ?设B不含变元x,) x x→ ?等值于( A ) A ) ( (B A、B (D、B x xA→ x ?) ( ( ?C、B x∧ A ?) (B、) ?) xA→ x ) ( A x (B x∨ ?下列语句中就是真命题的就是( D )。 A.您就是杰克不? B.凡石头都可练成金。 C.如果2+2=4,那么雪就是黑的。 D.如果1+2=4,那么雪就是黑的。 ?从集合分类的角度瞧,命题公式可分为( B ) A、永真式、矛盾式 B、永真式、可满足式、矛盾式 C、可满足式、矛盾式 D、永真式、可满足式 ?命题公式﹁p∨﹁q等价于( D )。 A、﹁p∨q B、﹁(p∨q) C、﹁p∧q D、 p→﹁q ?一个公式在等价意义下,下面写法唯一的就是( D )。 (A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式 ?下列含有命题p,q,r的公式中,就是主析取范式的就是( D )。

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

离散数学复习题及答案

1. 写出命题公式 ﹁(P →(P ∨ Q ))的真值表。 答案: 2.证明 答案: 3. 证明以下蕴涵关系成立: 答案: 4. 写出下列式子的主析取范式: 答案: )()(Q P Q P Q P ?∧?∨∧??Q)P (Q)(P P) (Q P)P (Q)(Q Q)P (P) Q)P ((Q)Q)P (P)Q (Q)P (Q P ?∧?∨∧?∧∨∧?∨?∧∨?∧??∧∨?∨?∧∨??∨?∧∨???Q Q P P ?∨∧?)()()(R P Q P ∨∧∧?

5. 构造下列推理的论证:p ∨q, p →?r, s →t, ?s →r, ?t ? q 答案: ①s →t 前提 ②t 前提 ③s ①②拒取式I12 ④s →r 前提 ⑤r ③④假言推理I11 ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论I10 6. 用反证法证明:p →(?(r ∧s)→?q), p, ?s ? ?q ) ()(R P Q P ∨∧∧?) ()(R P Q P ∨∧?∨??))(())(R Q P P Q P ∧?∨?∨∧?∨??) ()()()(R Q R P P Q P P ∧?∨∧?∨∧?∨∧??) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) ()()(P R Q P R Q Q R P ?∧∧?∨∧∧?∨?∧∧?∨) ()()(Q R P R P Q R P Q ∧∧?∨?∧∧?∨∧∧??) (Q R P ?∧∧?∨

7. 请将下列命题符号化: 所有鱼都生活在水中。 答案: 令 F( x ):x 是鱼 W( x ):x 生活在水中 ))((W(x)F(x)x →? 8. 请将下列命题符号化: 存在着不是有理数的实数。 答案: 令 Q ( x ):x 是有理数 R ( x ):x 是实数 Q(x))x)(R(x)(?∧? 9. 请将下列命题符号化: 尽管有人聪明,但并非一切人都聪明。 答案: 令M(x):x 是人 C(x):x 是聪明的 则上述命题符号化为 10. 请将下列命题符号化: 对于所有的正实数x,y ,都有x+y ≥x 。 答案: 令P(x):x 是正实数 S(x,y): x+y ≥x 11. 请将下列命题符号化: 每个人都要参加一些课外活动。 答案: 令P(x):x 是人 Q(y): y 是课外活动 S(x,y):x 参加y )))()((())()((x C x M x x C x M x →??∧∧?)),()()((y x S y P x P y x →∧??))(),()((y Q y x S x P y x ∧→??

离散数学课后答案

离散数学课后答案 习题一 6.将下列命题符号化。 (1)小丽只能从框里那一个苹果或一个梨. (2)这学期,刘晓月只能选学英语或日语中的一门外语课. 答: (1)(p Λ?q )ν(?pΛq)其中p:小丽拿一个苹果,q:小丽拿一个梨(2)(p Λ?q )ν(?pΛq)其中p:刘晓月选学英语,q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答: (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q

最新离散数学习题答案

离散数学习题答案 习题一及答案:(P14-15) 14、将下列命题符号化: (5)李辛与李末是兄弟 解:设p :李辛与李末是兄弟,则命题符号化的结果是p (6)王强与刘威都学过法语 解:设p :王强学过法语;q :刘威学过法语;则命题符号化的结果是 p q ∧ (9)只有天下大雨,他才乘班车上班 解:设p :天下大雨;q :他乘班车上班;则命题符号化的结果是q p → (11)下雪路滑,他迟到了 解:设p :下雪;q :路滑;r :他迟到了;则命题符号化的结果是()p q r ∧→ 15、设p :2+3=5. q :大熊猫产在中国. r :太阳从西方升起. 求下列复合命题的真值: (4)()(())p q r p q r ∧∧???∨?→ 解:p=1,q=1,r=0, ()(110)1p q r ∧∧??∧∧??, (())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧???∨?→??? 19、用真值表判断下列公式的类型: (2)()p p q →?→? 解:列出公式的真值表,如下所示: 20、求下列公式的成真赋值:

(4)()p q q ?∨→ 解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是: ()10p q q ?∨??????00 p q ????? 所以公式的成真赋值有:01,10,11。 习题二及答案:(P38) 5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ?→∧∧ 解:原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨,此即公式的主析取范式, 所以成真赋值为011,111。 6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨?∨ 解:原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?,此即公式的主合取范式, 所以成假赋值为100。 7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()p q r ∧∨ 解:原式()(()())p q r r p p q 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 ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨,此即主析取范式。 主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式:

离散数学课后习题答案第二章

第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有2=(x+)(x). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解: F(x): 2=(x+)(x). G(x): x+5=9. (1)在两个个体域中都解释为) ?,在(a)中为假命题,在(b)中为真命题。 (x xF (2)在两个个体域中都解释为) (x ?,在(a)(b)中均为真命题。 xG 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) x x∧ ? ?? F ( ) ( (x H (2)F(x): x是北京卖菜的人 H(x): x是外地人 命题符号化为: )) x F H x→ ?? (x ) ( ( 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F x G y x→ ? ? y ∧ )) ( , ( ) x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) y x F G y→ ?? ∧ ? x ( ) ( , H ( x ) (y ( 9.给定解释I如下: (a) 个体域D为实数集合R.

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

离散数学试题 第一部分选择题 一、单项选择题 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) 02324# 离散数学试题第1 页共4页

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) 02324# 离散数学试题第2 页共4页

离散数学课后习题答案(左孝凌版)

离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q (4)解: a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。

R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 (Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。 (5) 解: a)设P:王强身体很好。Q:王强成绩很好。P∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解:

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

离散数学复习注意事项: 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、下列哪些公式为永真蕴含式?( A ) (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)是假言推理,(3),(5),(6)都可以用蕴含等值式来证明出是永真蕴含式 4、公式?x((A(x)→B(y,x))∧?z C(y,z))→D(x)中,自由变元是( ),约束变元是( )。 答:x,y, x,z(考察定义在公式?x A和?x A中,称x为指导变元,A为量词的辖域。在?x A和?x A的辖域中,x的所有出现都称为约束出现,即称x为约束变元,A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y,x)和?z C(y,z)中y为自由变元,x和z为约束变元,在D(x)中x为自由变元) 5、判断下列语句是不是命题。若是,给出命题的真值。( ) (1)北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗? (4) 若7+8>18,则三角形有4条边。 (5) 前进! (6) 给我一杯水吧!

离散数学题目及答案

数理逻辑习题 判断题 1.任何命题公式存在惟一的特异析取范式 ( √ ) 2. 公式)(q p p →?→是永真式 ( √ ) 3.命题公式p q p →∧)(是永真式 ( √ ) 4.命题公式r q p ∧?∧的成真赋值为010 ( × ) 5.))(()(B x A x B x xA →?=→? ( √ ) 6.命题“如果1+2=3,则雪是黑的”是真命题 ( × ) 7.p q p p =∧∨)( ( √ ) 8.))()((x G x F x →?是永真式 ( × ) 9.“我正在撒谎”是命题 ( × ) 10. )()(x xG x xF ?→?是永真式( √ ) 11.命题“如果1+2=0,则雪是黑的”是假命题 ( × ) 12.p q p p =∨∧)( ( √ ) 13.))()((x G x F x →?是永假式 ( × ) 14.每个命题公式都有唯一的特异(主)合取范式 ( √ ) 15.若雪是黑色的:p ,则q →p 公式是永真式 ( √ ) 16.每个逻辑公式都有唯一的前束范式 ( × ) 17.q →p 公式的特异(主)析取式为q p ∨? ( × ) 18.命题公式 )(r q p →∨?的成假赋值是110 ( √ ) 19.一阶逻辑公式)),()((y x G x F x →?是闭式( × ) 单项选择题 1. 下述不是命题的是( A )

A . 花儿真美啊! B . 明天是阴天。 C . 2是偶数。 D . 铅球是方的。 2.谓词公式(?y )(?x )(P (x )→R (x,y ))∧?yQ (x,y )中变元y ( B ) A . 是自由变元但不是约束变元 B . 是约束变元但不是自由变元 C . 既是自由变元又是约束变元 D . 既不是自由变元又不是约束变元 3.下列命题公式为重言式的是( A ) A .p→ (p ∨q ) B .(p ∨┐p )→q C .q ∧┐q D .p→┐q 4. 下列语句中不是..命题的只有( A ) A .花儿为什么这样红? B .2+2=0 C .飞碟来自地球外的星球。 D .凡石头都可练成金。 5.在公式),()())(),()()((z y P y z Q y x P y x ?→∧??中变元y 是( B ) A .自由变元 B .约束变元 C .既是自由变元,又是约束变元 D .既不是自由变元,又不是约束变元 6.下列命题公式为重言式的是( A ) A .p→ (p ∨q ) B .(p ∨┐p )→q C .q ∧┐q D .q→┐p 7.给定如下4个语句: (1)我不会唱歌。 (2)如果天不下雨,我就上街。 (3)我每天都要上课。 (4)火星上有人吗? 其中不是复合命题的是( B ) A .(1)(4) B .(3)(4) C .(1)(3) D .(1)(3)(4) 8.下列含有命题p ,q ,r 的公式中,是特异(主)析取范式的是 ( D ) A .(p ∧ q ∧ r ) ∨ (?p ∧ q ) B .(p ∨ q ∨ r ) ∧ (?p ∧ q ) C .(p ∨ q ∨ r ) ∧ (?p ∨ q ∨ r ) D .(p ∧ q ∧ r ) ∨ (?p ∧ q ∧ r ) 9.设个体域为整数集,则下列公式中值为真的是( A )。 A . (?y )(?x )(x ·y=2) B .(?x )(?y )(x ·y=2) C . (?x )(x -y=x ) D .(?x )( ?y )(x+y=2y ) 10. 下述不是命题的是( D )

相关文档
最新文档