湘潭大学 刘任任版 离散数学课后习题答案 习题2

湘潭大学 刘任任版 离散数学课后习题答案 习题2
湘潭大学 刘任任版 离散数学课后习题答案 习题2

习 题 二

1.确定下列二元关系:

(1){}{}{}B A B A y x y x R B A ??∈=== ,,,5,3,1,3,2,1 (2){}{}

A A x y x R A y ??===2,,8,6,5,4,3,2,1,0 分析:本题主要运用知识为集合的交、关系以及笛卡尔积的定义。

解:(1) R =<><><><>{,,,,,,,}11133133

(2) R =<><><><>{,,,,,,,}10214283

2. 请分别给出满足下列要求的二元关系的例子:

(1)既是自反的,又是反自反的;

(2)既不是自反的,又不是反自反的;

(3)既是对称的,又是反对称的;

(4)既不是对称的,又不是反对称的.

分析 本题主要考察关系的5个性质(自反性、反自反性、对称性、反对称性、传递性)。 解:设R 是定义在集合A 上的二元关系。

(1) 令A =?,则R =?,于是R 既是自反又是反自反的;

(2) 令A R ==<>{,},{,}1211,于是R 既不是自反又不是反自反的;

(3) 令A R ==<><>{,},{,,,}121122,于是R 既是对称又是反对称的;

(4) 令A R ==<><><>{,,},{,,,,,}123122113,于是R 既不是对称又不是反对

称的。

3. 设集合A 有n 个元素,试问:

(1)共有多少种定义在A 上的不同的二元关系?

(2)共有多少种定义在A 上的不同的自反关系?

(3)共有多少种定义在A 上的不同的反自反关系?

(4)共有多少种定义在A 上的不同的对称关系?

(5)共有多少种定义在A 上的不同的反对称关系?

分析:本题主要考察知识为二元关系的自反性、反自反性、对称性、反对称性所对应的关系矩阵之性质,本题可以在做完第四题(根据满足某个性质的关系之关系矩阵)之后再来考虑。 解:设A n =,于是

(1) 共有22n 种定义在A 上的不同的二元关系;

(2) 共有22n n -种定义在A 上的不同的自反关系;

(3) 共有22n n

-种定义在A 上的不同的反自反关系; (4) 共有22

21212n n n n n ?=-+()/()/ 种定义在A 上的不同的对称关系; (5) 共有02223m

n k m k n m m

k C -=?=?∑种定义在A 上的不同的反对称关系,其中,m n n =-()12。 4. 请分别描述自反关系,反自反关系,对称关系和反对称关系的关系矩阵以及关系图的特征. 分析: 本题主要是根据自反关系、反对称关系、对称关系和反对称关系之定义来确定关系矩

阵以及关系图。

解:(1) 自反关系矩阵的主对角线上元素全为1;而关系图中每个结点上都有圈。

(2) 反自反关系矩阵的主对角线上元素全为0; 而关系图中每个结点上均无圈。

(3) 对称关系矩阵为对称矩阵; 而关系图中任何两个结点之间的有向弧是成对出现的,

方向相反。

(4) 反对称关系矩阵M r R ij n n =?()的元素满足:当i j ≠时,r r ij ji ?=0。

5.设{}{}{}

2,,4,2,3,2,4,1,4,2,2,1,1,1,4,3,2,1===S R A ,试求,,,2R R S S R ??及2S .

分析 主要考察关系的复合运算之定义。

解:R S S R ?=<><>?=<>{,,,},{,}141334

R S 22111214223433=<><><>=<><><>{,,,,,},{,,,,,}。

6. 试举出使

()()()T R S R T S R ???? ()()()P T P S P T S ????

成立的二元关系P T S R ,,,的实例.

分析 本题主要说明关系的复合与关系的交运算不满足分配率。

解:设R T S P =<><>=<><>=<><>=<><>{,,,},{,,,},{,,,},{,,,}3132133212232131,

于是, 有S T R S T R S R T ?=???=??=<><>?=<>,(),{,,,},{,}323333, 因此,

()(){,}R S R T ???=<>≠?33, 从而, R S T R S R T ??????()()()。

又,(),{,},{,,,}S T P S P T P ??=??=<>?=<><>113111,因此,

()(){,}S P T P ???=<>≠?11,从而, ()()()S T P S P T P ??????。

7. 设R 和S 是集合A 上的二元关系. 下面的说法正确吗?请说出理由.

(1)若R 和S 是自反的,则S R ?也是自反的;

(2)若R 和S 是反自反的,则S R ?也是反自反的;

(3)若R 和S 是对称的,则S R ?也是对称的;

(4)若R 和S 是反对称的,则S R ?也是反对称的;

(5)若R 和S 是传递的,则S R ?也是传递的

分析 本题主要是考察两个满足同一种性质的关系之复合运算是否保该性质,是的可以根据定义给出证明,不正确请给出反例,一般如果正确相对容易证明,不正确给出反例相对较难。 解:(1) 正确。因为对任意x A ∈,有xR xSx ,,所以x R S x ()?。故R S ?是自反的。

(2) 错误。例如,设x y A x y ,,∈≠,且xRy ySx ,,于是x R S x ()?。故R S ?不是自

反的。

(3) 错误。例如,设对称关系R x z z x S z y y z =<><>=<><>{,,,},{,,,}。于

是,<>∈?x y R S ,,但<>??y x R S ,。故R S ?不是对称的。

(4) 错误。例如,设反对

称关系R x z y w S z y w x x y

=<><>=<><>≠{,,,},{,,,},。于是,<><>∈?x y y x R S ,,,。故R S ?不是反对称的。

(5) 错误。例如,设传递关系

R x w y v S w y v z w v =<><>=<><>≠{,,,},{,,,},。

于是

, x R S y y R S z (),()??,但因为w v ≠,所以,<>∈?x z R S ,。 8.设1R 和2R 是集合A 上的二元关系,试证明:

(1)()()()2121R r R r R R r =;

(2)()()()2121R s R s R R s =;

(3)()()()2121R t R t R R t ? 并举出使1>A 时使()()()2121R t R t R R t ?的实例.

分析:(1)本小题根据自反闭包的定义,它一个关系R 的自反闭包应该包含0

R ,然后根据

0201021)(R R R R ?=?即可证得。(2)本小题根据对称闭包的定义,它一个关系R 的对称闭包应该包含1-R ,然后根据1

211121)(---?=?R R R R 即可证得。(3)由于传递闭包的特殊性,它不满足类似与(1)(2)的情形,所以要进行相对麻烦的证明,主要运用集合的包含关系的证明方法。

解:(1) 0212121)()()(R R R R R R r ???=?

=???()()R R R R 121020

=???()()R R R R 110220

=?r R r R ()()12 (2) s R R R R R R ()()()1212121?=???-

=???--()()R R R R 121121

=???--()()R R R R 11122

1

=?s R s R ()()12

(3) 由定义,

t R R R t R R R t R R R R R R (),(),()()(),111222*********=??=???=???? 于是,

t R t R R R R R R R R R ()()()()12112222121222?=?????=???? 。 下证对任意n ≥1,有R R R R n n

n 1212???()。

任取<>∈?x y R R n n ,12,不妨设<>∈x y R n ,1。于是,存在z z z A n 12,,, ∈ 使得<>∈??<>∈??<>∈??<>∈-x z R R R z z R R R z z R R R z y n n n ,,,,,,,,1112121121112 从而, <>∈?x y R R n ,()12。举例说明“?”成立。设

A R R ==<>=<>{,,},{,},{,}123122312,于是,

t R R t R t R (){,,,,,}()(){,,,}12121213231213?=<><><>??=<><>。

9.设1R 和2R 是集合A 上的二元关系,试证明:

(1)()()()2121R r R r R R r =;

(2)()()()2121R s R s R R s ?;

(3)()()()2121R t R t R R t ?

并请给出1||>A 时使()()()2121R s R s R R s ?和()()()2121R t R t R R t ?的实例. 分析:(1)本题主要是根据自反关系的定义得到一个特殊的等式R R R R 1020

120==?()进行变换,只要想到这个等式,下面的工作就比较容易做。(2)本题主要是根据对称关系

的定义及定理2.2.6得到如下三个公式:s R R R R R R ()()()1212121?=???-,

s R R R s R R R (),()11112221=?=?--,

s R s R R R R R ()()()()12111221?=???--,有这三个公式以及集合之间包含关系的证明方法就可得到结论。(3)本小题根据传递闭包的定义及定理2.2.6得

,)( ,)(22222111 ??=??=R R R t R R R t ,

)()()(2212121 ????=?R R R R R R t 有了上面三个等式以及集合之间包含关系证明方法可得结论。

解:设R R 12和是集合A 上的二元关系。注意到R R R R 1020120==?(),于是,

(1) r R R R R R R ()()()1212120?=???

=()R R R 1210??

=()()R R R R 110210???

=()()R R R R 110220???

=t R t R ()()12?

(2) s R R R R R R ()()()1212121?=???-, s R R R s R R R (),()11112221=?=?--, s R s R R R R R ()()()()12111221?=???--。任取

<>∈?=???-x y s R R R R R R ,()()()1212121,

(i) 若<>∈?x y R R ,(),12 则<>∈??-x y R R R ,,1111 且

<>∈??-x y R R R ,,2221 从而,

<>∈???=?--x y R R R R s R s R ,()(()()11122112;

(ii) 若<>∈?-x y R R ,(),121 则<>∈?y x R R ,(),12 即

<>∈<>∈y x R y x R ,,,,12且 从而,

<>∈??--x y R R R ,,11111 且<>∈??--x y R R R ,,21221 于是,

<>∈???=?--x y R R R R s R s R ,()(()()11122112

故 s R R s R s R ()()()1212???。举例说明“?”成立。

设A R R ==<>=<>{,},{,},{,}12122112,于是,

s R R R R R R ()()()12121211?=???=???=?--,而

s R R R s R R R (){,,,},(){,,,}1111222112211221=?=<><>=?=<><>--, 因此,s R s R s R R s R s R ()(){,,,},()()()1212121221?=<><>???故。

(3)证明:因为

,

)(,)(22222111 ??=??=R R R t R R R t ,

)()()(2212121 ????=?R R R R R R t )()()()()(211

,22221121m l m l R R R R R R R t R t ??=?????=?≥ 于是

又设 A= {1, 2, 3} , }3,1{},3,2,2,1{21><=><><=R R ,于是,,)(,2121?=?=R R t R R 而,

}

3,1{)()(},

3,1{)(},

3,1,3,2,2,1{)(21221><=><==><><><=R t R t R R t R t 故 )()()(2121R t R t R R t ?.

10.有人说,“如果集合A 上的二元关系R 是对称和传递的,则R 必是自反的. 因此,等价关系定义中的自反性可以去掉”. 并给出如下证明,如果R y x ∈,,由R 的对称性有R x y ∈,,再由R 的传递性知,R x x ∈,且R y y ∈,,即R 是自反的. 你的看法如何?

分析:本题主要是没有弄明白对称和传递都是满足一定前提条件的,而自反关系则是A 中每个元素都必须满足这个条件。

解:说法不正确。 对任意A x ∈, 对称性并不要求一定有R y x >∈<,,

因此也就不一定有>?<,。

例如:设}3,2,1{=A ,}1,1,1,2,2,1{><><><=R ,则R 是对称和传递的,但是R 不是自反的,因为R 中不包含><><3,3,2,2,这是因为R 如果是自反的必须包含0R 。

11.设R 是集合A 上的自反关系. 试证明R 是等价关系当且仅当若R z x y x ∈,,,,则R z y ∈,.

分析:本题主要是利用等价关系中自反性、对称性、传递性的定义来证明。

所以结论成立。

又因为,

,即(就有所以也有,

,,同时也有所以有,,,,所以就有且,因为,,使得也就有(有则存在),(),,,...,,,,,...,,,,...,,,,...,,),,,)()()( ,211,212121212222211112112211212121221121212212121m l m l i i i i i i i i i i i i i i R R R R R R R R R R y x R y x R z x R z x R z x R y x R z x R z x R z x R R R R R R R R z x R R z x R R z x z z z R R y x i R R R R R R t y x ????????>∈<>∈<>∈<>∈<>∈<>∈<>∈<>∈<>∈

解:设R 是等价关系。若 , ∈R , 则由R 的对称性知, ∈R 。

再由R 的传递性有∈R 。

反之, 假设只要, ∈R, 就有∈R 。

(1) 对称性。 设< x, y >∈R ,由自反性有∈R 。于是∈R 。

(2) 传递性。 设, ∈R 。 由对称性有∈R, 再由假设有∈R 。

12.设1R 和2R 都是集合A 上的等价关系,试证明21R R =当且仅当21//R A R A =. 分析:本题主要是根据等价类的定义及性质可以得到。

证明:设 21R R =, 则显然 21//R A R A =。

反之, 设21//R A R A =。若 21R R ≠, 则不妨设∈1R 但?2R .

于是11][][R R y x = , 22][][R R y x ≠ .

由划分之定义得知 21//R A R A ≠, 矛盾.。故21R R =。

13.设(){}

5mod ,y x y x R ≡=是定义在整数集Z 上的模5同余关系,求Z/R . 分析:本题主要是等价类的定义及性质可以得到。

解:设 R= { | x ≡y(mod 5)}.于是

[0]

R ={…-15,-10,-5,0,5,10,15…} [1]

R ={…-14,-9,-4,1,6,11,16,…} [2]

R ={…-13,-8,-3,2,7,12,17,…} [3]

R ={…-12,-7,-2,3,8,13,18,…} [4] R ={…-11,-6,-1,4,9,14,19,…}

A/R = {[0] R ,[1] R ,[2] R ,[3] R ,[4] R

} . 14.设{}r A A A A ,,,21 =和{}s R B B B ,,,21 =是集合X 的两个划分,令

{}s j r i B A B A S j i j i ≤≤≤≤?≠=1,1,

试证明S 也是X 的一个划分.

证明:本题主要是根据划分的定义以及集合的性质可以得到。

证明: }|{?≠=i i i i B A B A S .

(1) 由S 定义知, ?≠i i B A ;

(2) 任取S B A i i ∈ 和S B A m l ∈ , 1<=i ,j<=r, 1<=j,m<=s . ?=??== )()()()(m j m i m l i i B B A A B A B A

(3)

S B A B A B B A A j i B A s j r i j i s j r j i j i m j r ===

=X X =X ?≠≤≤≤≤≤≤≤≤ 111,11)()()

...()....(

故 S 是X 的一个划分.

15.定义在4个元素的集合A 之上的等价关系共有多少个?若n A =呢?

分析:本题是根据等价关系与划分的一一对应关系,利用划分来处理,由特殊推到一般。有几种证明方法。

解:设A={1,2,3,4},则A 上的等价关系数目即A 上的划分的数目共有15个.

(1) 最大划分 { {1}, {2}, {3} ,{4} }

(2) 最小划分 {{1 ,2, 3 ,4}}

(3) 将A 分成两个集合S={1A ,2A } , 共有两种可能:

(i) |1A | = |2A | ,共有32/12

4=C 种, 即

{{1, 2} , {3, 4}}, {{1, 3}, {2, 4}}, {{1, 4}, {2, 3}}。

(ii) |1A | = 1, |2A | =3, 共434=C 种, 即

{{1}, {2,3,4}}, {{2}, {1,3,4}}, {{3}, {1,2,4}, {{4},{1,2,3}}

(4) 将A 分成三个集合, 则恰有一个集合为2个元素,故共有624=C 种分法,即

{{1, 2}, {3}, {4}}, {{1, 3}, {2} ,{4}}, {{1, 4}, {2} ,{3}},

{{2, 3}, {1}, {4}}, {{2,4, {1}, {3}}, {{3,4}, {1}, {2}}}

设k E 表示可k 元集合A 上的全部等价关系数目, 则

???????∑?==-=---101101n k k n n n C k E E E

本公式还有下面一个推导方法:

解:设f(n,k)表示将n 个元素分成k 块的划分数。则f(n,1)=f(n,n)=1,设n>1,且1

16.设{}{}{}54,27,9,3,12,6,3,2,1,15,5,3321===A A A ,偏序关系≤为整除. 试分别画出≤≤,,,21A A ,以及≤,3A 的Hasse 图.

解:

3

17.设{}≤=,,,,,,54321A x x x x x A 的Hasse 图如图2. 3所示:

(1)求A 的最大(小)元,极大(小)元;

(2)分别求{}{}543432,,,,,x x x x x x 和{}321,,x x x 的上(下)界,上(下)确界.

分析:本题主要是根据极大(小)元,最大(小)元 ,上(下)界,上(下)确界的定义进行求解。

解:(1) 最大元x1, 无最小元;

(2) 上界 下界 上确界 下确界

{x2, x3, x4} x1 x4 x1 x4

{x3, x4, x5} x1,x3 无 x3 无

{x1, x2, x3} x1 x4 x1 x4

18.请分别举出满足下列条件的偏序集≤,A 的实例:

(1)≤,A 为全序集,但A 的某些非空子集无最小元;

(2)≤,A 不是全序集,A 的某些非空子集无最大元;

(3)A 的某些非空子集有下确界,但该子集无最小元;

(4)A 的某些非空子集有上界,但该子集无上确界

分析:本题主要是根据全序集的定义以及最大(小)元的定义进行举例。

解:(1) 为全序集, Z 整数集,但<-

Z ,≤>无最小元 ,

其中-Z ={}0|<∈m Z m ;

(2)题16中的,子集{3 ,5}无最大元;

(3) 题16中的,子集{2,3,6}有下确界但无最小界;

(4) 子集{a,b,e}有上界d, e,但无上确界。

19.试证明:每一个有限的全序集必是良序集.

x 1

x 25

图2.3

分析:本题主要是说明全序集、良序集的关系,根据他们的定义很容易得到。 证明:设为全序集, 且|A| = n 。

任取 A B ???,因B 中的任意两个元素x, y 均有x<=y 或者y<=x 。

因此, B 中必有最小元a.故为良序集。

20.设≤,A 为偏序集. 试证明A 的每个非空有限子集至少有一个极小元和极大元. 分析:本题注意是根据题设的子集的有限性以及极大元、极小元的定义很容易求的。 证明:设B 是A 的非空有限集.若B 中部存在极大(小)元,则对任何B x ∈,

若存在 y B ∈,使得x ≤y(y ≤x),如此下去,得出B 为无限集.矛盾.故结论成立。

21.设≤,A 为全序集. 试证明A 的每个非空有限子集必存在最大元、最小元. 分析:本题是对20题的补充,针对全序集有更特殊的性质。

证明:设B 是A 上的一个非空有限集,由题知,B 中至少有一个极大(小)元。

又故为全序,故极大(小)元均唯一, 且就是最大(小)元。

(完整版)离散数学试卷及答案

离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系R 为R ={}, (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系,为什么? 解 (1) R 的关系矩阵为: ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知,对角线上所有元素全为1,故R 是自反的;ij r +ji r ≤1,故R 是反对称的;可计算对应的关系矩阵为:

屈婉玲版离散数学课后习题答案【3】

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

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

离散数学题库及答案

数理逻辑部分 选择、填空及判断 ?下列语句不就是命题的( 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 )。

离散数学试题与答案

试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b

二、选择 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 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。

离散数学习题三 含答案

离散数学习题三 11、填充下面推理证明中没有写出的推理规则。 前提:p s r r q q ,,,p →∨?∨? 结论:s 证明:① p 前提引入 ②q ∨?p 前提引入 ③ q (①②析取三段论) ④r q ∨? 前提引入 ⑤ r (③④析取三段论) ⑥s r → 前提引入 ⑦ s (⑤⑥假言推理) 12、填充下面推理证明中没有写出的推理规则。 前提:s)(r q r),(q p →→→→ 结论:s q)(p →∧ 证明:①q)(p ∧ (附加前提) ② p (①化简规则) ③ q (①化简规则) ④r)(q p →→ 前提引入 ⑤r q → (②④假言推理) ⑥ r (③⑤假言推理) ⑦s)(r q →→ 前提引入 ⑧s)(r → (③⑦假言推理) ⑨ s (⑥⑧假言推理) 13、前提:s r ,q p q,q)p (→∨∧→? 结论1:r 结论2:s 结论3:s ∨r (1)证明从此前提出发,推出结论1,结论2,结论3的推理都是正确的。 (2)证明从此前提出发,推任何结论的推理都是正确的。 证明:(1)①r s))r (q)(p q)q)p (((→→∨∨∨∧→? 1r s))r (q)p (q)q)p ((?∨?∧∨?∧?∨?∨∨??

②s ∨ → ∨ → ? ((→ ∨ ∧ s)) p( q) r( q) q) (p ∧ ? ? ∨ ∨ ∧ ? ? ? ∨ ∨ ? q) r( q) ∨ s 1 p s)) p ( q) ((? ③s) ∨ ∨ → ∨ ?r → → ∧ (p q) s)) ((∨ ( r( q) q) p( ? ∧ ∨ ∧ ? ? ? ?r ∨ ∨ ? ∨ ∨ r( q) ∨ s 1 p s)) ((? p q) ( q) 即结论1,结论2,结论3的推理都是正确的。 (2)s) ∨ ∧ ∧ ∧ → (→ ? r( p( (p q) q) q) ∧ ? ∨ ? ∧ ? ∨ ∧ ∧ ∧ ? ? ? ∨ ? ∨ ∧ ∧ (∨ (p q) p( q) ( s) r s) q r p ( q) q) ( q) (p ∨ ? ∧ 0? ? ∨ ∧ s) (p r ( q) 即推任何结论的推理都是正确的。 14、在自然推理系统P中构造下面推理的证明: (1)前提:q → p, → (q r) p, r→ 结论:s 证明:①r) →前提引入 p→ (q ②p 前提引入 ③r) (q→①②假言推理 ④q 前提引入 ⑤r③④假言推理 r→⑤附加律 ⑥s 15、在自然推理系统P中用附加前提法证明下面的推理: 前提:q → , →s p→ (q p, r) s→ 结论:r 证明: ①s 附加前提引入 ②p s前提引入 → ③p①②假言推理 ④r) →前提引入 p→ (q ⑤r q→③④假言推理 ⑥q 前提引入 ⑦r ⑤⑥假言推理 即根据附加前提证明法,推理正确。

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

离散数学期末试题及答 案 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的补元( ).

吉林大学离散数学课后习题答案

第二章命题逻辑 §2.2 主要解题方法 2.2.1 证明命题公式恒真或恒假 主要有如下方法: 方法一.真值表方法。即列出公式的真值表,若表中对应公式所在列的每一取值全为1,这说明该公式在它的所有解释下都是真,因此是恒真的;若表中对应公式所在列的每

一取值全为0,这说明该公式在它的所有解释下都为假,因此是恒假的。 真值表法比较烦琐,但只要认真仔细,不会出错。 例2.2.1 说明G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。 解:该公式的真值表如下: 表2.2.1 由于表2.2.1中对应公式G所在列的每一取值全为1,故

G恒真。 方法二.以基本等价式为基础,通过反复对一个公式的等价代换,使之最后转化为一个恒真式或恒假式,从而实现公式恒真或恒假的证明。 例2.2.2 说明G= ((P→R) ∨? R)→ (? (Q→P) ∧ P)是恒真、恒假还是可满足。 解:由(P→R) ∨? R=?P∨ R∨? R=1,以及 ? (Q→P) ∧ P= ?(?Q∨ P)∧ P = Q∧? P∧ P=0 知,((P→R) ∨? R)→ (? (Q→P) ∧ P)=0,故G恒假。 方法三.设命题公式G含n个原子,若求得G的主析取范式包含所有2n个极小项,则G是恒真的;若求得G的主合取范式包含所有2n个极大项,则G是恒假的。 方法四. 对任给要判定的命题公式G,设其中有原子P1,P2,…,P n,令P1取1值,求G的真值,或为1,或为0,或成为新公式G1且其中只有原子P2,…,P n,再令P1取0值,求G真值,如此继续,到最终只含0或1为止,若最终结果全为1,则公式G恒真,若最终结果全为0,则公式G

离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法构成环。( ) 8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。( ) 9.设A={a,b,c},则A上的关系R={,}是传递的。( ) 10.设A、B、C为任意集合,则A?(B?C)=(A?B)?C。( ) 二、填空题(共10题,每题3分,共30分) 11.设p:天气热。q:他去游泳。则命题“只有天气热,他才去游泳”可符号 化为。 12.设M(x):x是人。S(x):x到过月球。则命题“有人到过月球”可符号 化为。 13.p?q的主合取范式是。 14.完全二部图K r,s(r < s)的边连通度等于。 15.设A={a,b},,则A上共有个不同的偏序关系。 16.模6加群中,4是阶元。 17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。. 18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度

列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设是群,H={a| a∈G∧?g∈G,a*g=g*a},则是G的子群 28.(6分)设G是n(≥3)阶m条边、r个面的极大平面图,则r=2n-4。

离散数学试题及答案(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变成完全图。

离散数学复习题及标准答案

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 ③④假言推理I 11 ⑥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 ∧→??

离散数学试卷及答案

填空10% (每小题 2 分) 1、若P,Q,为二命题,P Q 真值为0 当且仅当。 2、命题“对于任意给定的正实数,都存在比它大的实数” 令F(x):x 为实数,L(x, y) : x y 则命题的逻辑谓词公式为。 3、谓词合式公式xP(x) xQ(x)的前束范式为。 4、将量词辖域中出现的和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为 换名规则。 5、设x 是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y 是自由的,则被称为存 在量词消去规则,记为ES。 选择25% (每小题分) 1、下列语句是命题的有()。 A、明年中秋节的晚上是晴天; C、xy 0 当且仅当x 和y 都大于0; D 、我正在说谎。 2、下列各命题中真值为真的命题有()。 A、2+2=4当且仅当3是奇数; B、2+2=4当且仅当 3 不是奇数; C、2+2≠4 当且仅当3是奇数; D、2+2≠4当且仅当 3 不是奇数; 3、下列符号串是合式公式的有() A、P Q ; B、P P Q; C、( P Q) (P Q); D、(P Q) 。 4、下列等价式成立的有( )。 A、P QQ P ; B、P(P R) R; C、P (P Q) Q; D 、P (Q R) (P Q) R。 5、若A1,A2 A n和B为 wff ,且A1 A2 A n B 则 ( )。 A、称A1 A2 A n 为 B 的前 件; B 、称 B 为A1,A2 A n 的有效结论

C 、 x(M (x) Mortal (x)) ; D 、 x(M(x) Mortal (x)) 8、公式 A x(P(x) Q(x))的解释 I 为:个体域 D={2} ,P(x) :x>3, Q(x) :x=4则 A 的 真 值为( ) 。 A 、 1; B 、 0; C 、 可满足式; D 、无法判定。 9、 下列等价关系正确的是( )。 A 、 x(P(x) Q(x)) xP(x) xQ(x); B 、 x(P(x) Q(x)) xP(x) xQ(x); C 、 x(P(x) Q) xP(x) Q ; D 、 x(P(x) Q) xP(x) Q 。 10 、 下列推理步骤错在( )。 ① x(F(x) G(x)) P ② F(y) G(y) US ① ③ xF(x) P ④ F(y) ES ③ ⑤G(y) T ②④I ⑥ xG(x) EG ⑤ A 、②; B 、④; C 、⑤; D 、⑥ 逻辑判断 30% 1、 用等值演算法和真值表法判断公式 A ((P Q) (Q P)) (P Q) 的类型。 C 、当且仅当 A 1 A 2 A n D 、当且仅当 A 1 A 2 A n B F 。 6、 A ,B 为二合式公式,且 B ,则( )。 7、 A 、 A C 、 A B 为重言式; B 、 B ; E 、 A B 为重言式。 人总是要死的”谓词公式表示为( )。 论域为全总个体域) M (x ) : x 是人; Mortal(x) x 是要死的。 A 、 M (x) Mortal (x) ; B M (x) Mortal (x)

离散数学章练习题及答案

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

离散数学复习题及答案

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 ∧→??

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

一、填空 20% (每小题2分) 1.设 }7|{)},5()(|{<∈=<∈=+x E x x B x N x x A 且且(N :自然数集,E + 正偶数) 则 =?B A 。 2.A ,B ,C 表示三个集合,文图中阴影部分的集合表达式为 。 3.设P ,Q 的真值为0,R ,S 的真值为1,则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 4.公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 5.若解释I 的论域D 仅包含一个元素,则 )()(x xP x xP ?→? 在I 下真值为 。 6.设A={1,2,3,4},A 上关系图为 则 R 2 = 。 7.设A={a ,b ,c ,d},其上偏序关系R 的哈斯图为 则 R= 。

8.图的补图为 。 9.设A={a ,b ,c ,d} ,A 上二元运算如下: 那么代数系统的幺元是 ,有逆元的元素为 ,它们的逆元分别为 。 10.下图所示的偏序集中,是格的为 。 二、选择 20% (每小题 2分) 1、下列是真命题的有( ) A . }}{{}{a a ? ; B .}}{,{}}{{ΦΦ∈Φ; C . }},{{ΦΦ∈Φ; D . }}{{}{Φ∈Φ。 2、下列集合中相等的有( ) A .{4,3}Φ?; B .{Φ,3,4}; C .{4,Φ,3,3}; D . {3,4}。 3、设A={1,2,3},则A 上的二元关系有( )个。

A.23 ;B.32 ;C.332?;D.223?。 4、设R,S是集合A上的关系,则下列说法正确的是() R 是自反的; A.若R,S 是自反的,则S R 是反自反的; B.若R,S 是反自反的,则S R 是对称的; C.若R,S 是对称的,则S R 是传递的。 D.若R,S 是传递的,则S 5、设A={1,2,3,4},P(A)(A的幂集)上规定二元系如下 t s p R= t s ∈ =则P(A)/ R=() < > ∧ A ) (| || |} ( , {t , | s A.A ;B.P(A) ;C.{{{1}},{{1,2}},{{1,2,3}},{{1,2,3,4}}};D.{{Φ},{2},{2,3},{{2,3,4}},{A}} 6、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“?”的哈斯图为() 7、下列函数是双射的为() A.f : I→E , f (x) = 2x ;B.f : N→N?N, f (n) = ; C.f : R→I , f (x) = [x] ;D.f :I→N, f (x) = | x | 。 (注:I—整数集,E—偶数集,N—自然数集,R—实数集) 8、图中从v1到v3长度为3 的通路有()条。 A.0;B.1;C.2;D.3。 9、下图中既不是Eular图,也不是Hamilton图的图是()

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

离散数学课后习题答案(左孝凌版) 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设集合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.6设A 、7.设R 8.9.设集合 R 1?R 2 R 1210.11设A ∩13.14.设一阶逻辑公式G=?xP(x)??xQ(x),则G 的前束范式是_______________________________. 16.设谓词的定义域为{a ,b },将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公式是__________________________________________________________________________. 17.设集合A ={1,2,3,4},A 上的二元关系R ={(1,1),(1,2),(2,3)},S ={(1,3),(2,3),(3,2)}。则R ?S =_____________________________________________________, R 2=______________________________________________________. 二、选择题

《离散数学》题库及答案

《离散数学》题库与答案 一、选择或填空 (数理逻辑部分) 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) 给我一杯水吧!

最新离散数学习题答案

离散数学习题答案 习题一及答案:(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、用真值表法求下面公式的主析取范式:

相关文档
最新文档