《离散数学》综合练习-附答案.docxVIP

PAGE2

《离散数学》综合练习

第一章命题与命题公式

一、选择题

1.下列语句中不是命题的是（）

A.3是素数 B.x+y1

C.地球外的星球上也有人 D.雪是黑的

2.设P：我们划船，Q：我们跳舞，命题“我们不能既划船又跳舞”符号化为（）

A.PQ B.┐（P∧Q）

C.┐P∧┐Q D.┐P∧Q

3.令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）

A.P?┐QB.P∨┐Q C.P∧Q D.P∧┐Q

4.设P：天下大雨，Q：他乘公共汽车上班。命题“只有天下大雨，他才乘公共汽车上班”符号化为（）

A.P?Q B.Q?P C.P?Q D.?P?Q

5.下面联结词集中，不属于联结词的极小全功能集的是（）

A.{?，?} B.{↓}

C.{?} D.{?，?，?}

6.下面联结词不满足交换律的是（）

A.? B.? C.? D.?

二、填空题

1.在命题逻辑中，具有唯一的陈述句称为命题。

2.在命题中，有些命题是基本的、原始的，它不能再被分割成为更小的命题，这些命题称为。

3.在重言式中,不论公式中的分量作怎样的指派，其真值永远为。

4.在矛盾式中,不论公式中的分量作怎样的指派，其真值永远为。

第二章命题逻辑的推理理论

一、填空题

1.在命题逻辑中，一个由n个命题变元所构成的公式共有_________个大项。

2.在命题逻辑中，一个由n个命题变元所构成的公式共有_________个小项。

二、计算题

1．设P、Q、R为原子命题，试求命题公式的主析取范式。

2．设P、Q、R为原子命题，试求命题公式的主合取范式。

3.设P、Q、R为原子命题，求命题公式的真值表，并给出其等价的主析取范式。

4.设P、Q、R为原子命题，求命题公式的真值表，并给出其等价的主合取范式。

5.设P、Q、R为原子命题，求命题公式的真值表，并给出其等价的主析取范式。

6.设P、Q、R为原子命题，求命题公式的真值表，并给出其等价的主合取范式。

三、证明题

1.符号化下面的命题并用推理规则证明其结论：

甲、乙、丙、丁四人参加拳击比赛，如果甲获胜，则乙失败；如果丙获胜，则乙也获胜；如果甲不获胜，则丁不失败。所以如果丙获胜，则丁不失败。

2.符号化下面的命题并用推理规则证明其结论：

如果2是偶数，则2不能整除7；

或者5不是质数，或者2整除7；

5是质数。

因此2不是偶数。

3.符号化下面的命题并用推理规则证明其结论：

如果厂方拒绝增加工资，那么罢工就不会停止，除非罢工超过一年并且工厂撤换了厂长；若厂方拒绝增加工资，而罢工刚开始，因此罢工不会停止。

第三章谓词逻辑

一、选择题

1.设个体域A={a,b}，公式在A上消去量词应为（）

A.P(x)∧S(x)

B.P(a)∧P(b)∧S(a)∨S(b)

C.P(a)∧S(b)

D.P(a)∧P(b)∧(S(a)∨S(b))

2.设论域为整数集，下列公式中值为真的是（）

A. B.

C. D.

3.设论域为整数集，下列公式中值为假的是（）

A. B.

C. D.

4.一阶公式??x(P(x)∨?yR(y))→Q(x)中量词??x的辖域是（）

A.(P(x)∨?yR(y)) B.P(x)

C.?x(P(x)∨?yR(y)) D.(P(x)∨?yR(y))→Q(x)

5.谓词公式(?x)P(x,y)∧(?x)(Q(x,z)?(?x)(?y)R(x,y,z))中量词?x的辖域是（）

A.(Q(x,z)?(?x)(?y)R(x,y,z)) B.Q(x,z)，R(x,y,z)

C.Q(x,z)?(?y)R(x,y,z) D.Q(x,z)

6.下面的逻辑等价式中，不正确的是（）

A.A?xB（x）?x（A?B（x））

B.x（A（x）úB（x））?xA（x）úxB（x）

C.$x（A（x）úB（x））?$xA（x）ú$xB（x）

D.?xA（x）?$x（?A（x））

二、填空题

1.谓词逻辑中的量词有两类：全称量词和。