《离散数学》习题集.doc

第PAGE1页共NUMPAGES53页

《离散数学》习题集

目录TOC\o1-3\h\z\u

第一章数理逻辑 2

第二章集合 14

第三章二元关系 22

第三章二元关系 36

第五章无限集合 50

第一章数理逻辑

1.1命题

1.设是命题“天下雪”；是命题“我去镇上”；是命题“我有时间”。

(a)用逻辑符号写出以下命题：

(i)如天不下雨和我有时间，那么我去镇上；

(ii)我去镇上，仅当我有时间；

(iii)天不下雪；

(iv)天正在下雪，我也没去镇上。

(b)对下述命题用中文写出语句：

(i)；

(ii)；

(iii)；

(iv)。

2.否定下列命题：

(a)上海处处清洁；

(b)每一个自然数都是偶数。

3.说出下述每一命题的逆命题和逆反命题：

(a)如果天下雨，我将不去；

(b)仅当你去我将逗留；

(c)如果是大于2的正整数，则方程无正整数解（费尔马最后定理）；

(d)如果我不获得更多帮助，我不能完成这个任务。

4.给和指派真值，给和真值，求下列命题的真值：

(a)；

(b)；

(c)。

5.构成下列公式的真值表：

(a)；

(b)。

6.证明下列公式的真值与它们的变元值无关：

(a)；

(b)。

7.对和的所有值，证明与有同样的真值。证明总是真的。

8.设是具有两个运算对象的逻辑运算符，如果与逻辑等价，那么运算符是可以结合的，

(a)确定逻辑运算符哪些是可结合的；

(b)用真值表证明你的断言。

9.指出一下各式哪些不是命题公式，如果是命题公式，请说明理由：

(a)；

(b)。

1.2重言式

10．指出下列那些命题是重言式、偶然式和矛盾式：

(a)；

(b)；

(c)；

(d)；

(e)；

(f)；

(g)；

(h)；

(i)。

11.对下述每一表达式，找出仅用和的等价表达式，并尽可能简单：

(a)；

(b)；

(c)。

对下述每一表达式，找出仅用和的等价表达式，并尽可能简单：

(a)；

(b)；

(c)。

12.用化简联结词的左边成右边的方法，证明以下是重言式：

(a)；

(b)。

13.证明下列等价关系：

(a)；

(b)；

(c)；

(d)。

14.求出下列公式的最简等价式：

(a)；

(b)；

(c)。

15.证明下列蕴含式：

(a)；

(b)；

(c)；

(d)；

(e)。

16.(a)与非运算符（又叫悉菲（Sheffer）记号）用下述真值表定义，可以看出，试证明

（i）；

（ii）；；

（iii）。

(b)或非运算符（又叫皮尔斯（Peirce）箭头）用下述真值表定义，它与逻辑等价。对下述每一式，找出仅用表示的等价式。

（i）；（ii）；（iii）。

00

01

10

11

1

1

1

0

00

01

10

11

1

0

0

0

17.(a)用真值表证明和互相可分配；

(b)、和对自己可分配吗？

18.求出下列各式的代入实例：

(a)：用代，用代；

(b)；用代，用代。

1.3范式

19.对任一指派，时，为什么和不能同时为真？为什么和不能同时为假？

20.求下列各式的主合取范式：

(a)；

(b)；

(c)。

21.求下列各式的主析取范式和主合取范式：

(a)；

(b)；

(c)；

(d)。

1.4联结词的扩充与归约

22.仅用表达；再用表达它。

23.仅用表达；仅用表达。

24.试证明等价式：和。

25.写出一个仅含且等价于的公式来。

26.证明,,都不是全功能联结词集合。

27.证明，是全功能联结词集合。

28.证明联结词可交换，可结合，且在上可分配。

29.证明联结词可交换，可结合，且在上可分配。

1.5推理规则和证明方法

30.用真值表证明下列推理规则的重言式形式都是重言式：

(a)拒取式；

(b)析取三段论；

(c)构造性二难定理；

(d)破坏性二难推理。

31.是前提，是结论，用真值表判断下列结论是否有效：

(a)，，；

(b)，，，；

(c)，，；

(d)，，。

32.给出一个指派，证明以下结论是非有效的：

(a)前提是，结论是。

(b)前提是，结论是。

33.对下列每一个前提集合，列出能得到的恰当结论和应用于这一情况的推理规则。

(a)如果我跑，我喘气。我没有喘气。

(b)天气是晴朗或阴暗，天气晴朗使我愉快而天气阴暗使我烦恼。

(c)如果考试及格了，那么我很高