习题十四
1．试判断下列语句是否为命题，并指出哪些是简单命题，哪些是复合命题。
（1）2是有理数。
解：是命题，且为简单命题
（2）计算机能思考吗？
解：非命题
（3）如果我们学好了离散数学，那么，我们就为学习计算机专业课程打下了良好的基础。
解：是命题，且为复合命题。
（4）请勿抽烟！
解：非命题。
（5）X+5＞0
解：非命题。
（6）π的小数展开式中，符号串1234出现奇数次。
解：是命题，且为简单命题。
（7）这幅画真好看啊！
解：非命题。
（8）2050年元旦的那天天气晴朗。
解：是命题，且为简单命题。
（9）李明与张华是同学
解：是命题，且为简单命题。
（10）2既是偶数又是质数。
解：是命题，且为复合命题。
2．讨论上题中命题的真值，并将其中的复合命题符号化。
解：（1）F （3）T （6）不知真假（8）不知真假（9）真或假，视情况而定（10）T
（3）P：我们学好了离散数学。Q：我们为学习计算机专业课程打下了良好的基础。
P→Q
（10）P：2是质数；Q：2是偶数；P∧Q
3．将下列命题符号化
（1）小王很聪明，但不用功
解：P：小王很聪明；Q：小王不用功；P∧Q
（2）如果天下大雨，我就乘公共汽车上班。
解：P：天下大雨；Q：我乘公共汽车上班；P→Q
（3）只有天下大雨，我才乘公共汽车上班
解：P：天下大雨；Q：我乘公共汽车上班；Q→P
（4）不是鱼死，就是网破
解：P：鱼死；Q：网破；P∨Q
（5）李平是否唱歌，将看王丽是否伴奏而定。 解：P ：李平唱歌 Q ：王丽伴奏 P ? Q
4．求下列命题公式的真值表：
（1）P →(Q ∨R)
()
1
1
1
10000110110000111110111001111111101QVR P QVR R Q P →
(2)P ∧（QV ?R ）
解：()
1
1
011010111001111011000100
010110000101110111777R Q P R QV R R Q P ∨∧
（3）())(Q Q P P →→∧
解：()())((1
1
1
1010011111
10001
Q
Q P P Q P P Q P Q P →→∧→∧→
（4）()Q Q P ∧→7
解：()()0
1
1
0010000111
01001
Q Q P Q P Q P Q P ∧→?→?→
（5）()()Q P Q P ∧?∨
1
1
100001111100101)()(Q P Q P Q P Q P Q P ∧?∨∧∨
5．用真值表方法验证下列基本等值式 （1）分配律
解：1）)()()(R P Q P R Q P ∨∧∨?∧∨
1
1
00000000111100111111000111111110010001001111111111110101)()()(R P Q P R P Q P R Q P R Q R Q P ∨∧∨∨∨∧∨∧
∴)()(R P Q P R Q P ∨∧∨?∧∨ （2）De Morgen 律
ⅰ) ()Q P Q P ?∨?∧77 ⅱ) ()Q P Q P 777∧?∨
ⅰ) ()111100010110101101001
0000111
77777Q P Q P Q P Q P Q P ∨∧∧
ⅱ) ()1
1
1
1
00101100100101
0000111
77777Q
P Q P Q P Q P Q P ∧∨∨ (3) 吸收律
ⅰ)()P Q P P ?∨∧ ⅱ) ()P Q P P ?∧∨
ⅰ) ()0
1
1
00001111
1101
Q P P Q P Q P ∨∧∨
ⅱ) ()0
1
00001111
1001
Q P P Q P Q P ∧∨∧
6．用等值演算的方法证明下列等值式： （1）()()P Q P Q P ?∧∨∧7
解：()()()P Q Q P Q P Q P ?∨∧?∧∨∧77
（2）()()()()R Q P R P Q P ∧→?→∧→( 解：
()()))(()(7)7()7()()(R Q P R Q P R P Q P R P Q P ∧→?∧∨?∨∧∨?→∧→
（3）())(7)()(7Q P Q P Q P ∧∧∨??
解：()())7()7(7)()(7)(7P Q Q P P Q Q P Q P ∨∧∨?→∧→??
()()()()?∧∨∧?∨∨∨?P Q Q P P Q Q P 77)7(7)7(7
()()()∧∨∧∨?∨∧∧∨∧)7()(7)7()7(Q Q Q P P Q P Q Q P
()()()()Q P Q P P Q Q P P Q P P ∧∧∨?∨∧∨?∨∧∨7)77()77()7(
7．设A 、B 、C 为任意命题公式，试判断以下的说法是否正确，并简单说明之。 （1）若B A C B C A ?∨?∨则,。 解：不正确。 如A 为真，B 为假，C 为真时， C B C A ∨?∨成立，但B A ?不成立。 （2）若B A C B C A ?∧?∧则,。
解：不正确，如A 为真，B 为假，C 为假时，
C B C A ∧?∧成立，但
B A ?不成立。
（3）若B A B A ??则,77。
解：成立。7A ，7B 同真时，A 、B 同假，7A 、7B 假时，A ，B 同真。
8．下表是含两个命题变元的所有命题公式F 1~F 16的真值表，试写出每个命题公式Fi 的最多两个命题变元的具体形式，i=1,2……16。
1
1
1
10
1
1
1
1
1
1
11001100110011000111110000111100001011111111000000000016151413121110987654321F F F F F F F F F F F F F F F F Q P 解：0:1F Q P F ∧:2
Q P F 7:3∧
P F :4
Q P F ∧7:5
Q F :6
()Q P F ?7:1
Q P F ∨:8
Q
P F ?∧?:9
Q P F ?:10
Q F 7:11
Q P F 7:12∨
P F 7:13
Q P F →:14
()Q P F ∧7:15
1:16F
11．求下列命题公式的析取范式和合取范式： （1）
()R Q P →∧7
解：原式?()()R Q P R Q P R Q P ∨?∨?∨∨?∨∧777（析、合取范式） （2）
()R Q P →→
原式
()()()R Q P R Q P R Q P ∨∧?∨∨?→∨?7777
∴析取范式为：()R Q P ∨∧7
又()()()R Q R P R Q P ∨∧∨?∨∧77 ∴合取范式为：
()()R Q R P ∨∧∨7
(3)()()P Q Q P ∨→→77 解：原式()()P Q Q P ∨→∨?7
()()()()()P
Q Q Q P P Q Q P P Q Q P ∨?∨∧?∨∨∧?∨∨∨?77)77(77777∴析、合取范式均为:P Q ∨7
(4)()R P Q P ∧∧→7
解：原式()()R Q P R P Q P R P Q P ∧?∧?∧∧?∧?∧∧∨?77 ∴析、合取范式均为：()R Q P ∧?∧
12．求下列命题的主析取范式和主合取范式 （1）()()Q P Q P 777?→∨
解：原式()()()→∨?→∧→→∨?Q P P Q Q P Q P 77)7()7(77
()
)()77(P Q Q P ∨∧∨()()()())()77(7)77()77(7)()77(777P Q Q P Q P Q P P Q Q P Q P ∨∨∨∧∨∨∨?∨∧∨∨∨?()P Q P Q Q P ∨?∨∨∧∧?)(1
∴主合取式为P Q ∨=M 0
∴主析取式为m 1∨m 2∨m 3=)()()(Q P Q P Q P ∧∨?∧∨∧?? （2）()())7(7R Q Q P P →∨→∨
解：原式?()R Q P R Q P P R Q Q P P ∨∨?∨∨∨?∨∨∨∨)()))(((
∴主合取式为：R Q P ∨∨=M 0 ∴主析取式为：7654321
m m m m m m m
∨∨∨∨∨∨
即
：
()()()()∨∧∧∨∧∧∨∧∧∨∧∧R Q P R Q P R Q P R Q P 7777777
()()()R Q P R Q P R Q P ∧∧∨∧∧∨∧∧77
（3）()()Q P R P ?∧→7 解：原式
()()()()()()Q P Q P R P P Q Q P R P ?∨∧∨∧∨?→∧→∧→?77 ()()
)()(())()7()()(R R Q P R R Q P Q Q R P ?∧∨?∨∧?∧∨∨∧?∧∨∨?
∨
∨?∨∧∨∨∧∨∨∧∨∨∧∨∨?)7()7()77()7()(R Q P R Q P R Q P Q R P Q R P )7()7()7()()(R Q P R Q P R Q P R Q P R Q P ∨∨∧∨∨?∧∨∨∧∨∨?∨?∨
)()7(R Q P R Q P ∨?∨∧∨?∨∧
∴主合取范式为：
)()7()7()7()(R Q P R Q P R Q P R Q P R Q P ?∨?∨∧∨∨∧∨∨?∧∨∨∧∨∨
=M 0 ∧ M 2∧ M 3∧M 4 ∧M 5 。 ∴
主
析
取
范
式
为
：
761m m m ∨∨=)()7()7(Q R P R Q P R Q P ∧∧∨∧∧∨∧?∧
13．通过求主析取范式，证明：Q P Q P P ∨?∧∨)7( 证：
)7()()7()7())7(()7(Q P Q P Q P Q P Q Q P Q P P ∧∨∧∨∧?∧∨∨∧?∧∨ ∨∧∨∧?∨∧∨∨∧?∨)7()())7(())7(()(Q P Q P P P Q Q Q P Q P )7()7()()()7(Q P Q P Q P Q P P Q ∧∨∧∨∧?∧∨∧
∴两式的主析取范式相同，即
)7(Q P P ∧∨为真时，Q P ∨亦为真，此时)()7(Q P Q P P ∨→∧∨成立
而)7(Q P P ∧∨为假时，不论Q P ∨为何值)()7(Q P Q P P ∨→∧∨成立 ∴)()7(Q P Q P P ∨→∧∨为重言式 故)()7(Q P Q P P ∨?∧∨
14．构造下面推理的证明： （1）前提：().7,7,
77R R Q Q P ∨∧
证论：7P 证明：（1）7R 前提引入
（2）7Q ∨R 前提此入
（3）7Q 析取三段论（1）、（2） （4）7（P ∧7Q ） 前提引入
（5）7P ∨Q 等值置换（4） （6）7P 析取三段论（3）、（5） （2） 前提：P →（Q →S ），Q ，P ∨7R
证论：R →S 证明：（1）R 附加前提
（2）P ∨7R 前提
（3）P 析取三段式（1）、（2） （4）P →（Q →S ） 前提
（5）7P ∨（7Q ∨S ）等价置换（4） （6）7Q ∨S 析取三段式（3）、（5）
（7）Q 前提
（8）S 析取三段式（6）、（7） （3） 前提P →Q ， 结论：P →（P ∧Q ） 证明：（1）P 附加前提
（2）P →Q 前提
（3）Q 假言推理（1）、（2）
（4）Q P ∧ 合取 （4）前提：S Q R P Q P →→∨,,
结论：R S ∨
证明：（1）Q P ∨ 前提 （2）R P → 前提
（3）S Q → 前提
（4）R S ∨ 构造二难性（1）、（2）、（3） （5）前提：()Q P R S Q P ,7,
∨→→
结论：S R →
证 明：（1）R 附加前提 （2）P R ∨7 前提
（3）P 析取三段式（1）、（2） （4）()S Q P →→ 前提
（5）()S Q P ∨∨77 等值置换（4） （6）S Q ∨7 析取三段式（3）、（5） （7）Q 前提
（8）S 析取三段式（6）、（7） （6）前提：Q P 77∧ 结论：()Q P ∧7
证明：（1）Q P 77∧ 前提 （2）P 7 简化（1） （3）Q P 77∨ 附加（2） （4）()Q P ∧7 等值置换（3）
15、某公安人员审查一件盗窃案，已知的事实如下： （1）甲或乙盗窃了电视机；
（2）若甲盗窃了电视机，则作案的时间不能发生在午夜前； （3）若乙的口供正确，则午夜时屋里的灯光未灭； （4）若乙的口供不正确，则作案时间发生在午夜之前； （5）午夜时屋里的灯光灭了。
试利用逻辑推理来确定谁盗窃了电视机。
解：P ：甲盗窃了电视机； Q ：乙盗窃了电视机； R ：作案时间发生在午夜前； S ：乙的口供正确；
T: 午夜时屋里的灯光灭了。
前提：T R S T S R P Q P ,,,,→??→?→∨
（1）T 前提 （2）T S ?→ 前提
（3）7S 拒取式（1）、（2） （4）R S →7 前提
（5）R 假言推理（3）、（4） （6）R P 7→ 前提
（7）7P 拒取式（5）、（6） （8）Q P ∨ 前提 （9）Q 析取三段式 结论：乙盗窃了电视机。 16、判断下面的推理是否正确：
（1）如果a 、b 两数之积为0，则a 、b 中至少有一个数为0。a 、b 两数之积不为 P Q 7P
零，所以，a 、b 均不为零
7Q 解：不正确 。因推理形式为：Q P Q P 77,
?→
（2）若a 、b 两数之积是负的，则a 、b 中恰有一个数为负数。 a 、b 两数之积是 P Q 7Q
非负的，所以，a 、b 中不是恰有一个为负数。
7P 解：正确。因推理形式为：P Q Q P 77,
?→
（3）如果今天是星期一，则明天是星期三。今天是星期一，所以，明天是星期三。
P Q 解：正确。因推理形式为：Q P Q P ?→,
（4）如果西班牙是一个国家, 则北京是一个城市。北京是一个城市，所以，西班牙是
P Q
一个国家。
解：错误。因推理形式为：P Q Q P ?→,
17、给出下列定理的证明序列 ① ()()B A B A A →→→→)(
解：（1）()()()()()()()(B A A B A B A A B A A →→→→→→→→→→ （L 1）
（2） ()
()()()()()()(B A A B A B A A B A A →→→→→→→→→→
()()()(()))()(())()()(B A A B A A B A B A A B A A →→→→→→→→→→→→→→（
（L 2）
(3) ()()()(())()()()()(B A A B A A B A B A A B A A →→→→→→→→→→→→→
(1), (2) , MP
(4) ()()()()()()()(B A A B A B A A B A A →→→→→→→→→→
()(()B A B A A B A A →→→→→→→→)()( (L 2)
(5) ()()B A B A A →→→→)( (3)、（4）, MP
② ()())()(C A C B B A →→→→→
解：（1）()()()(()))()()(B A C A C B B A B A →→→→→→→→→ L 1 （2）()()()(())()()()()(B A B A C A C B B A B A →→→→→→→→→→→
(()()())(B A B A C A C B B A →→→→→→→→→→))()()(
（3）()()()()))()())((((B A B A C A C B B A B A →→→→→→→→→→→
MP （1）、（2）
（4）()()()()))()())((((B A B A C A C B B A B A →→→→→→→→→→→
()()()))((C A C B B A →→→→→→ L 2
18、利用演绎定理证明： 1、┝())B A A B ?→?→→（ 解：先证：()A B →┝ ()B A 77→
（1）()A B → 假设
（2）()()B A A B 77→→→ L 3
（3）B A 77→ （1）,（2）, MP 从而由演绎定理得：┝()()B A A B 77→→→ 2、┝())(A A B A →→→ 解：先证：()A B A →→┝A
（1）())()))()))((((A B A A A B A A B A →→→→→→→→→
（2）()())()))(((())(((→→→→→→→→→→→→A B A A B A A B A A B A
()))(())()))((A B A A B A A B A →→→→→→→→→
（3）()())()))((((())(A B A A B A A B A A B A →→→→→→→→→→→ （1）、（2）, MP （4）()())()))((((())(→→→→→→→→→→→→A B A A B A A B A A B A
()))((A A B A →→→ L 2
（5）()B B A →→
（6）())(A A B A →→→ （3）、（4）, MP
（7）A
从而由演绎定理得: ┝())(A A B A →→→ 3、┝()()A B B A →→→7 解：先证 ()B A →7┝ ()A B →
（1）()B A →7 假设 （2）()())(B A A B A →→→→777 L 1
（3）()B A A →→77 （1）、（2），MP （4）(()())(A B A B A A →→→→→77 L 3
（5）()A B A →→ （3）、（4），MP （6）()B A B →→ L 1 （7）A B → （5）、（6），HS
离散数学试题（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 ＝{，，，，，，，，
《离散数学》考试题库及答案 一、 填空 10% （每小题 2分） 1、 若P ，Q 为二命题，Q P ?真值为1，当且仅当 。 2、 对公式),()),(),((y x xR z x zQ y x yP ?∨?∧?中自由变元进行代入的 公 式 为 。 3、 )) (()(x xG x xF ??∧?的 前 束 范 式为 。 4、 设x 是谓词合式公式A 的一个客体变元，A 的论域为D ，A （x ）关于y 的自由的， 则 被称为全称量词消去规则，记为US 。 5、 与非门的逻辑网络为 。 二、 选择 30% （每小题 3分） 1、 下列各符号串，不是合式公式的有（ ）。 A 、R Q P ?∧∧)(； B 、)()((S R Q P ∧→→； C 、R Q P ∧∨∨； D 、S R Q P ∨∧∨?))((。 2、 下列语句是命题的有（ ）。 A 、2是素数； B 、x+5 > 6； C 、地球外的星球上也有人； D 、这朵花多好看呀！。 3、 下列公式是重言式的有（ ）。 A 、)(Q P ??； B 、Q Q P →∧)(； C 、P P Q ∧→?)(； D 、P Q P ?→)( 4、 下列问题成立的有（ ）。 A 、 若C B C A ∨?∨，则B A ?； B 、若C B C A ∧?∧，则B A ?； C 、若B A ???，则B A ?； D 、若B A ?，则B A ???。 5、 命题逻辑演绎的CP 规则为（ ）。 A 、 在推演过程中可随便使用前提； B 、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果； C 、如果要演绎出的公式为C B →形式，那么将B 作为前提，设法演绎出C ；
试卷二试题与参考答案 一、填空 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、设代数系统
二、选择 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、下面偏序集( )能构成格。
第一章习题 1.1判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题。（1）2是无理数。 （2）5能被2整除。 （3）现在开会吗？ （4）x+5>0 （5）这朵花真是好看！ （6）2是素数当且仅当三角形有三条边。 （7）雪是黑色的当且仅当太阳是从东方升起。 （8）2000年10月1日天气晴好。 （9）太阳系以外的星球上有生物。 （10）小李在宿舍里。 （11）全体起立。 （12）4是2的倍数或是3的倍数。 （13）4是偶数且是奇数。 （14）李明和王华是同学。 （15）蓝色和黄色可以调配成绿色。 1..2 将上题中的命题符号化，并讨论他们的真值。 1.3判断下列各命题的真值。 （1）若2+2=4，则3+3=6； （2）若2+2=4，则3+3≠6； （3）若2+2≠=4，则3+3=6； （4）若2+2≠=4，则3+3≠=6； （5）2+2=4，当且仅当3+3=6； （6）2+2=4，当且仅当3+3≠6； （7）2+2≠4，当且仅当3+3=6； （8）2+2≠4，当且仅当3+3≠6； 1.4将下列命题符号化，并讨论其真值。 （1）如果今天是1号，则明天是2号； （2）如果今天是1号，则明天是3号； 1.5将下列命题符号化。 （1）2是偶数不是素数； （2）小王不但聪明而且用功； （3）虽然天气冷。老王还是来了； （4）他一边吃饭，一边看电视； （5）如果天下大雨，他就乘公交汽车来； （6）只有天下大雨，他才乘公交汽车来； （7）除非天下大雨，否则他不乘公交汽车来； （8）不经一事，不长一智； 1.5设p,q的真值为0 ，r,s的真值为1，求下列命题公式的真值。（1）p∨(q∧r);
离散数学习题三 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的补元( ).
第一章 定律证明: (1) A?B=B?A (交换律) 证?x x∈A?B ? x∈A 或x∈B, 自然有x∈B 或x∈A ? x∈B?A 得证A?B?B?A. 同理可证B?A?A?B. (2) A?(B?C)=(A?B)?(A?C) (分配律) 证?x x∈A?(B?C) ? x∈A或(x∈B且x∈C ) ?(x∈A或x∈B)且(x∈A或x∈C) ?x∈(A?B)?(A?C) 得证A?(B?C)?(A?B)?(A?C). 类似可证(A?B)?(A?C)?A?(B?C). (3) A?E=E (零律) 证根据并的定义, 有E?A?E. 根据全集的定义, 又有A? E?E. (4) A?E=A (同一律) 证根据交的定义, 有A?E?A. 又, ?x x∈A, 根据全集E的定义, x∈E, 从而x∈A且x∈E, ?x∈A?E 得证A?A?E. 例4 证明A?(A?B)=A（吸收律） 证利用例3证明的4条等式证明 A?(A?B) = (A?E)?(A?B) (同一律) = A?(E?B) (分配律) = A?(B?E) (交换律) = A?E (零律) = A (同一律) 例5 证明(A-B)-C=(A-C)-(B-C) 证(A-C)-(B-C) = (A ?~C) ? ~(B ? ~C) (补交转换律) = (A ?~C) ? (~B ? ~~C) (德摩根律) = (A ?~C) ? (~B ? C) (双重否定律) = (A ?~C? ~B)?(A ?~C? C) (分配律) = (A ?~C? ~B)?(A ??) (矛盾律) = A ?~C? ~B (零律,同一律) = (A ?~B) ? ~C (交换律,结合律)
一．判断题（共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．自然数集关于数的加法和乘法
列为。 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?{
离散数学试题一（A 卷答案） 一、（10分）证明(A ∨B )(P ∨Q )，P ，(B A )∨P A 。 二、（10分）甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛，下列4 种判断都是正确的： (1)甲和乙只有一人参加； (2)丙参加，丁必参加； (3)乙或丁至多参加一人； (4)丁不参加，甲也不会参加。 请推出哪两个人参加了围棋比赛。 三、（10分）指出下列推理中，在哪些步骤上有错误为什么给出正确的推理形式。 (1)x (P (x ) Q (x )) P (2)P (y )Q (y ) T (1)，US (3)xP (x ) P (4)P (y ) T (3)，ES (5)Q (y ) T (2)(4)，I (6)xQ (x ) T (5)，EG 四、（10分）设A ＝{a ，b ，c}，试给出A 上的一个二元关系R ，使其同时不满足自反性、反自反性、 五、（15分）设函数g ：A →B ，f ：B →C ， (1)若f o g 是满射，则f 是满射。 (2)若f o g 是单射，则g 是单射。 六、（15分）设R 是集合A 上的一个具有传递和自反性质的关系，T 是A 上的关系，使得T R 且R ，证明T 是一个等价关系。 七、（15分）若
1. 写出命题公式 ﹁（P →（P ∨ Q)）的真值表。 答案： 2.证明 答案: 3. 证明以下蕴涵关系成立： 答案： ４. 写出下列式子的主析取范式: 答案： )()(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, ｐ→?r ， s →t, ?s →ｒ， ?t ? ｑ 答案: ①s →ｔ 前提 ②t 前提 ③ｓ ①②拒取式I12 ④s →ｒ 前提 ⑤ｒ ③④假言推理I １１ ⑥p →r 前提 ⑦p ⑤⑥拒取式I12 ⑧p ∨q 前提 ⑨q ⑦⑧析取三段论Ｉ10 6. 用反证法证明:ｐ→(?(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 ?∧∧?∨
７. 请将下列命题符号化： 所有鱼都生活在水中。 答案： 令 F （ x )：ｘ是鱼 Ｗ（ x )：x 生活在水中 ))((W(x)F(x)x →? 8． 请将下列命题符号化: 存在着不是有理数的实数。 答案: 令 Q ( ｘ ):x 是有理数 R （ x )：x 是实数 Q(x))x)(R(x)(?∧? 9. 请将下列命题符号化： 尽管有人聪明，但并非一切人都聪明。 答案： 令Ｍ(ｘ)：x 是人 Ｃ（x):x 是聪明的 则上述命题符号化为 １０. 请将下列命题符号化： 对于所有的正实数x,y ，都有x+y ≥ｘ。 答案: 令P(x):x 是正实数 Ｓ（ｘ,y): x+y ≥x １１． 请将下列命题符号化： 每个人都要参加一些课外活动。 答案: 令P(x ）:x 是人 Q （ｙ）: y 是课外活动 S(ｘ,ｙ）:ｘ参加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. 写出命题公式 ﹁（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 ∧→??
一、填空 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) =
欢迎共阅 一、填空题 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,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^(n^2)________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是____A1 = {(a,1), (b,1)}, A2 = {(a,2), (b,2)}, A3 = {(a,1), (b,2)}, A4 = {(a,2), (b,1)},_________ _____________, 其中双射的是______A3, A4__________. 4. 已知命题公式G＝?(P→Q)∧R，则G的主析取式是____P∧?Q∧R (m5)____. 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)}, R1 = {(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)| = ______2^(m*n)___________. 11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = _____{x | -1 ≤x < 0, x ∈R}_______ , 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的前束式是_____?y?x(P(y)→Q(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 R xP∧ ?中，变元x是( B ) ) x ( , (y A. 自由变元 B. 既是自由变元也是约束变元 C. 约束变元 D. 既不是自由变元也不是约束变元 ?命题公式P(Q Q)的类型是( A )。 (A) 永真式(B) 矛盾式 (C) 非永真式的可满足式(D) 析取范式 ?设B不含变元x，) x→ ?等值于( A ) A (B ) ( x
A. B x xA →?)( B. ))((B x A x ∨? C. B x xA →?)( D. B x A 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 )。 (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) ? 设个体域是整数集合，P 代表x y ((x y )(x y x ))，下面描述正确的是 （ C ）。 (A) P 是真命题 (B) P 是假命题 (C) P 是一阶逻辑公式，但不是命题 (D) P 不是一阶逻辑公式 ? 对一阶逻辑公式((,)(,))(,)x y P x y Q y z xP x y ??∧∧?的说法正确的是( B ). (A) x 是约束的，y 是约束的，z 是自由的； (B) x 是约束的，y 既是约束的又是自由的，z 是自由的； (C) x 是约束的，y 既是约束的又是自由的，z 是约束的；
离散数学习题答案 习题一及答案：（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、用真值表法求下面公式的主析取范式：
一、 填空 1. 任何(n,m) 图G = (V,E) , 边数与顶点度数的关系是 。 2. 当n 为 时,非平凡无向完全图K n 是欧拉图。 3. 已知一棵无向树T 有三个3顶点,一个2度顶点,其余的都是1度顶点, 则T 中有 个1度顶点。 4．设}3,34,2,2,1{, } 4,3,2,1{><><><==，R X ，则 r (R) = ； s (R) = ； t (R) = 。 5．设R 为集合A 上的等价关系，对A a ∈?，集合R a ][= ，称为元素a 形成的R 等价类，Φ≠R a ][，因为 。 6．任意两个不同小项的合取为 ，全体小项的析取式为 。 7．设为偶数 x x Q :)(，为素数 x x P :)(，则下列命题：（1）存在唯一偶素数；（2）至多有一个偶素数；分别形式化： （1） ； （2） 。 8．含5个结点，4条边的无向连通图（不同构）有 个， 它们是 。 9. 设T 为根树，若 ，则称T 为m 元树； 若 则称T 为完全m 叉树。 二、 选择 1、下面四组数能构成无向图的度数列的有( )。 A 、 2,3,4,5,6,7； B 、 1,2,2,3,4； C 、 2,1,1,1,2； D 、 3,3,5,6,0。 2、图 的邻接矩阵为( )。 A 、??? ???? ??00 1 101110100001 ；B 、??? ???? ??111111111111 1111；C 、??? ???? ??00 1 10111100 0010 ；D 、??????? ??00 1 10111010 0010 。 3、下列几个图是简单图的有( )。 A. G 1=(V 1,E 1), 其中 V 1={a,b,c,d,e},E 1={ab,be,eb,ae,de}； B. G 2=(V 2,E 2)其中V 2=V 1,E 2={