《离散数学》全程练习册(2011)答案(讲解用)

《离散数学》全程练习册(2011)答案(讲解用)
《离散数学》全程练习册(2011)答案(讲解用)

第1章 命题逻辑

一、单项选择题

1.下列语句中不是命题的有( C ). A 9+5≤12 ; B. 1+3=5;

C. 我用的计算机CPU 主频是1G 吗?;

D.我要努力学习。

2. 下列语句是真命题为( C ).

A. 1+2=5当且仅当2是偶数

B. 如果1+2=3,则2是奇数

C. 如果1+2=5,则2是奇数

D. 你上网了吗? 3. 设命题公式G :)(R Q P ∧→?,则使公式G 取真值为1的P ,Q ,R 赋值分别是

( D )

0,0,1)D (0

,1,0)C (1

,0,0)B (0

,0,0)A (

4. 命题公式Q Q P

→∨)(为 ( B )

(A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 5. 下列命题公式等值的是( C )

B

B A A Q

P Q Q P Q B A A B A A Q

P Q P ),()D (),()C ()(),()B (,)A (∧∨?∨∨?∨→→→?→→∨?∧?6. 设P :我将去市里,Q :我有时间.命题“我将去市里,仅当我有时间时”符号化为( B )

Q

P Q P Q P P Q ?∨??→→)D ()C ()B ()A (7.设P :我听课,Q :我看小说.命题

“我不能一边听课,一边看小说”的符号为(D ) A. Q P ?→ ; B. Q P →?; C. P Q ?∧? ; D. )(Q P ∧?

8. 命题公式)(Q P →?的主析取范式是( A ).

(A) Q P ?∧ (B) Q P ∧?

(C) Q P ∨? (D) Q P ?∨

9. 前提为:P Q P ,?→;则有效结论是( A,D ). (A) P (B) ?P (C) Q (D)?Q 10.下列表达式正确的有( A, C )

A.

Q Q P ??→?)(; B. P Q P ?∨

C.P Q P Q P

??∧∨∧)()(

D. ()1P P Q →→?

11.n 个命题变元可产生( D )个互不等值的极小项。 A . n ; B .n 2 ; C . 2n ; D . 2n

二、填空题

1. 设命题公式G :P →? (Q →P),则使公式G

2. 设P :我们划船,G :我们跑步,那么命题“我们不能既划船又跑步”可符号化为

3. 设P :他生病了,Q :他出差了.R :我会同意他请假. 则命题“如果他生病或出差了,

4. 含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式是

5. 若命题变项P ,Q ,R 赋值为(1,0,1),则命题公式G =

)())((Q P R Q P ∨??→∧

6. 命题公式P →?(P ∧Q )

7. P,Q 为两个命题,当且仅当1,当且仅当P ∨Q 的真值为0.

8. 给定两个命题公式A ,B ,若A ?B ?1, 则称A 和B 时等值的,记作A ?B . 9. 任意两个不同极小项的合取为永假式 ,全体极小项的析取式为永真式. 三、计算题

1. 判断命题公式的类型.

(1) (P ∧Q →R)→P ∧Q ∧?R ; (2) P →(P ∨Q ∨R)

2. 通过求命题公式(P ∨Q)→R 的主合、析取范式,求其真值为0的真值指派. 解 方法1.等值演算法.

(P ∨Q)→R ??(P ∨Q)∨R ?(?P ∧?Q)∨R ?(?P ∨R)∧(?Q ∨R)

?(?P ∨(Q ∧?Q)∨R)∧((P ∧?P)∨?Q ∨R) ?)()()()(R Q P R Q P R Q P R Q P ∨?∨?∧∨?∨∧∨?∨?∧∨∨?

?)()()(R Q P R Q P R Q P ∨?∨∧∨?∨?∧∨

∨?

于是主合取范式为:(P ∨Q)→R ? M 2∧ M 4∧M 6?

)6,4,2(∏

成真赋值000,001,011,101,111转为十进制数分别为0,1,3,5,7;分别对应于极小项m 0,m 1,m 3,m 5 ,m 7于是主析取范式为:(P ∨Q)→R ? m 0∨m 1∨m 3∨m 5∨m 7

?

)

7,5,3,1,0(∑

四、构造下面推理的证明:

1.前提:R →?Q ,R ∨S ,S →?Q ,P →Q .

结论:?P . 证明 ① R →?Q 前提引入 ②S →?Q 前提引入 ③ R ∨S 前提引入 ④?Q ∨ ?Q ①②③构造性二难 ⑤?Q ④置换

⑥ P →Q 前提引入

⑦ ?P ⑤⑥拒取式 2.

Q S P P

R R Q S ?→??∨?→∧,,)(

证明①P ?

前提引入 ②

P R ∨?

前提引入

R ?

①②析取三段论 ④R Q S

→∧)(

前提引入 ⑤)(Q S ∧?

③④拒取式 ⑥Q S ?∨?

⑤置换 ⑦S

附加前提引入 ⑧

Q ?

⑥⑦析取三段论

3.

F A F E D D C B A →?→∨∧→∨,

证明: ①A 附加前提引入

②B A ∨

①附加 ③D C B A ∧→∨

前提引入 ④D C ∧

②③假言推理 ⑤D

④化简 ⑥E D ∨

⑤附加 ⑦F E D →∨

前提引入 ⑧

F

⑥⑦假言推理

第3章 集合及其运算

一、单项选择题

1. 设集合A={1,a},则P(A)=( C ). A. {{1},{a}}

B. {?,{1},{a}}

C. {?,{1},{a,},{1,a}}

D. {{1},{a},{1,a}}

2. 设A,B,C 为任意三个集合,下列命题正确的是( C ). A. 若A ?B=A ?C ,则B=C B. 若A ?B=A ?C ,则B=C

C. 若~A ?B=E 且A ?B ,则A=B

D. 若A -B =?,则A=B 3. 设A,B,C,D 为任意四个集合,下列命题正确是( A )..

A. (B ?C)×A=(B ×A)?(C ×A)

B. (A ×B)×C =A ×(B ×C)

C. (B ?C)×A=(B ×A)?(C ×A)

D. A ?C 且B ?D ,则A ×C =B ×D

4. 设a 是集合A 的元素,则以下正确的是( B )

A

a A a A a a a ∈???}){D ()C (}){B (}){A (5. 设集合A={1,2,3,4},B ={2,4,6,9},那么集合A ,B 的对称差A ⊕B =( C )

(A) {1,3} (B) {2,4,6} (C) {1,3,6,9} (D) {1,2,3,4,6,9}

6. 设集合A ={{1,2,3},{4,5},{6,7,8}},则下列各式为真的是(B )

(A) 1∈A (B) {{4,5}}?A

(C) {1,2,3}?A (D) ?∈A

7. 设A, B, C 都是集合,如果A ?C =B ?C ,则有( C ) (A) A =B (B) A ≠B

(C) 当A -C =B -C 时,有A=B (D) 当C=U 时, 有A ≠B

8. 设集合A ={?,a},则P(A)= ( D )

}},{},{},{,){D (}}}},{,{},{},{,){C (}},{},{},){{B (}},{},{,){A (a a A a a a a a a ??????????

9. 设A={1,2,3},B={2,3,4,5},C={2,3},则(A ∪B )⊕C 为( C ) (A) {1,2} (B) {2,3} (C) {1,4,5} (D) {1,2,3} 二、填空题

1.设A, B 代表集合,命题A -B =??A=B

2. 设A, B 为任意集合,命题A -B =??A?B

3. 设集合A={?,{a}},则A

的幂集 4. 设集合

5. 设集合A ={1,2,3,4},B={a 6 由集合的吸收律,(A ?B)?7 有序对=三、计算题 1.设

},{},,,{},,{},,,,,{42=521=41=54321=C B A E ,

求 (A ?B)?~C ,P(A)-P(B),A ⊕B . (A ?B)?~C={1,3,5} P(A)-P(B) ={{4},{1,4}} A ⊕B={2,4,5}

第4章 二元关系与函数

一、单项选择题

1. 设集合A={1,2,3,4},A 上的二元关系R={<1,2>,<1,4>,<2,4>,<3,3>},S={<1,4>,<2,3>,<2,4>,<3,2>}. 则关系( B )={<1,4>,<2,4>} A. R ?S B. R ?S C. R -S D. S -R

2. 设集合A={a,b}上的二元关系R={,},则R ( C ). A. 是等价关系但不是偏序关系 B 是偏序关系但不是等价关系

C. 既是是等价关系又是偏序关系

D. 既不是等价关系又不是偏序关系 3. 设函数f :R →R ,f(a)=2a+1;g :R →R ,g(a)=a 2,则( C )有反函数. A. g ?f B. f ?g C.f D. g ?

4. 设集合A ={0,b},B={1,b,3},则A ?B 上的恒等关系是 ( B ). (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>}

5. 已知集合A ={a,b,c}上的二元关系R 的关系矩阵

M R =???

?

???

???001011010,那么R =

( D ),

(A) {,,,} (B) {,,,}

(C) {,,,} (D) {,,,} 6. 设A={a ,b ,c},R={},则R 具有性质( C )

(A) 自反的 (B) 反自反的 (C) 反对称的 (D) 等价的

7. 设R 是集合A 上的二元关系,I A 是A 上的恒等关系,如果R ?I A ,则下面四个命题中为真的是( A )

(A) R 不是自反的 (B) R 不是传递的 (C) R 不是对称的 (D) R 不是反对称的

8 设函数f :N →N ,f(n)=n+1,下面四个命题中为真的是( C )

(A) f 是满射的 (B) f 是双射的 (C) f 是单射函数 (D) f 存在反函数 9.设A={Φ,{1},{1,3},{1,2,3}}则A 上包含关系“

?”的哈斯图为( C )

二、填空题

1. 设集合A={a,b,c,d},A 上的二元关系R={,,},S={,, ,}.则R ?S={};, R 2= {,,}.

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

系R

-1

的关系矩阵1-R M =

?

????

???????0100

11010000001

1

R

-1

的关系图为 .

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

=???

?

??????000100011,则R 具有的性质是

反对称性 且对称闭包M

=

????

?

?????01

101011 4. 设集合A={a,b},B={1,2},则从A 到B 的所有函数是f 1={,}, f 2={,},

f 3={,}, f 4={,};其中双射有f 2={,}, f 3={,}

5. 设A ,B 为有限集,且|A|=m,|B|=n,那末A 与B 间存在双射,当且仅当 m=n .

6. 如果关系R 是传递的, 则R ?R ? R .

7. 设集合A={1,2,3,4 }, B={6,8,12}, A 到B 的关系R =

},,2,{B y A x x y y x ∈∈=><,

那么R -

1={<6,3>,<8,4>}

1 4

三、计算题

1. 设集合A={a,b,c,d}上二元关系R 的关系矩阵为M R =?

????

????

???000000001101

0001,求r(R),s(R),t(R)

并画出R ,r(R),s(R),t(R)的关系图. 解 由M R 写出R 的集合表达式, R={,,,}.于是

r(R)={ ,,,,,,} r(R)的关系图为 s(R)={ ,,,,,} S(R)的关系图为 t(R)=R ?R 2?R 3 = ={ ,,,}?{ ,,}?{ ,}={ ,,,} t(R)的关系图为

解:哈斯图如右.

极大元:1,5, 6 极小元:0 最大元:无 最小元:0

3 设集合A={0,1,2,3,4},定义A 上的二元关系R ={?x,y ∈A ∧(x=y ∨x+y ∈A)} 试写出二元关系R 的集合表达式,并指出R 具有的性质. 解: 由题设, R =I A ?{<0,1>,<1,0>,<0,2>,<2,0>,<0,3>,<3,0>,<0,4>,<4,0>,<1,2>,<2,1>,<1,3>,<3,1>} 易知,R 具有自反性和对称性. 4.设A={1,2,3,4},S={{1},{2,3},{4}},为A 的一个分划,求由S 导出的等价关系. 解: R =I A ?{<2,3>,<3,2>} 5 设Z为整数集,关系

)}(mod ,|,{k b a Z b a b a R ≡∧∈><=为Z

上等价关系,求R 的模K 等价关系的商集Z/R. Z/R={[0],[1],…,[k-1]}

6设A={1,2,3,4,5},A 上的偏序关系为

求A 的子集{3,4,5}和{1,2,3},的上界,下界,上确界和下

确界。

解:子集

{3,4,5}的上界是3和1,无下界,上确界是3,无下a b c d

图4-5 r(R)的关系图

a b c d

a b c d

图4-6 s(R)的关系图 6? 5? ?4 3? 2? ?1 0?

确界。

子集{1,2,3}的上界是1,下界是4,上确界是1,下确界是4。

第五章 群

一、单项选择题

1. 设集合A 和二元运算*,可交换的二元运算是( A ).

A 设A =P({x,y}),?a,b ∈A,a*b=a ?b

B 设A={1,-1,2,3,4,-5},?a,b ∈A,a*b=∣b ∣

C 设A =M n (R),运算*是矩阵的乘法

D 设A=Z (整数集合), ?a,b ∈A,a*b=a+2b 2.设集合A ={1,2,…,10},下面定义的二元运算*关于集合A 不封闭的是( D ) A x*y=max {x,y} B x*y=min {x,y} C x*y=gcd {x,y}最大公约数 D x*y=lcm {x,y}最小公倍数 3. 下列代数系统能构成群的是( A ).

A 一元实系数多项式集P(x)(含0多项式),运算*是多项式加法

B 一元实系数多项式集P(x) (含0多项式),运算*是多项式乘法

C 正实数集合R +,,运算*是数的除法

D 设Q +为正有理数集,运算*为普通减法

4. 设A =Q ×Q ,其中Q 是有理数集,定义A 上的二元运算*为:),,(b a ?

A y x ∈),(,),(),(),(b ay ax y x b a +=*,则(1,2)*(3,4)=( D )

)6,3)(D ()8,6)(C ()1,5)(B ()10,3)(A (-

5. 下列集合和运算能构成群的是 ( A ).

(A) (M n (R),+),其中M n (R)是定义在实数集上的n 阶矩阵,+是普通加法 (B)(A,+),其中A ={0,±1,±2,…,±n},+是普通加法

(C)({

2

1

,0,2},+),其中+是普通加法 (D) ({0,1,2,3},?),其中运算?是模4乘法

6. 在自然数集N 上定义的二元运算*,满足结合律的是( C )

b

a b a b a b a b a b a b a b a -=*=*2+=*-=*)D (}

,max{)C ()B ()A (

7. 以下代数系统中,只是半群的为( B ). (A) (Z ,?),其中Z 是整数集,?a,b ∈Z,a ?b=a+b -2 (B) (Z ,?),其中Z 是整数集,?a,b ∈Z,a ?b=b (C) (Z ,?),其中Z 是整数集,?a,b ∈Z,a ?b=a+b -ab

(D) (R -{0},?),其中R 是实数集,?a ,b ∈R,a ?b=ab 8. 以下群中,是循环群的为( A ). (A) (Z ,+),其中Z 是整数集,+是数的加法 (B) (Q +,×),其中Q +是正有理数集,×是数的乘法 (C) (Q ,+),其中Q 是有理数集,+是数的加法

(D) (P(A),⊕),其中A={a,b},P(A)是A 的幂集,⊕是集合的对称差运算

9设[{a , b , c},*]为代数系统,*运算如下:

则零元为( C )。

A 、a ;

B 、b ;

C 、c ;

D 、没有。

二、填空题

1. 设R 是实数集,?a,b ∈R,定义二元运算*:a*b=a+b+ab,已知0∈R

是其单位元,那么?a ∈R,但a ≠-1,则a 2. 设(R *,ο)是代数系统,其中R *=R -{0},二元运算ο定义为ab b a R b a =∈?ο,,*

,那么,

a R a ,

*∈?3.

?为:,,A b a ∈?a ?b=}

,m in{b a ,则?的运

算表为

4. 设S 是非空有限集合,P(S)是S 的幂集,则代数系统 三、计算题

1. 设代数系统(A,*),其中A ={a,b,c},*是A 上的一个二元运算,对于由下表确定的运算,试分别讨论它们的交换性、幂等性以及在A 中关于运算*是否有幺元.如果有幺元,那么A

《离散数学》-教案.doc

《离散数学》教案 第一章集合与关系 集合是数学中最基本的概念,又是数学各分支、自然科学及社会科学各领域的最普 遍采用的描述工具。集合论是离散数学的重要组成部分,是现代数学中占有独特地位的 一个分支。 G. Cantor( 康脱 ) 是作为数学分支的集合论的奠基人。1870 年前后,他关于无穷序列的研究导致集合论的系统发展。 1874 年他发表了关于实数集合不能与自然数集合建立 一一对应的有名的证明。 1878 年,他引进了两个集合具有相等的“势”的概念。然 而,朴素集合论中包含着悖论。第一个悖论是布拉利 - 福尔蒂的最大序数悖论。 1901 年罗素发现了有名的罗素悖论。 1932 年康脱也发表了关于最大基数的悖论。集合论的现代公理化开始于1908 年策梅罗所发表的一组公理,经过弗兰克尔的加工,这个系统称 为策梅罗 - 弗兰克尔集合论( ZF),其中包括 1904 年策梅罗引入的选择公理。另外一种系 统是冯·诺伊曼 - 伯奈斯 - 哥德尔集合论。公理集合论中一个有名的猜想是连续统假设(CH)。哥德尔证明了连续统假设与策梅罗 - 弗兰克尔集合论的相容性,科恩证明了连续统假设与策梅罗 - 弗兰克尔集合论的独立性。现在把策梅罗 - 弗兰克尔集合论与选择公理一起称为 ZFC系统。 一、学习目的与要求 本章目的是介绍集合的基本概念,讲授集合运算的基本理论,关系的定义与运算。 通过本章的学习,使学生了解集合是数学的基本语言,掌握主要的集合运算方法和关系运 算方法,为学习后续章节打下良好基础。 二、知识点 1.集合的基本概念与表示方法; 2.集合的运算; 3.序偶与笛卡尔积; 4.关系及其表示、关系矩阵、关系图; 5.关系的性质,符合关系、逆关系; 6.关系的闭包运算; 7.集合的划分与覆盖、等价关系与等价类;相容关系; 8.序关系、偏序集、哈斯图。

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示与关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性与传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系与逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点与难点的内容,并通过大量的练习使同学们巩固与掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题: 习题3、1:4,6;习题3、2:3(8),4(12),6(m);习题3、4:1 (2)、(4),3;习题3、5:1,4;习题3、6:2,5,6;习题3、7:2,5,6;习题3、8:1(1)-(6);习题3、9:3(2)、(4),4(3);习题3、10:1 ,4,5。

《离散数学》及答案

《离散数学》+答案 一、选择或填空: 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)是假言推理,(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)是,T (2)是,F (3)不是(4)是,T (5)不是(6) 44

离散数学教案

学习目标: 1.深刻理解序偶、笛卡尔积、关系、集合的划分与覆盖、等价关系、等价类、商集、相容关系、(最大)相容类、偏序关系、极大元、极小元、上(下)界、上(下)确界、最大(小)元、全序关系、良序关系等概念; 2.掌握集合的交、并、差、补、对称差的运算及其运算规律; 3.掌握关系的交、并、逆、复合运算、闭包运算及其性质; 4.掌握关系的矩阵表示和关系图; 5.深刻理解关系的自反性、反自反性、对称性、反对称性和传递性,掌握其判别方法; 6.掌握集合的覆盖与划分的联系与区别; 7.掌握偏序关系的判别及其哈斯图的画法;会求偏序集中给定集合的极大元、极小元、上(下)界、上(下)确界、最大(小)元。 主要内容: 1.集合的基本概念及其运算 2.序偶与笛卡尔积 3.关系及其表示 4.关系的性质及其判定方法 5.复合关系和逆关系 6.关系的闭包运算 7.等价关系与相容关系 8.偏序关系 重点: 1.关系的性质及其判别; 2.关系的复合运算及其性质; 3.等价关系与等价类、等价关系与集合的划分的联系; 4.偏序关系判别及其哈斯图的画法、偏序集中特异位置元素的理解。 难点: 1.关系的传递性及其判别; 2.等价关系的特性; 3.偏序关系的哈斯图的画法;偏序集中特异位置元素的求法。 教学手段: 通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握关系的性质及其判别、关系的复合运算及其性质、等价关系的特性、偏序关系的哈斯图的画法及偏序集中特异位置元素的求法。 习题:

习题 3.1:4,6;习题 3.2:3(8),4(12),6(m );习题 3.4:1 (2)、 (4),3;习题 3.5:1,4;习题 3.6:2,5,6;习题 3.7:2,5,6;习题 3.8:1(1)-(6);习题3.9:3(2)、(4),4(3);习题3.10:1 ,4,5。 3.1 集合的基本概念 集合(set)(或称为集)是数学中的一个最基本的概念。所谓集合,就是指具有共同性质的或适合一定条件的事物的全体,组成集合的这些“事物”称为集合的元素。 集合常用大写字母表示,集合的元素常用小写字母表示。若A 是集合,a 是A 的元素,则称a 属于A ,记作a A ∈;若a 不是A 的元素,则称a 不属于A ,记作。若组成集合的元素个数是有限的,则称该集合为有限集(Finite Set),否则称为无限集(Infinite Set)。 常见集合专用字符的约定: N —自然数集合(非负整数 集) I (或Z )—整数集合(I +,I -) Q —有理数集合(Q +,Q -) R —实数集合(R +,R -) F —分数集合(F +,F -) 脚标+和-是对正、负的区分 C —复数集合 P —素数集合 O —奇数集合 E —偶数集合 幂集 定义 3.1.1 对于每一个集合A ,由A 的所有子集组成的集合,称为集合A 的幂集(Power Set),记为 ()P A 或2A .即(){}P A B B A =?。 例如:{,,}A a b c =, (){,{},{},{},{,},{,},{,},{,,}}P A a b c a b b c a c a b c φ=。 定理3.1.1 如果有限集A 有n 个元素,则其幂集()P A 有2n 个元素。 证明 A 的所有由k 个元素组成的子集数为从n 个元素中取k 个的组合数。 (1)(2)(1)! k n n n n n k C k ---+= L 另外,因A φ?,故()P A 的元素个数N 可表示为 1 201n k n k n n n n n k N C C C C C ==++++++=∑L L 又因 0()n n k k n k n k x y C x y -=+= ∑ 令 1x y == 得 02n n k n k C ==∑ 故()P A 的元素个数是2n 。 人们常常给有限集A 的子集编码,用以表示A 的幂集的各个元素。具体方法是: 设12{,,,}n A a a a =L ,则A 子集B 按照含i a 记1、不含i a 记0(1,2,,)i n =L 的规定

离散数学作业答案

第一章 1.假定A是ECNU二年级的学生集合,B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求: (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中,能被3或5整除,但不能被15整除的正整数共有多少个? 能被5整除的有40个, 能被15整除的有13个, ∴能被3或5整除,但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗? (1)2是正数吗? (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了,那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r),其中p、q、r为如下命题: p:你得流感了 q:你错过了最后的考试

3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语,其中C(x)表示x有电脑,F(x,y) 表示x和y是同 班同学,个体域是学校全体学生的集合。 解: 学校的全体学生要么自己有电脑,要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解: ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章

离散数学课后答案

离散数学课后答案 习题一 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

离散数学教案范本

《离散数学》教案 课目:第一章命题逻辑 教师:熊建英 学时: 12课时

Ⅰ教学提要 一、教学对象(人数) 学生:信息安全专业本科二年级学生50人 二、教学目标(任务) 各小结中知识点掌握程度(* 理解;** 基本掌握;***熟练掌握) 三、教学要求 (一)学生:着重知识点的学习,积极思考,参与提问。 (二)教官:严格纪律,严密组织、保持良好教学秩序,确保教学效果。 四、教官分工 主讲教师1名:负责教案编写,课堂的组织教学,教学总结编写。

五、本章重点 1、利用联接词构造复合命题公式 2、真值表的构建 3、等值演算 4、复合命题公式转化为主析取范式、主合取范式的方法 5、推理证明 六、本章难点 1、利用命题公式演算、真值表进行等值判断和公式类型判断 2、利用命题公式演算、真值表转化主析取范式、主合取范式 3、将现实背景下的条件约束构造为命题公式 七、教学方法 采用课堂教授,主要使用多媒体课件,部分内容及例题用黑板解释。 八、课时分配 1.1 命题及联接词2课时; 1.2 命题公式及其赋值2课时; 1.3 等值式2课时; 1.4 析取范式与合取范式2课时; 1.5 推理理论与消解法2课时; 1.6 命题逻辑应用案例2课时; 九、场地器材 多媒体教室 十、参考书目 1、杨圣洪、张英杰、陈义明:《离散数学》,科学出版社,2011年。 2、屈婉玲、耿素云、张立昂:《离散数学》,高等教育出版社,2008年。 3、屈婉玲、耿素云、张立昂:《离散数学学习指导与习题解析》,高等教育出版社,2008年。

Ⅱ教学进程 1.1 命题及联接词(2课时) 一、教学内容 1、命题的概念表示与分类 2、五种基本的联接词的逻辑关系 3、复合命题的符号化 4、复合命题的真值判断 二、课程时间安排 1、首先介绍本课程的性质,任务和教学安排,对学生明确提出教学上的要求(10分钟) 2、介绍离散数学学科的发展历史(20分钟) 3、命题与真值、命题的分类、简单命题符号化(15分钟) 4、联结词与复合命题(35分钟) 5、本次课小结(10分钟) 三、教学实施 (一)创设意境、导入课程(10分钟) 目的 体会离散数学理论在现实生活中的应用、是计算机专业多门核心课程的基础,让学生明白“离散数学”课程作用和意义。 1、从生活应用中理解逻辑推理作用,及离散数学学习意义; 如:犯罪推理、电路设计、人事安排的最优方案、网络中最优路径等; (1)逻辑推理问题范例(PPT展示一个犯罪推理案例) (2)离散数学是一门可以对逻辑推理规律建立相应的符号运算系统,解决此类问题的科学。 2、离散数学与其他专业课程的联系; (1) 涉及多门计算机专业中很多专业课程,如:编程语言、数据结构、操作系统、数据数据加密。

离散数学答案

02任务_000 1 试卷总分:100 测试时间:0 单项选择题 一、单项选择题(共10 道试题,共100 分。) 1. 设集合A = {1, a },则P(A) = ( ). A. {{1}, {a}} B. {,{1}, {a}} C. {{1}, {a}, {1, a }} D. {,{1}, {a}, {1, a }} 2. 集合A={1, 2, 3, 4}上的关系R={|x=y且x, y A},则R的性质为(). A. 不是自反的 B. 不是对称的 C. 传递的 D. 反自反 3. 若集合A={ a,{a},{1,2}},则下列表述正确的是( ). A. {a,{a}}A B. {1,2}A C. {a}A D. A 4. 设集合A ={1 , 2, 3}上的函数分别为:f = {<1, 2>,<2, 1>,<3, 3>},g = {<1, 3>,<2, 2>,<3, 2>},h = {<1, 3>,<2, 1>,<3, 1>}, 则h =(). A. f?g B. g?f C. f?f D. g?g

5. 设集合A={1 , 2 , 3 , 4}上的二元关系R={<1, 1>,<2, 2>,<2, 3>,<4, 4>},S={<1, 1>,<2, 2>,<2, 3>,<3, 2>,<4, 4>},则S是R的()闭包. A. 自反 B. 传递 C. 对称 D. 自反和传递 6. 若集合A={1,2},B={1,2,{1,2}},则下列表述正确的是( ). A. A B,且A B B. B A,且A B C. A B,且A B D. A B,且A B 7. 设集合A={1,2,3,4,5},偏序关系≤是A上的整除关系,则偏序集上的元素5 是集合A的(). A. 最大元 B. 最小元 C. 极大元 D. 极小元 8. 若集合A的元素个数为10,则其幂集的元素个数为(). A. 1024 B. 10 C. 100 D. 1 9. 如果R1和R2是A上的自反关系,则R1∪R2,R1∩R2,R1-R2中自反关系有()个. A. 0 B. 2 C. 1

离散数学试题及答案(1)

离散数学试题及答案 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B =_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________, _____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 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 = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。

离散数学答案【2】

第四章部分课后习题参考答案 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)在两个个体域中都解释为) xF ?,在(a)中为假命题,在(b)中为真命题。 (x (2)在两个个体域中都解释为) ?,在(a)(b)中均为真命题。 xG (x 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x能表示成分数 H(x): x是有理数 命题符号化为: )) F x∧ ? x ?? ( ) ( (x H (2)F(x): x是北京卖菜的人 H(x): x是外地人 命题符号化为: )) F x→ ?? x ) H ( ( (x 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快 命题符号化为: )) F x G y x→ ? ? ∧ y H )) ( , x ( ((y ( ) (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快

命题符号化为: ))) y F x G y→ ?? ∧ ? H x ) x , ( ( (y ( ( ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素=0. (c) 特定函数(x,y)=x y,x,y D ∈. (d) 特定谓词(x,y):x=y,(x,y):x

离散数学(第2版)电子教案

21st Century University Planned Textbooks of Computer Science (第2版) Discrete Mathematics (2nd Edition) 李盘林赵铭伟徐喜荣李丽双编著 □概念严谨精炼 □叙述简明清晰 □推理详尽严格 人民邮电出版社 POSTS & TELECOM PRESS

第2版前言 离散数学是现代数学的一个重要分支,是计算机科学与技术的理论基础。因此,它是计算机科学与技术专业的核心、骨干课程。一方面,它给后继课,如数据结构、编译系统、操作系统、数据库原理和人工智能等,提供必要的数学基础;另一方面,通过学习离散数学,培养和提高了学生的抽象思维和逻辑推理能力,为其今后继续学习和工作,进行科学研究,攀登科技高峰,打下扎实的数学基础。 本书第1版于2002年2月出版以来,六年来,先后多次印刷发行,已得到了普遍认可,被全国部分普通高校选作教材,本版除了勘误了第1版中的不妥之处外,还增加了一些新的章节,并相应补充了例题和习题,以适应高等学校教学改革的需要。 本书共12章,内容包括命题逻辑、谓词逻辑、集合、关系、函数、代数结构的概念及性质、半群与群、环和域、格与布尔代数、图的概念与表示、几类重要的图以及数论。 本书是笔者结合多年教学实践与科学研究,参考国内外教材,在力求通俗易懂、简明扼要的指导思想下编写而成的。在编写过程中有如下3点考虑。 1. 力求做到“少而精”,注意突出重点,论证详细明了,便于自学,在定理证明中多次运用归纳法,希望读者熟练掌握这一方法。 2. 在加强基本理论教学的同时,注意了分析问题、解决问题的技能培养和训练。书中各知识点均配有典型例子,并加以说明。此外,各章都配有适量的习题,希望通过做习题这个环节,来培养、提高学生解决问题的能力。 3. 一方面每章各有独立性,教师根据需要可以单独选讲几章;另一方面,尽可能注意各章之间的联系,规范并统一了符号和术语。 本书在编写过程中,得到了有关领导、老师和同学的热情关心、支持和帮助,在此一并表示感谢。 限于作者水平,书中难免有不当和疏漏之处,恳请读者批评指正。 编者 于大连理工大学 2008年9月

离散数学答案

离散数学答案 The following text is amended on 12 November 2020.

06任务_0001 试卷总分:100 测试时间:0 一、单项选择题(共10道试题,共100分。) 1.命题公式的析取范式是( ). A. B. C. D. 2.设个体域为整数集,则公式"x$y(x+y=0)的解释可为( ). A. 存在一整数x有整数y满足x+y=0 B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0

3.下列公式成立的为( ). A. PQ PQ B. PQ PQ C. QP P D. P(PQ)Q 4.下列公式中 ( )为永真式. A. AB AB B. AB (AB) C. AB AB D. AB (AB) 5.设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号 化为( ). A. B. C.

D. 6.命题公式(PQ)R的析取范式是 ( ) A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 7.命题公式(PQ)的合取范式是 ( ). A. (PQ) B. (PQ)(PQ) C. (PQ) D. (PQ) 8.设命题公式G:,则使公式G取真值为1的P,Q,R赋值分别是 ( ). A. 0, 0, 0 B. 0, 0, 1

C. 0, 1, 0 D. 1, 0, 0 9.命题公式PQ的主合取范式是(). A. (PQ) B. PQ C. PQ D. PQ 10.下列等价公式成立的为( ). A. PP QQ B. QPPQ C. PQPQ D. PP Q 06任务_0002 试卷总分:100 测试时间:0

离散数学答案精选版

离散数学答案 Company number【1089WT-1898YT-1W8CB-9UUT-92108】

公式r q p →∨?)(的真值表: 3. 请给出递归关系的思想,并解 答下述问题:某人举步上楼梯,每步跨1个台阶或2个台阶,设上n 个台阶的不同方式数为a n . 求出关于a n 的初始条件以及递归关系. 解:设有n 阶台阶,既然一次只能走一步或2步或3步,那么假设现在仅剩下最后一步要走,有三种情况:一 只需要走一步,这时已经走了(n -1)阶,走法与走n -1阶相同,有f (n -1)阶走法; 二 只需要走两步,同上分析有f (n -2); ... 4. 请给出图的定义,并证明:有 n 个人,每个人恰有3个朋友,则n 是偶数. 证: 用n 个节点代表n 个人,两个人是朋友则在相应的两个节点之间连一条无向边,于是得到一个n 阶图,其中每个节点的度数均为3. 由于每个节点度数为3,根据定理知 , 其中m 为G 的边数.于是n 必为偶数.证毕. 5. 请给出无向树的定义,并解答下列问题: 设G 是一棵无向树且有3个3度节点,1个2度节点,其余均为1度节点. (1)求出该无向树共有多少个 节点. (2)画出两棵不同构的满足上 述要求的无向树.. 解:(1)设该无向树G 有χ个叶节点,于是G 共有2+3+χ=χ+5个节点。根据无向树的性质知,G 有χ+4条便,由握手定理有 2.4+ 3.3+χ.1=2(χ+4), 于是χ=9,进而G 有9+5=14个节点。 图(1)(2)是两棵不同构的满足上述要求的无向树。 二、 大作业要求 大作业共需要完成三道题: 第1题必做,满分30分; 第2-3题选作一题,满分30分;

离散数学课程教案.docx

教案课程 名称类别 任课教师 授课对象 基本教材和主要参考资料 教学目的要求 教学重点难点 离散数学 课程编号总计 学分 4.5 学时: 72 讲课 必修课(√ )选修课()理论课(√ )实验课()学时: 72 实验 学时:刘光辉职称讲师上机 学时: 专业班级:信息科学 0501、 0502、 0503共 3 个班 序号教材名称作者出版社出版时间1离散数学孙吉贵等高等教育出版社2002 年2离散数学王兵山等国防科技大学出社2001 年3离散数学(修订版) 耿素云 高等教育出版社2004 年 屈婉玲 本课程共分为四个部分,分别是数理逻辑、集合论、代数系统、图论。在 教学过程中除讲清楚各部分的基本内容外,还应使学生在以下几方面得到培养和训练。 1.有效地掌握该门课程中的所有概念。通过讲课和布置一定数量的习题 使学生能够使用所学的概念对许多问题作出正确的判断。 2.通过课程中许多定理的证明过程复习概念,了解证明的思路,学会证 明的方法,并使学生掌握定理的内容和结果。 3.通过介绍各种做题的方法,启发学生独立思维的能力。创造性的提出 自己解决问题的方法,提高学生解决问题的能力。 4.通过该门课程的学习使学生掌握逻辑思维和逻辑推理的能力,培养学生正规的逻辑思维方式。 教学重点: 1.数理逻辑:等价演算,推理理论 2.集合论:集合恒等式,关系运算,关系性质,等价关系,偏序关系 3.代数系统:代数系统,群的性质,子群,陪集与拉格朗日定理,循环群,置换群 4.图论:图的基本概念,图的矩阵,根树,平面图的概念与性 质教学难点: 一阶逻辑推理,关系的运算,偏序关系,陪集,置换群,根树的应用,平面图 的性质

离散数学答案

04任务_000 6 试卷总分:100 测试时间:0 一、单项选择题(共10道试题,共100分。) 1.设有向图(a)、(b)、(c)与(d)如图所示,则下列结论成立的是( ). A. (a)只是弱连通的 B. (b)只是弱连通的 C. (c)只是弱连通的 D. (d)只是弱连通的 2.设无向图G的邻接矩阵为 , 则G的边数为( ). A. 1 B. 6 C. 7 D. 14 3.设无向图G的邻接矩阵为,则G的边数为( ). A. 6

B. 5 C. 4 D. 3 4.无向简单图G是棵树,当且仅当( ). A. G连通且边数比结点数少1 B. G连通且结点数比边数少1 C. G的边数比结点数少1 D. G中没有回路. 5.图G如图三所示,以下说法正确的是( ) . A. {(a, d)}是割边 B. {(a, d)}是边割集 C. {(a, d) ,(b, d)}是边割集 D. {(b, d)}是边割集 6.若G是一个汉密尔顿图,则G一定是( ). A. 平面图 B. 对偶图 C. 欧拉图 D. 连通图 7.设G是连通平面图,有v个结点,e条边,r个面,则r= ( ). A. e-v+2 B. v+e-2 C. e-v-2 D. e+v+2 8.无向完全图K4是().

A. 欧拉图 B. 汉密尔顿图 C. 非平面图 D. 树 9.设图G=,v V,则下列结论成立的是 ( ) . A. deg(v)=2|E| B. deg(v)=|E| C. D. 10.以下结论正确的是( ). A. 无向完全图都是欧拉图 B. 有n个结点n-1条边的无向图都是树 C. 无向完全图都是平面图 D. 树的每条边都是割边 04任务_0007 试卷总分:100 测试时间:0 一、单项选择题(共10道试题,共100分。) 1.图G如图三所示,以下说法正确的是( ) . A. {(a, d)}是割边 B. {(a, d)}是边割集 C. {(a, d) ,(b, d)}是边割集 D. {(b, d)}是边割集 2.如图所示,以下说法正确的是 ( ). A. e是割点

离散数学答案

第一章命题逻辑基本概念课后练习题答案 1.将下列命题符号化,并指出真值: (1)p∧q,其中,p:2是素数,q:5是素数,真值为1; (2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1; (3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1; (4)p∧q,其中,p:3是素数,q:3是偶数,真值为0; (5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0. 2.将下列命题符号化,并指出真值: (1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1; (2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1; (3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; (4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1; (5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; 3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨; (2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;. 4.因为p与q不能同时为真. 5.设p:今天是星期一,q:明天是星期二,r:明天是星期三: (1)p→q,真值为1(不会出现前件为真,后件为假的情况); (2)q→p,真值为1(也不会出现前件为真,后件为假的情况); (3)p q,真值为1; (4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1. 4. .将下列命题符号化,并指出真值: (1)p∧q,其中,p:2是素数,q:5是素数,真值为1; (2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1; (3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1; (4)p∧q,其中,p:3是素数,q:3是偶数,真值为0; (5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0. 5.将下列命题符号化,并指出真值: (1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1; (2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1; (3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; (4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1; (5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; 6.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨; (2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;. 7.因为p与q不能同时为真. 13.设p:今天是星期一,q:明天是星期二,r:明天是星期三: (1)p→q,真值为1(不会出现前件为真,后件为假的情况); (2)q→p,真值为1(也不会出现前件为真,后件为假的情况); (3)p q,真值为1; (4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1. 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0

《离散数学》复习题及答案

《离散数学》试题及答案 一、选择或填空 (数理逻辑部分) 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、判断下列语句是不是命题。若是,给出命题的真值。( ) (1)北京是中华人民共和国的首都。 (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 P? P→ ? ?(4)Q Q→ ?(2)Q P? →(3)Q 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是有理数。则命题“并非每个实数都是有理数”的符号化表示为()。 答:??x(R(x)→Q(x))

离散数学试题及答案

离散数学考试试题(A卷及答案) 一、(10分)某项工作需要派A、B、C和D 4个人中的2个人去完成,按下面3个条件,有几种派法?如何派? (1)若A去,则C和D中要去1个人; (2)B和C不能都去; (3)若C去,则D留下。 解设A:A去工作;B:B去工作;C:C去工作;D:D去工作。则根据题意应有:A→C⊕D,?(B ∧C),C→?D必须同时成立。因此 (A→C⊕D)∧?(B∧C)∧(C→?D) ?(?A∨(C∧? D)∨(?C∧D))∧(?B∨?C)∧(?C∨?D) ?(?A∨(C∧? D)∨(?C∧D))∧((?B∧?C)∨(?B∧?D)∨?C∨(?C∧?D)) ?(?A∧?B∧?C)∨(?A∧?B∧?D)∨(?A∧?C)∨(?A∧?C∧?D) ∨(C∧? D∧?B∧?C)∨(C∧? D∧?B∧?D)∨(C∧? D∧?C)∨(C∧? D∧?C∧?D) ∨(?C∧D∧?B∧?C)∨(?C∧D∧?B∧?D)∨(?C∧D∧?C)∨(?C∧D∧?C∧?D) ?F∨F∨(?A∧?C)∨F∨F∨(C∧? D∧?B)∨F∨F∨(?C∧D∧?B)∨F∨(?C∧D)∨F ?(?A∧?C)∨(?B∧C∧? D)∨(?C∧D∧?B)∨(?C∧D) ?(?A∧?C)∨(?B∧C∧? D)∨(?C∧D) ?T 故有三种派法:B∧D,A∧C,A∧D。 二、(15分)在谓词逻辑中构造下面推理的证明:某学术会议的每个成员都是专家并且是工人,有些成员是青年人,所以,有些成员是青年专家。 解:论域:所有人的集合。S(x):x是专家;W(x):x是工人;Y(x):x是青年人;则推理化形式为: ?x(S(x)∧W(x)),?x Y(x)?x(S(x)∧Y(x)) 下面给出证明: (1)?x Y(x) P (2)Y(c) T(1),ES (3)?x(S(x)∧W(x)) P (4)S( c)∧W( c) T(3),US (5)S( c) T(4),I (6)S( c)∧Y(c) T(2)(5),I (7)?x S((x)∧Y(x)) T(6) ,EG 三、(10分)设A、B和C是三个集合,则A?B??(B?A)。 证明:A?B??x(x∈A→x∈B)∧?x(x∈B∧x?A)??x(x?A∨x∈B)∧?x(x∈B∧x?A)