- 767.90 KB
- 2022-04-29 13:52:02 发布
- 1、本文档共5页,可阅读全部内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 文档侵权举报电话:19940600175。
'第一章命题逻辑习题1.11.解⑴不是陈述句,所以不是命题。⑵x取值不确定,所以不是命题。⑶问句,不是陈述句,所以不是命题。⑷惊叹句,不是陈述句,所以不是命题。⑸是命题,真值由具体情况确定。⑹是命题,真值由具体情况确定。⑺是真命题。⑻是悖论,所以不是命题。⑼是假命题。2.解⑴是复合命题。设p:他们明天去百货公司;q:他们后天去百货公司。命题符号化为p∨q。⑵是疑问句,所以不是命题。⑶是悖论,所以不是命题。⑷是原子命题。⑸是复合命题。设p:王海在学习;q:李春在学习。命题符号化为p∧q。→⑹是复合命题。设p:你努力学习;q:你一定能取得优异成绩。pq。⑺不是命题。⑻不是命题⑼。是复合命题。设p:王海是女孩子。命题符号化为:¬p。3.解⑴如果李春迟到了,那么他错过考试。⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。⑶李春错过考试当且仅当他迟到了。⑷如果李春迟到了并且错过了考试,那么他没有通过考试。4.解⑴¬p→(q∨r)。⑵p→q。⑶q→p。⑷q→p。习题1.21.解⑴是1层公式。⑵不是公式。⑶一层:p∨q,¬p二层:¬p↔q所以,(p∨q)→(¬p↔q)是3层公式。⑷不是公式。⑸(p→q)∧¬(¬q↔(q→¬r))是5层公式,这是因为一层:p→q,¬q,¬r二层:q→¬r三层:¬q↔(q→¬r)¬¬↔→¬四层:(q(qr))∨∧2.解⑴A=(pq)q是2层公式。真值表如表2-1所示:表2-1pqp∨qA0000011110101111⑵A=q∧(p→q)→p是3层公式。真值表如表2-2所示:1
表2-2pqp→qq∧(p→q)A00101011101000111111⑶A=(p∧q∧r)→(p∨q)是3层公式。真值表如表2-3所示:表2-3pqrp∧qp∧q∧rp∨qA00000010010001010001101100111000011101001111010111111111⑷A=(p∨q)∧(¬p∨r)∧(q∨r)是4层公式。真值表如表2-4所示:3.解⑴A=(¬p∧¬q)∨p真值表如表2-5所示:表2-5pq¬p¬q¬p∧¬qA001111011000100101110001所以其成真赋值为:00,10,11;其成假赋值为01。⑵A=r→(p∧q)真值表如表2-6所示:表2-6pqrp∧qA00001001000100101100100011010011011111112
所以其成真赋值为:000,010,100,110,111;其成假赋值为001,011,101。⑶A=(p→q)↔(p∨¬q)真值表如表2-7所示,所以其成真赋值为:00,11;成假赋值为:01,10,。4.解⑴设A=p∨¬(p∧q),其真值表如表2-8所示:表2-8pqp∧q¬(p∧q)A00011010111001111101故A=p∨¬(p∧q)为重言式。∧∧¬∨⑵设A=(pq)(pq),其真值表如表2-9所示:表2-9pqp∧qp∨q¬(p∨q)A000010010100100100111100故A=(p∧q)∧¬(p∨q)为矛盾式。⑶设A=(p→q)↔(¬p↔q),其真值表如表2-10所示:表2-10pq¬p¬p↔qp→qA001010011111100100110010→↔¬↔故A=(pq)(pq)为可满足式。⑷设A=((p→q)∧(q→r))→(p→r),其真值表如表2-11所示:表2-11pqrp→qq→r(p→q)∧(q→r)p→rA000111110011111101010011011111111000100110101011110100013
11111111故A=((p→q)∧(q→r))→(p→r)为重言式。习题1.31.解⑴真值表如表2-12所示:表2-12pq¬p¬q¬p∧¬qp∨q¬(p∨q)0011101011001010010101100010由真值表可以看出¬(p∨q)和¬p∧¬q所在的列相应填入值相同,故等值。⑵真值表如表2-13所示:表2-13pq¬qp∧qp∧¬q(p∧q)∨(p∧¬q)001000010000101011110101由真值表可以看出p和(p∧q)∨(p∧¬q)所在的列相应填入值相同,故等值。⑶真值表如表2-14所示:表2-14pq¬p¬qp→qp→¬q(p→q)∧(p→¬q)0011111011011110010101100100¬→∧→¬由真值表可以看出p和(pq)(pq)所在的列相应填入值相同,故等值。⑷真值表如表2-15所示:pqrq→rp→(q→r)p∧q(p∧q)→r00011010011101010010101111011001101101110111000104
1111111表2-15由真值表可以看出p→(q→r)和(p∧q)→r所在的列相应填入值相同,故等值。2.证明⑴(p∧q)∨¬(¬p∨q)⇔(p∧q)∨(p∧¬q)⇔p∧(q∨¬q)⇔p。→∧→⇔¬∨∧¬∨⑵(pq)(qp)(pq)(qp)⇔¬∧¬∨¬∧∨∧¬∨∧(pq)(pp)(qq)(qp)⇔(p∧q)∨(¬p∧¬q)。⑶由⑵可得,¬(p↔q)⇔¬((p∧q)∨(¬p∧¬q))⇔(¬p∨¬q)∧(p∨q)⇔(q→¬p)∧(¬p→q)⇔¬p↔q。→→⇔¬∨¬∨⑷p(qr)p(qr)⇔¬∨¬∨⇔→→q(pr)q(pr)。⑸p→(q∨r)⇔¬p∨(q∨r)⇔(¬p∨q)∨r⇔¬(p∧¬q)∨r⇔(p∧¬q)→r⑹(p→q)∧(r→q)⇔(¬p∨q)∧(¬r∨q)⇔(¬p∧¬r)∨q⇔(p∨r)→q3.解⑴¬(p→¬q)⇔¬(¬p∨¬q)⇔p∧q⑵¬(¬p→¬q)⇔¬(p∨¬q)⇔¬p∧q⑶¬(p↔¬q)⇔¬((p→¬q)∧(¬q→p))⇔¬(p→¬q)∨¬(¬q→p)⇔(p∧q)∨(¬p∧¬q)⇔p↔q。⑷同理可证¬(¬p↔q)⇔p↔q。4.解⑴与习题2.2第4(4)相同。⑵真值表如表2-16所示:表2-16pq¬p¬qp→q¬q→¬pA0011111011011110010011100111所以公式是重言式。⑶真值表如表2-17所示,所以公式是矛盾式。表2-17pq¬p¬q¬p∨qp∧¬qA0011100011010010010105
1100100⑷真值表如表2-18所示,所以公式是重言式。表2-18pqrp∧qp∧q∧rA000001001001010001011001100001101001110101111111⑸真值表如表2-19所示,所以公式仅为可满足式。表2-19pq¬p¬p→q¬(¬p→q)A001011011101100100110100⑹真值表如表2-20所示,所以公式是重言式。表2-20pqrp→qr→qp∧r(p→q)∧(r→q)(p∧r)→qA0001101110011000110101101110111101111000100111010010011101101111111111115.解⑴设p:他努力学习;q:他会通过考试。则命题符号化p→q。其否定¬(p→q)⇔p∧¬q。所以语句的否定:他学习很努力但没有通过考试。↔q⑵设p:水温暖;q:他游泳。则命题符号化p。其否定¬(p↔q)⇔p↔¬q。所以语句的否定:当且仅当水不温暖时他游泳。⑶设p:天冷;q:他穿外套;r:他穿衬衫。则命题符号化p→(q∧¬r)¬→∧¬⇔¬¬∨∧¬其否定(p(qr))(p(qr))⇔p∧¬(q∧¬r)⇔p∧(¬q∨r)所以语句的否定:天冷并且他不穿外套或者穿衬衫。⑷设p:他学习;q:他将上清华大学;r:他将上北京大学。则命题符号化p→(q∨r)6
其否定¬(p→(q∨r))⇔¬(¬p∨(q∨r))⇔p∧¬q∧¬r所以语句的否定:他努力学习,但是没有上清华大学,也没有上北京大学。6.解设p:张三说真话;q:李四说真话;r:王五说真话。则:p↔¬q,q↔¬r(⇔¬q↔r),r↔(¬p∧¬q)为真,因此p↔(¬p∧¬q)⇔(p∧¬p∧¬q)∨(¬p∧(p∨q))⇔¬p∧q为真。因此,p为假,q为真,所以r为假。故张三说谎,李四说真话,王五说谎。7.解设p:甲得冠军;q:乙得亚军;r:丙得亚军;s:丁得亚军。前提:p→(q∨r),q→¬p,s→¬r,p结论:¬s证明p→(q∨r)为真,其前件p为真,所以q∨r为真,又q→¬p为真,其后件¬p为假,所以要求q为假,所以r为真。又s→¬r为真,其后件¬r为假,所以要求s为假,故¬s为真。习题1.41.解⑴设p:明天下雨;q:后天下雨。命题符号化p∨q。⑵设p:明天我将去北京;q:明天我将去上海。命题符号化p∨q。2.解⑴(p→q)∨p⇔((p→q)∧¬p)∨(¬(p→q)∧p)⇔((¬p∨q)∧¬p)∨(¬(¬p∨q)∧p)⇔¬p∨(p∧¬q∧p)⇔¬p∨¬q⑵p↓(q∨p)⇔¬(p∨(q∨p))⇔¬(p∨(q∧¬p)∨(¬q∧p))⇔¬(p∨(q∧¬p))⇔¬(p∨q)⇔¬p∧¬q⑶(p↑q)↓r⇔¬((p↑q)∨r)⇔¬(¬(p∧q)∨r)⇔p∧q∧¬r3.证明因为,{¬,∨,∧,→,↔}是功能完备联结词集,所以,含有{¬,∨,∧,→,↔}外的其他联结词的公式均可以转换为仅含{¬,∨,∧,→,↔}中的联结词的公式。p→q⇔¬p∨q又因为p↔q⇔(p→q)∧(q→p)⇔(¬p∨q)∧(¬q∨p)7
即含有→,↔的公式均可以转换为仅含{¬,∨,∧}中的联结词的公式。因此,含{¬,∨,∧}外其他联结词的公式均可以转换为仅含{¬,∨,∧}中的联结词的公式。故{¬,∨,∧}是功能完备联结词集。↑4.证明{¬,∧}是极小功能完备集,因而只需证明{¬,∧}中的每个联结词都可以用表示,就说明{↑}是功能完备集。只有一个联结词,自然是极小功能完备集。事实上,¬p⇔¬(p∧p)⇔p↑p,p∧q⇔¬¬(p∧q)⇔¬(p↑q)⇔(p↑q)↑(p↑q)。对于证明{↓}是极小功能完备集,可类似证明。习题1.51.解⑴¬(p∧¬q)∨(¬p∧q);⑵(p∧(¬(q∨r)∨(p∧¬r))∨¬p2.解⑴(p→q)→(r→s)⇔¬(¬p∨q)∨(¬r∨s)⇔(p∧¬q)∨¬r∨s即为其析取范式。(p→q)→(r→s)⇔(p∧¬q)∨¬r∨s⇔(p∨¬r∨s)∧(¬q∨¬r∨s)即为其合取范式。¬p∧(q↔r)⇔¬p∧(¬q∨r)∧(¬r∨q)⑵即为其合取范式。¬p∧(q↔r)⇔¬p∧((q∧r)∨(¬q∧¬r))⇔(¬p∧q∧r)∨(¬p∧¬q∧¬r)即为其析取范式。⑶(p∨q)∧¬r即为其合取范式。(p∨q)∧¬r⇔(p∧¬r)∨(q∧¬r)为其析取范式。p→(q→r)⇔¬p∨¬q∨r⑷即为其析取范式和合取范式。3.解⑴p∧(¬p∨q)⇔(p∨(¬q∧q))∧(¬p∨q)⇔(p∨¬q)∧(p∨q)∧(¬p∨q)⇔∏(0,1,2)即为其主合取范式。其主析取范式为∑3⇔p∧q。⑵(¬p→q)∨(¬p∧¬q)⇔(p∨q)∨¬(p∨q)⇔1。∑¬∧¬∨¬∧∨∧¬∨∧故其主析取范式为(0,1,2,3)=(pq)(pq)(pq)(pq)。⑶((p∨q)→r)→p⇔¬(¬(p∨q)∨r)∨p8
⇔((p∨q)∧¬r)∨p⇔(p∨q)∧(p∨¬r)⇔((p∨q)∨(r∧¬r))∧((p∨¬r)∨(q∧¬q))⇔(p∨q∨r)∧(p∨q∨¬r)∧(p∨q∨¬r)∧(p∨¬q∨¬r)⇔∏(0,1,3)即为其主合取范式。其主析取范式为∑(2,4,5,6,7)⇔(¬p∧q∧¬r)∨(p∧¬q∧¬r)∨(p∧¬q∧r)∨(p∧q∧¬r)∨(p∧q∧r)。⑷(p→q)→(r→s)⇔¬(¬p∨q)∨(¬r∨s)⇔(p∧¬q)∨(¬r∨s)⇔(p∨¬r∨s)∧(¬q∨¬r∨s)⇔(p∨q∨¬r∨s)∧(p∨¬q∨¬r∨s)∧(p∨¬q∨¬r∨s)∧(¬p∨¬q∨¬r∨s)⇔∏(2,6,14)即为其主合取范式。其主析取范式为∑(0,1,3,4,5,7,8,9,10,11,12,13,15)。4.解⑴真值表如表2-21所示,所以其极小项是p∧¬q,极大项为p∨q,p∨¬q,¬p∨¬q。表2-21pqp→q¬(p→q)0010011010011110其主析取范式是:p∧¬q,主合取范式为:(p∨q)∧(p∨¬q)∧(¬p∨¬q)。⑵真值表如表2-222所示,所以其极小项是¬p∧q,p∧¬q,p∧q,极大项为p∨q。表2-22pqp∨qp→q¬(p→q)¬(p→q)∨(p∨q)000100011101101011111101¬∧∨∧¬∨∧∨其主析取范式是:(pq)(pq)(pq),主合取范式为:pq。⑶真值表如表2-23所示,所以其极小项是¬p∧q∧r,p∧¬q∧¬r,p∧¬q∧r,p∧q∧¬r,p∧q∧r,表2-23pqr¬p¬p∧q∧rp∨(¬p∧q∧r)0001000011000101000111119
100001101001110001111001极大项为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)。⑷真值表如表2-24所示,所以其极小项为¬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),主析取范式为(¬p∧¬q∧r)∨(¬p∧q∧r)∨(p∧¬q∧¬r,)∨(p∧¬q∧r)∨(p∧q∧r)。表2-24pqrp→q(p→q)→r0001000111010100111110001101011101011111¬∨∧¬¬∧¬⇔¬∨∧∨5.解⑴(pq)((pq))(pq)(pq)⇔⇔¬∧∨∧q(pq)(pq),故⑴为可满足式。⑵((p→q)∧(q→r))→(p→r)⇔¬¬∨((pq)∧¬∨(qr))∨¬∨(pr)⇔(p∧¬∨q)(q∧¬∨¬∨r)(pr)⇔(p∧¬∧qr)∨(p∧¬∧¬qr)∨(p∧q∧¬r)∨¬∧(pq∧¬r)∨¬∧(pq∧r)∨¬∧(pq∧¬r)∨¬∧¬∧(pqr)∨¬∧¬∧¬(pqr)∨(p∧∧qr)(∨p∧¬∧qr)(∨¬∧∧pqr)(∨¬∧¬∧pqr)⇔∑(0,1,2,3,4,5,6,7)故⑵为重言式。⑶¬(p∨(q∧r))↔((p∨q)∧(p∨r))⇔¬(p∨(q∧r))↔(p∨(q∧r))⇔∨∧∨∨∧∧¬∨∧∨¬∨∧(p(qr))(p(qr))(p(qr))(p(qr))⇔(p∨(q∧r))∧¬(p∨(q∧r))⇔(p∨(q∧r))∧¬p∧¬(q∧r)⇔¬∧∧∧¬∨¬⇔(pqr)(qr)0。故⑶为矛盾式。10
⑷((p→q)∨(r→s))→((p∨r)→(q∨s))⇔¬¬∨((pq)∧¬¬∨(rs))(∨¬∧¬∨∨pr)qs⇔((p∧¬q)∧(r∧¬s))∨¬∧¬(pr)∨q∨s⇔(p∧¬∧∧¬∨¬∧∧¬∧qrs)(pqrs)(∨¬∧∧¬∧¬pqrs)∨¬∧¬∧¬∧(pqrs)∨¬∧¬∧¬∧¬(pqrs)∨(p∧q∧∧rs)∨(p∧q∧∧¬rs)∨(p∧q∧¬∧rs)∨(p∧q∧¬∧¬rs)∨¬∧∧∧(pqrs)(∨¬∧∧∧¬∨¬∧∧¬∧pqrs)(pqrs)∨¬∧(pq∧¬∧¬rs)∨(p∧q∧∧rs)∨(p∧q∧¬∨rs)∨(p∧¬∧∧qrs)(∨p∧¬∧¬∧qrs)(∨¬∧∧∧pqrs)∨¬∧(pq∧¬∧rs)∨¬∧¬∧∧(pqrs)∨¬∧¬∧¬∧(pqrs)⇔∑(0,1,3,4,5,6,7,9,10,11,12,13,14,15)故仅为可满足式。6.证明⑴右边已经是主合取范式。而左边主合取范式已是¬p∧¬q,因此,¬(p∨q)⇔¬p∧¬q,证毕。∨∧∨¬⇔∨∧¬⇔∨∧∨¬⑵右边(pq)(pq)已经是主合取范式。pp(qq)(pq)(pq)。因此,p⇔(p∧q)∨(p∧¬q)。→→⇔¬∨¬∨⇔¬∨¬∨⇔¬∧∨⑶左边p(qr)p(qr)pqr,而右边(p∧q)→r(pq)r⇔¬p∨¬q∨r,因此,p→(q→r)⇔(p∧q)→r。习题1.61.解设p:这里有演出;q:这里通行是困难的;r:他们按照指定时间到达。前提:p→q,r→¬q,r结论:¬p证明①rP②r→¬qP③¬qT①②假言推理④p→qP⑤¬pT③④拒取式2.⑴证明①sP②s→pP11
③pT①②假言推理④p→qP⑤qT③④假言推理⑵证明①rP附加前提引入②r→qP③qT①②假言推理④p→¬qP⑤¬pT③④拒取式⑥¬p→sP⑦sT⑤⑥假言推理⑧r→sT①⑦CP⑶证明①pP否定结论引入②p→qP③qT①②假言推理④q→rP⑤rT③④假言推理⑥¬r∧sP⑦¬rT⑥化简⑧r∧¬rT⑤⑦合取⑷证明①pP附加前提引入②¬p∨qP③q①②析取三段论④r→¬qP⑤¬r③④拒取式⑥p→¬r①⑥CP⑸证明①pP附加前提引入②p→(q→r)P③q→rT①②假言推理④qP附加前提引入⑤rT③④假言推理⑥(r∧s)→tP⑦¬r∨¬s∨tT⑥蕴涵等价式⑧¬s∨tT⑤⑦析取三段论⑨¬h→(s∧¬t)P⑩¬s∨t→hT⑨假言易位⒒hT⑧⑩假言推理⒓q→hT④⒒CP13.p→(q→h)T①⒓CP3.解推理不正确。在①到②化简时,只能对整个公式进行而不是子公式。4.解正确。12
⑴P,⑵P附加前提引入;⑶T①②析取三段论;⑷P;⑸T③④假言推理;⑹P;⑺T⑤⑥假言推理;⑻T②⑦CP。5.解设p:张三努力工作,q:李四高兴,r:王五高兴,s:刘六高兴前提:p→(q∨r),q→¬p,s→¬r结论:p→¬s证明:①pP附加前提引入②p→(q∨r)P③q∨rT①②假言推理④q→¬pP⑤¬qT①④拒取式⑥rT③⑤析取三段论⑦s→¬rP⑧¬sT⑥⑦拒取式⑨p→¬sT①⑧CP6.解设:p:天下雪;q:马路结冰;r:汽车开得快;s:马路塞车。前提:p→q,q→¬r,¬r→s,¬s结论:¬p证明①p→qP②q→¬rP③p→¬r①②推理三段论④¬r→sP⑤p→s③④推理三段论⑥¬sP⑦¬p⑤⑥拒取式复习题11.解⑴设p:3是偶数,q:中国人的母语是汉语。命题符号化p→q。⑵设p:你抽烟,q:你很容易得病。命题符号化p→q。⑶设p:今天是星期一,q:明天才是星期二。命题符号化q→p。⑷设p:李春这个学期《离散数学》考了100分。q:李春这个学期《数据结构》考了100分。命题符号化p∧q。⑸设p:下雪路滑,q:他迟到了。命题符号化q→p。⑹设p:经一事,q:长一智。命题符号化p→q。⑺设p:一朝被蛇咬,q:十年怕井绳。命题符号化p→q。⑻设p:以物喜,q:以己悲。命题符号化¬p∧¬q。2.解命题中的“或”是不可兼或,因此,可以直接用“p∨q”符号化;根据联结词的性质及其之间的转换关系,可知命题“李春生于1979年或生于1980年”的本意是“李春生于1979年(但不能生于1980年)或生于1980年(但不能生于1979年)”,因此,也可以转化为“(p∧¬q)∨(¬p∧q)”对其进行符号13
化。¬∨¬∧¬→3.解设p:李刚会拳击,q:李春会唱歌。命题符号化(pq)(pq)。而(¬p∨¬q)∧¬(p→q)⇔(¬p∨¬q)∧¬(¬p∨q)⇔(¬p∨¬q)∧p∧¬q⇔p∧¬q因此,李刚会拳击并且李春不会唱歌。4.解⑴A的极小项对应于其真值表中的成真赋值0001,0110,1000,1001,1010,1100,1101,1111。成真赋值对应二进制数转化为十进制数就是A的极小项的下标。由此可得,A的极小项为:m=¬∧¬∧¬∧pqrs;m=¬∧∧∧pqrs;m=p∧¬∧¬∧¬qrs;168m=p∧¬∧¬∧qrs;m=p∧¬∧∧¬qrs;m=p∧q∧¬∧¬rs;91012m=p∧q∧¬∧rs;m=p∧q∧∧rs。1315相应的,A的极大项对应于其真值表中的成假赋值,成假赋值对应二进制数转化为十进制数就是A的极大项的下标。由此可得,A的极大项为:M=p∨q∨∨rs;M=p∨q∨¬∨rs;M=p∨∨¬∨¬qrs;023M=p∨¬∨∨qrs;M=p∨¬∨∨¬qrs;M=p∨¬∨¬∨¬qrs;457M=¬∨pq∨¬∨¬rs;M=¬∨¬∨¬∨pqrs。1114⑵由问题⑴得到了A的极小项和极大项,于是与A等值的主析取范式和主合取范式可以直接得到,分别为:∑(1,6,8,9,10,12,13,15);∏(0,2,3,4,5,7,11,14)。⑶从A的主析取范式出发,进行等值演算化简,可得析取范式的最简形式:(¬p∧¬q∧¬r∧s)∨(¬p∧q∧r∧s)∨(p∧¬q∧¬r∧¬s)∨(p∧¬q∧¬r∧s)∨(p∧¬q∧r∧¬s)∨(p∧q∧¬r∧¬s)∨(p∧q∧¬r∧s)∨(p∧q∧r∧s)⇔(¬p∧¬q∧¬r∧s)∨(q∧r∧s)∨(p∧¬q∧¬r)∨(p∧¬q∧r∧¬s)∨(p∧q∧¬r)⇔(p∧¬r)∨(¬p∧¬q∧¬r∧s)∨(q∧r∧s)∨(p∧¬q∧r∧¬s)⇔(p∧¬r)∨(¬q∧¬r∧s)∨(q∧r∧s)∨(p∧¬q∧r∧¬s)⇔(p∧¬r)∨(¬q∧¬r∧s)∨(q∧r∧s)∨(p∧¬q∧¬s)5.证明⑴(p→q)∧(r→q)⇔¬∨(pq)(∧¬∨rq)⇔¬∧¬∨(pr)q⇔¬(p∨r)∨q⇔(p∨r)→q⑵p→(q→r)⇔¬∨¬∨p(qr)⇔¬∨¬∨q(pr)⇔q→(p→r)⑶(p∨q)∧¬(p∧q)⇔¬¬((p∨q)∨(p∧q))⇔¬¬∧¬∨((pq)(p∧q))⇔¬(p↔q)14
⑷(p∧q∧→rs)∧(r→p∨q∨s)⇔¬((p∧∧qr)∨s)(∧¬∨r(p∨∨qs))⇔((¬∨¬∨¬pqr)∧¬∨(rp∨q))∨s⇔¬∨¬∨¬(r((pq)(∧p∨q)))∨s⇔¬(r∧¬¬∨¬((pq)∧(p∨q)))∨s⇔¬(r∧((p∧q)∨¬∧¬(pq)))∨s⇔(r∧(p↔q))→s6.解⑴公式的真值表如表2-27所示:表2-27pq¬p¬qp→¬q¬q→¬p(p→¬q)∧(¬q→¬p)0011111011011110011001100010从真值表可见,公式所在列的填入值有1也有0,故仅为可满足式。(p→¬q)∧(¬q→¬p)⇔(¬p∨¬q)∧(q∨¬p)⇔∏(2,3)为其主合取范式,可见公式仅为可满足式。⑵公式真值表如表2-28所示:表2-28pqrp∨q∨rp→(p∨q∨r)0000100111010110111110011101111101111111→∨∨⇔¬∨∨∨⇔⇔∑p(pqr)ppqr1(0,1,2,3,4,5,6,7)从真值表可见,公式所在的列的填入值均为1,等值演算,以及求出的主析取范式均说明公式是重言式。⑶A=((p→q)∧(q→r))→(p→r)真值表见习题2.2第4(4)题。((p→q)∧(q→r))→(p→r)⇔¬((¬p∨q)∧(¬q∨r))∨(¬p∨r)⇔(p∧¬q)∨(q∧¬r))∨¬p∨r⇔1.15
从真值表可见,公式所在的列的填入值均为1,由等值演算,以及求出的主析取范式均说明公式是重言式。7.⑴证明①pP附加前提引入②p→(q→r)P③q→rT①②假言推理④qP附加前提引入⑤q→(r→s)P⑥r→sT④⑤假言推理⑦q→sT③⑥假言三段论⑧p→(q→s)T①⑦CP⑵证明①¬wP②u→wP③¬uT①②拒取式④¬s∨uP⑤¬sT③④析取三段论⑥¬r∨sP⑦¬rT⑤⑥析取三段论⑧(p∨q)→rP⑨¬(p∨q)T⑦⑧拒取式⑩¬p∧¬q)T⑨德⋅摩根律⑶证明①pP附加前提引入②p→q∨rP③q∨rT①②假言推理④q→¬pP⑤¬qT①④拒取式⑥rT③⑤析取三段论⑦s→¬rP⑧¬sT⑥⑦拒取式⑨p→¬sT①⑧CP8.解①p∧rP②pT①化简③p→qP④qT②③假言推理⑤¬(q∨s)P⑥¬q∧¬sT⑤德⋅摩根律⑦¬qT⑥化简⑧¬q∧qT④⑦合取由⑧得到矛盾,可见p→q,¬(q∨s),p∧r不能同时成立。9.解设p:小王曾经到过受害人的房间,q:小王11点以前离开,r:小王犯了谋杀罪,s:看门人看到小王。符号化:(((p∧¬q)→r)∧p∧(q→s)∧¬s)⇒r。16
⑴形式构造推理证明前提:(p∧¬q)→r,p,q→s,¬s结论:r证明①¬sP②q→sP③¬qT①②拒取式④pP⑤p∧¬qT③④合取⑥(p∧¬q)→rP⑦rT⑤⑥假言推理⑵真值表技术:真值表如表2-30所示,设A=(((p∧¬q)→r)∧p∧(q→s)∧¬s)。表2-29由pqrs¬q¬sp∧¬q(p∧¬q)→rq→sA真值表0000110110可以看0001100110出:0010110111∧¬(((p0011100111→q)r)0100010100∧p∧(q0101000110→s)∧¬⇔0110010101s)r,0111000111所以,∧¬1000111010(((p1001101010q)→r)∧p∧(q10101111111011101111→s)∧¬⇒1100010100s)r成立。1101000110⑶1110010101等值演1111000111算方法(((p∧¬q)→r)∧p∧(q→s)∧¬s)→r⇔¬((¬(p∧¬q)∨r)∧p∧(¬q∨s)∧¬s)∨r⇔¬((¬(p∧¬q)∨r)∧p∧(¬q∧¬s))∨r⇔(¬(¬(p∧¬q)∨r)∨¬p∨¬(¬q∧¬s))∨r⇔((p∧¬q∧¬r)∨¬(p∧¬q∧¬s))∨r⇔1。由此可以说明(((p∧¬q)→r)∧p∧(q→s)∧¬s)→r为重言式,即(((p∧¬q)→r)∧p∧(q→s)∧¬s)⇒r成立。10.解逻辑学家手指A门问旁边的一名强盗(A)说:“这扇门是生门,他(指强盗B)将回答‘是’,他的回答对吗?”设p:强盗A回答“对”;q:强盗B回答“对”;r:这扇门(A)是生门。因为,两个强盗一个总说真话,而另一个强盗一个总说假话,因此该问题符号化为:(¬p↔q)∧r。(¬p↔q)∧r⇔((¬p∧q)∨(p∧¬q))∧r⇔(¬p∧q∧r)∨(p∧¬q∧r)17
逻辑学家的提问可知,r和q都为真,由公式可以看出这时¬p为真,即p为假。所以,当被问强盗A回答“否”,则逻辑学家开启所指的门从容离去。当被问强盗A回答“对”,则逻辑学家开启另一扇门从容离去。第二章谓词逻辑习题2.11.解⑴个体:离散数学;谓词:…是一门计算机基础课程。⑵个体:田亮;谓词:…是一名优秀的跳水运动员。⑶个体:大学生;谓词:…要好好学习计算机课程;量词:所有。⑷个体:推理;谓词:…是能够由计算机来完成的;量词:一切。2.解⑴设F(x):x是舞蹈演员;a:小芳。命题符号化:F(a)。⑵设F(x):x是一位有名的哲学家;a:苏格拉底。命题符号化:F(a)。⑶设F(x):x作完了他的作业家;a:张三。命题符号化:F(a)。⑷设F(x):x身体很好;a:我。命题符号化:F(a)。3.解⑴选取个体域为整数集合。设F(x):x的平方是奇数;G(x):x是奇数。命题符号化:F(x)→G(x)。⑵选取个体域为所有国家的集合。设F(x):x在南半球;G(x):x在北半球。命题符号化:∃xF(x)∧∃xG(x)。⑶选取个体域为所有人的集合。设F(x):x在中国居住;G(x):x是中国人。命题符号化:¬∀x(¬F(x)→¬G(x))⑷选取个体域为所有人的集合。设M(x):x是艺术家;F(x):x是导演;G(x):x是演员。命∃∧∧题符号化:x(M(x)F(x)G(x))。⑸选取个体域为所有猫的集合。设M(x):x是好猫;F(x):x捉耗子。命题符号化:∃x¬M(x)∧∀x(F(x)→M(x))。4.解⑴①设F(x):x喜欢开汽车;G(x):x喜欢骑自行车。命题符号化:∃xF(x)∧∃xG(x)。②设F(x):x喜欢开汽车;G(x):x喜欢骑自行车;M(x):x是人。命题符号化:∃x(M(x)∧F(x))∧∃x(M(x)∧G(x))。⑵①设F(x):x必须学好数学。命题符号化:∀xF(x)。②设F(x):x必须学好数学;M(x):x是学生。命题符号化:∀x(M(x)→F(x))。18
⑶①设F(x):x的平方是质数;M(x):x是质数。命题符号化:∀x(M(x)→¬F(x))。②同①。③设F(x):x的平方是质数。命题符号化:∀x(¬F(x))。习题2.2∀→1.解⑴x的辖域为P(x)Q(x),个体变元x是约束变元。⑵∀x的辖域为P(x)→∃yQ(x,y),∃y的辖域为Q(x,y),个体变元x是约束变元,个体变元y是约束变元。⑶∀x的辖域为F(x,y),其中个体变元x是约束变元,个体变元y是自由变元;∃的辖域为Q(x,y),其中个体变元x是自由变元,个体变元y是约束变元。2.解⑴∀∃stPsz((,)→Qt())↔Sxy(,)。⑵Mxy(,)→∀sPsy((,)∨∀zQsz(,))。3.解⑴(∀xP(x)∧∃yQ(x))→F(s,z);∃→∀∧∧∀∃⑵y(P(s,y)(zQ(s,z)R(s,y,v)))xrS(x,t,r)。4.解⑴S(x),∃xS(x),S(x)∧∃xS(x)的真值分别为:0,1,0。⑵S(x),∃xS(x),S(x)∧∃xS(x)的真值分别为:0,1,0。⑶S(x),∃xS(x),S(x)∧∃xS(x)的真值分别为:1,1,1。⑷S(x),∃xS(x),S(x)∧∃xS(x)的真值分别为:0,0,0。5.解⑴0。⑵1。⑶0。∃¬∃¬∃→∀6.解⑴设I为任意解释,其个体域为D,若xP(x)为真,即xP(x)为假,则xP(x)xP(x)为真;若∃xP(x)为假,即¬∃xP(x)为真,则就是说在个体域中不存在使得P(x)为真的个体,故∀xP(x)为假,即¬∃xP(x)→∀xP(x)为假。因此¬∃xP(x)→∀xP(x)仅为可满足式。⑵设I为任意解释,其个体域为D,若¬∀xA(x)为假,则∀xA(x)为真,就是说对于个体域中任意一个个¬∃¬¬∀∀体A(x)均为真,那么A(x)必为假,所以x(A(x))必为假;若xA(x)为真,即xA(x)为假,则就是说对于¬∃¬个体域中至少存在一个体使A(x)均为假,那么对于个体域中至少存在一个个体使A(x)为真,所以x(A(x))必为真,总之¬∀xA(x)↔∃x(¬A(x))对于个体域中任意一个个体必为真,即其为逻辑有效式。⑶设I为任意解释,其个体域为D,若∃x(P(x)∧Q(x))为真,即是说在个体域中至少存在一个个体使得P(x)和Q(x)同时为真,此时∃x(P(x)→¬Q(x))可真可假,所以,∃x(P(x)∧Q(x))→∃x(P(x)→¬Q(x))可真可假。因此,(∃x(P(x)∧Q(x)))→(∃xP(x)→¬Q(x))仅为可满足式。习题2.31.解⑴¬(∃xA(x)→∀xB(x))⇔¬(¬∃xA(x)∨∀xB(x))⇔∃xA(x)∧¬∀xB(x))⇔∃xA(x)∧∃x¬B(x))⑵¬(∀xA(x)∧B(x)∨∃xC(x))⇔¬∀xA(x)∨¬B(x)∧¬∃xC(x)⇔∃¬∨¬∧∀¬xA(x)B(x)xC(x)⑶¬((∃xA(x)↔∀xB(x))∧∀xC(x))⇔¬((¬∃xA(x)∨∀xB(x))∧(∃xA(x)∨¬∀xB(x)))∨¬∀xC(x)⇔(∃xA(x)∧∃x¬B(x))∨(∀x¬A(x)∧∀xB(x))∨∃x¬C(x)。2.证明⑴∀x(P(x)→Q(x))→(∃xP(x)→∃xQ(x))⇔¬∀¬∨∨¬∃∨∃⇔∃∧¬∨∀¬∨∃x(P(x)Q(x))(xP(x)xQ(x))x(P(x)Q(x))xP(x)xQ(x)19
⇔∧¬∨∧¬∨∧¬∨¬∧¬∧¬((P(1)Q(1))((P(2)Q(2))((P(3)Q(3)))(P(1)P(2)P(3))∨Q(1)∨Q(2)∨Q(3)⇔((P(1)∨Q(1))∨((P(2)∨Q(2))∨((P(3)∨Q(3)))∨(¬P(1)∧¬P(2)∧¬P(3))⇔(P(1)∨P(2)∨P(3))∨(Q(1)∨Q(2)∨Q(3))∨¬(P(1)∨P(2)∨P(3))⇔1。∀→→∃→∃故x(P(x)Q(x))(xP(x)xQ(x))为逻辑有效式。∃→∀→∀→⇔¬¬∃∨∀∨∀¬∨⑵(xP(x)xQ(x))x(P(x)Q(x))(xP(x)xQ(x))x(P(x)Q(x))⇔∃∧∃¬∨∀¬∨(xP(x)xQ(x))x(P(x)Q(x))⇔((P(1)∨P(2)∨P(3))∧(¬Q(1)∨¬Q(2)∨¬Q(3))∨((¬P(1)∨Q(1))∧¬P(2)∨Q(2))∧¬P(2)∨Q(2)))⇔∧¬∨∧¬∨∧¬∨∧¬…[(P(1)Q(1))(P(2)Q(2))(P(3)Q(3))(P(1)Q(2))]∨¬∧∧¬∧¬∧¬∧¬((P(1)Q(1))(P(2)Q(2))(P(1)Q(1)))⇔(¬(P(1)∧Q(1))∨(P(1)∧¬Q(1))∨(P(2)∧¬Q(2))∨(P(3)∧¬Q(3))∨(P(1)∧¬Q(2))…)∧(¬(P(2)∧¬Q(2))∨(P(1)∧¬Q(1))∨(P(2)∧¬Q(2))∨(P(3)∧¬Q(3))∨(P(1)∧¬Q(2))…)∧(¬(P(1)∧¬Q(1))∨(P(1)∧¬Q(1))∨(P(2)∧¬Q(2))∨(P(3)∧¬Q(3))∨(P(1)∧¬Q(2))…)⇔∧∧111。⑶∀xAx(()∧Bx())↔∀(xAx()∧∀xBx())⇔(((1)A∧B(1))∧((2)A∧B(2))∧((3)A∧B(3)))↔(((1)A∧A(2)∧A(3))∧((1)B∧B(2)∧B(3)))⇔1习题2.41.解⑴④错。在一个逻辑推理过程中,若同时用到ES和US,并且选用代替的个体变元相同时应先用ES,再用US。⑵②错,在用UG规则时,引入的个体变元在原来的公式中不能自由出现过。③错。⑶④错,在用两次ES规则时,引入的个体常元不能是一样的。2.⑴证明①∀x¬Q(x)P②¬Q(y)T①US③∀x(¬P(x)→Q(x))P④¬P(y)→Q(y)T③US⑤P(y)T②④拒取式⑥∃xP(x)T⑤EG⑵证明∀①xP(x)P附加前提引入②P(c)T①US③∀x(P(x)→Q(x))P④P(c)→Q(c)T③US⑤Q(c)T②④假言推理⑥∀xQ(x)T⑤UG⑦∀xP(x)→∀xQ(x)T①⑥CP⑶证明20
¬∀∨①x(P(x)Q(x))P②∃x(¬P(x)∧¬Q(x))T①量词否定,德⋅摩根律③¬P(c)∧¬Q(c)T②ES④∀xQ(x)P否定结论引入⑤Q(c)T④US⑥¬Q(c)T③化简⑦Q(c)∧¬Q(c)T⑤⑥合取由⑦得到矛盾,由间接证明原理,原命题得证明。3.解⑴设M(x):x是鸟;N(x):x是猴子,F(x):x会飞。前提:∀x(M(x)→F(x)),∀x(N(x)→¬F(x))∀→¬结论:x(N(x)M(x))证明①∀x(N(x)→¬F(x))P②N(y)→¬F(y)T①US③∀x(M(x)→F(x))P④M(y)→F(y)T③US⑤¬F(y)→¬M(y)T④假言易位⑥N(y)→¬M(y)T②⑤假言三段论⑦∀x(N(x)→¬M(x))T⑥UG⑵设M(x):x是学生;N(x):x是教师;F(x):x是骗子;R(x,y):x相信y。∃∧∀→∀→∀→¬前提:x(M(x)y(N(y)R(x,y))),x(M(x)y(F(y)R(x,y)))∀→¬结论:x(N(x)F(x))证明①∃x(M(x)∧∀y(N(y)→R(x,y)))P②M(c)∧∀y(N(y)→R(c,y))T①ES③M(c)T②化简④∀x(M(x)→∀y(F(y)→¬R(x,y)))P⑤M(c)→∀y(F(y)→¬R(c,y))T④US⑥∀y(F(y)→¬R(c,y))T③⑤假言推理⑦F(d)→¬R(c,d)T⑥US⑧∀y(N(y)→R(c,y))T②化简⑨N(d)→R(c,d)T⑧US⑩R(c,d)→¬F(d)T⑦假言易位⑾N(d)→¬F(d)T⑨⑩假言三段论⑿∀x(N(x)→¬F(x))T⑾UG⑶设M(x):x是学术会成员;N(x):x是工人;R(x):x是专家;Q(x):x是青年人。∀→∧∃∧前提:x(M(x)(N(x)R(x))),x(M(x)Q(x))结论:∃x(M(x)∧Q(x)∧R(x))证明①∃x(M(x)∧Q(x))P②M(c)∧Q(c)T①ES③∀x(M(x)→(N(x)∧R(x)))P④M(c)→(N(c)∧R(c))T③US⑤M(c)T②化简21
⑥N(c)∧R(c)T④⑤假言推理⑦R(c)T⑥化简⑧M(c)∧Q(c)∧R(c)T②⑦合取⑨∃x(M(x)∧Q(x)∧R(x))T⑧EG复习题21.解⑴设个体域是整数集合I,F(x):x是最大的整数,命题符号化为¬∃xF(x)。⑵设M(x):x是学生,F(x):x要好好学习。命题符号化∀x(M(x)→F(x))。⑶设M(x):x是液体,F(x):x能溶于水。命题符号化¬∀x(M(x)→F(x))。⑷设M(x):x是人,F(x,y):x与y一样高。命题符号化¬∀x((M(x)∧M(y))→F(x,y))。⑸设M(x):x是数,F(x):x是实数,G(x):x是复数。命题符号化∀x(M(x)→(F(x)∨G(x)))。⑹设M(x):x是数,F(x):x是奇数,G(x):x是偶数,H(x):x是2。命题符号化∀x(M(x)→((F(x)∧G(x))↔H(x)))。⑺设M(x):x不是地球,F(x):x上有人,c:金星。命题符号化∃x(M(x)∧F(x))→F(c)。2.解⑴∃x(A(x)∧B(x))⇔(A(1)∧B(1))∨(A(2)∧B(2))∨(A(3)∧B(3))⇔0∨0∨0⇔0。⑵∀x(A(x)→¬(x≤2))⇔(A(1)→¬(1≤2))∧(A(2)→¬(2≤2))∧(A(3)→¬(3≤2))⇔1∧0∧1⇔0。3.解⑴∀x的辖域P(x)∧Q(y),其中x是约束变元,y是自由变元;∃y的辖域M(x,y),其中x是自由变元,y是约束变元。⑵∃x的辖域P(x),∀x的辖域M(x),其中x在两个量词的不同辖域中都是约束变元,y是自由变元。⑶∀x的辖域P(x,y),其中x是约束变元,y是自由变元;∃y的辖域Q(y),其中y是约束变元。⑷∀x的辖域∃yP(x,y),∃y的辖域P(x,y),整个公式中x是约束变元,y约束变元1次,自由变元1次。4.解∃!xP(x)⇔∃x(P(x)∧∀y(P(y)→(y=x)))。5.解⑴∀xP(x)∧∀xQ(x)⇔P(a)∧P(b)∧P(c)∧Q(a)∧Q(b)∧Q(c)⑵∃x(P(x)→∀xQ(x))⇔(P(a)→(Q(a)∧Q(b)∧Q(c)))∨(P(b)→(Q(a)∧Q(b)∧Q(c)))∨(P(c)→(Q(a)∧Q(b)∧Q(c)))⑶∀x∃yR(x,y)⇔∃yR(a,y)∧∃yR(b,y)∧∃yR(c,y)⇔(R(a,a)∨R(a,b)∨R(a,c))∧(R(b,a)∨R(b,b)∨R(b,c))∧(R(c,a)∨R(c,b)∨R(c,c))6.解⑴设个体域为D={a,b},令P(a)=1;P(b)=0;Q(a)=0;Q(b)=1。则∀xP(x)为假,∀xQ(x)为假,从而∀xP(x)→∀xQ(x)为真。由于P(a)→Q(a)为假,所以∀x(P(x)→Q(x))也为假,此时公式为假。因此,公式不是逻辑有效式。⑵设D={a},若R(a)=1,P(a)=0,Q(a)=1,则∃x(P(x)↔Q(x))为假,而∀x((P(x)∨R(x))↔(Q(x)∨R(x)))为真,因此原公式为假。因此,公式不是逻辑有效式。⑶设个体域D={a,b},Q(a)=Q(b)=0,取P(a)=1,P(b)=0。则∃x(P(x)→Q(y))为真,而(∃xP(x)→Q(y))为假。因此,原公式不是逻辑有效式。⑷∃x∃y(P(x)→Q(y))⇔∃x∃y(¬P(x)∨Q(y))⇔∃x(¬P(x)∨∃yQ(y))⇔∃x¬P(x)∨∃yQ(y)⇔¬∀xP(x)∨∃yQ(y)⇔∀xP(x)→∃yQ(y)因此,原公式为逻辑有效式。7.⑴证明∃z(A(x)→B(x))⇔∃x(¬A(x)∨B(x))22
⇔∃x¬A(x)∨∃xB(x))⇔¬∀xA(x)∨∃xB(x))⇔∀xA(x)→∃xB(x))⑵证明∃xP(x)→∀yQ(y)⇔¬∃xP(x)∨∀yQ(y)⇔∀x¬P(x)∨∀yQ(y)⇔∀x∀y(¬P(x)∨Q(y))⇔∀x∀y(P(x)→Q(y))9.⑴证明①∃xF(x)P②F(c)T①ES③∀xF(x)→∀y((F(y)∨G(y))→R(y))P④F(c)→∀y((F(y)∨G(y))→R(y))T③US⑤∀y((F(y)∨G(y))→R(y))T②④假言推理⑥(F(c)∨G(c))→R(c)T⑤US⑦F(c)∨G(c)T⑥附加⑧R(c)T⑤⑦假言推理⑨F(c)∧R(c)T⑥⑧合取⑩∃x(F(x)∧R(x))T⑨EG⑵证明①∀x(C(x)→¬B(x))P②C(y)→¬B(y)T②US③∀x(A(x)→B(x))P④A(y)→B(y)T③US⑤¬B(y)→¬A(y)T④假言易位⑥C(y)→¬A(y)T②⑤假言三段论⑦∀x(C(x)→¬A(x))T⑧UG∀x(H(x))→A(x))⇒∀x∀y((H(y)∧N(x,y))→∃y(A(y)∧N(x,y))⑶证明①∀x∀y((H(y)∧N(x,y))P附加前提引入②∀y((H(y)∧N(x,y))T①US③H(v)∧N(x,v)T②US④∀x(H(x))→A(x))P⑤H(v)→A(v)T④US⑥H(v)T③化简⑥A(v)T⑤⑥假言推理⑦N(x,v)T③化简⑧A(v)∧N(x,v)T⑥⑦合取⑨∃y(A(y)∧N(x,y))T⑧EG⑩∀x∀y((H(y)∧N(x,y))→∃y(A(y)∧N(x,y))T①⑨CP10.解⑴设M(x):x是航海家,F(x):x教育自己的孩子成为航海家,G(x):x教育他的孩子去做飞行家。前提:∀x(M(x)→F(x)),∀x(G(x)→¬F(x)),∃xG(x)结论:∃x¬M(x)23
证明∃①xG(x)P②G(c)T①ES③∀x(G(x)→¬F(x))P④G(c)→¬F(c)T③US⑤¬F(c)T②④假言推理⑥∀x(M(x)→F(x))P⑦M(c)→F(c)T⑥US⑧¬M(c)T⑤⑦拒取式⑨∃x¬M(x)T⑨UG⑵设M(x):x是哺乳动物,N(x):x是脊椎动物,F(x):x是胎生动物。∀→∃∧¬前提:x(M(x)N(x)),x(M(x)F(x)).结论:∃x(N(x)∧¬F(x))证明①∃x(M(x)∧¬F(x))P②M(c)∧¬F(c)T①ES③∀x(M(x)→N(x))P④M(c)→N(c)T③US⑤M(c)T②化简⑥N(c)T④⑤假言推理⑦¬F(c)T②化简⑧N(c)∧¬F(c)T⑥⑦合取⑨∃x(N(x)∧¬F(x))T⑧EG⑶设F(x):x是有理数,G(x):x是无理数,M(x):x是实数,N(x):x是虚数。前提:∀x(F(x)→M(x)),∀x(G(x)→M(x)),∀x(N(x)→¬M(x))∀→¬¬结论:x(N(x)(F(x)G(x)))证明①∀x(N(x)→¬M(x))P②N(y)→¬M(y)T①US③∀x(F(x)→M(x))P④F(y)→M(y)T③US⑤¬M(y)→¬F(y)T②④假言易位⑥N(y)→¬F(y)T②⑤假言三段论⑦∀x(G(x)→M(x))P⑧G(y)→M(y)T⑦US⑨¬M(y)→¬G(y)T⑦假言易位⑩N(y)→¬G(y)T②⑨假言三段论⑾(N(y)→¬F(y))∧(N(y)→¬G(y))T⑥⑩合取⑿N(y)→(¬F(y)∧¬G(y))T⑾蕴涵等价式,分配律⒀∀x(N(x)→(¬F(x)¬G(x)))T⑿UG第三章基础知识习题3.11.解⑴:A={2,3,5,7,11,13,17,19};⑵:B={a,e,i,m,n,o,r,t,u};24
⑶:C={-3,2}。|≤≤∈2.解⑴A={x1x79,xN};⑵B={x|x=2k+1,k∈N};⑶C={x|x=5n,n∈I}。3.解⑴:1,2,3,4,6,9,12,18,36;⑵:a,b;⑶:1,{3},{{a}}。习题3.21.解互不相同。⑴是不包含任何元素的空集,⑵是以空集φ为元素的单元素集合,⑶是以0为元素的单元素集合,但和⑵的集合中的元素不同。2.证明若a=c,b=d,则{{a},{a,b}}={{c},{c,d}};反之,若{{a},{a,b}}={{c},{c,d}},则{a}={c},{a,b}={c,d},因此,a=c,b=d。3.解⑴设A={}φ,则PA()={,{}}φφ;⑵设B={,{}}φφ,则PB()={,{},{{}},{,{}}}φφφφφ;⑶设C={{,},{}}φaa,则PC()={,{{,}},{{}},{{,},{}}}φφaaφaa;⑷设D={{,},{,,},{,,}}{{,}}abaabbab=ab,则PD()={,{{,}}}φab。4.解⑴M⊆T;⑵N⊆P;⑶P∩T=φ。5.解由题意可得:A={1,2,7,8};B={0,1,2,3,4,5,6,7};C={0,3,6,9,12,15,18,21,24,27,30};D={1,2,4,8,16,32,64}。∪∪∪∪∪∪⑴A(B(CD))=ABCD={0,1,2,3,4,5,6,7,8,9,12,15,16,18,21,24,27,30,32,64};∩∩∩φ⑵A(B(CD))=;⑶因为,A∩C={0,1,2,3,6,7,8,9,12,15,18,21,24,27,30},所以,B-A∩C={4,5};⑷A∩B=B−A={0,3,4,5,6},(A∩B)∪D={0,2,3,4,5,6,8,16,32,64};6.解⑴、⑵的文氏图如图1-1所示,图中阴影部分表示所求集合。7.解⑴所求集合的集合成员表如表1-1所示。表1-1⑵所求集ABAIB(AIB)−A((AIB)−A)UA合的集合成员00000表如表1-201000所示。10001表1-211101ABCAUB(AUB)IC(AUB)IC−A00000000100001010001111110010010111011010011111025
①U②8.证明⑴(AUB)I(AUB)=AU(BIB)=AUφ=A④③NT⑵(AIB)U(AIB)=AI(BUB)=AIU=A⑤⑥⑦⑶A-(B∩C)=A∩(B∪C)=A∩B∩C⑧F=(A∩B)∩(A∩C)=(A−B)∩(A−C)图1-3(原教材图1-4)9.证明⑴⇒⑵。因为,A⊆B,则B⊆A,所以,AUB⊇BUB=U,因此,AUB=U。⑵⇒⑶。AUB=U,AIB=AUB=U=φ。⑶⇒⑴。因为,A∩B=φ,所以,B=φ∪B=(A∩B)∪B=(A∪B)∩(B∪B)=(A∪B)∩U=A∪B因此A⊆B。习题3.31.解⑴⎟φ⎜=0;⑵⎟{φ}⎜=1;⑶⎟{1,2,{3,{2,1}}}⎜3;⑷⎟{1,2,1}⎜=2。2.解⑴①8,②8,③8,④10,⑤3,⑥6,⑦5,⑧12。⑵因为,N∪T∪F=U−N−T−F+N∩T+N∩F+T∩F-N∩T∩F,所以N∩T∩F=U−N−T−F+N∩T+N∩F+T∩F-N∪T∪F=60-25-26-26+9+11+8-8=3⑶(N∩T∩F)∪(N∩T∩F)∪(N∩T∩F)=|NUTUF|−|NIT|−|NIF|−|TIF|+2×|NITIF|=52-11-9-8+3×2=303.解设A={x⎜x∈N,1≤x≤100,x能被5整除},B={x⎜x∈N,1≤x≤100,x能被4整除},C={x⎜x∈N,1≤x≤100,⎢100⎥⎢100⎥⎢100⎥x能被6整除},则A∩B∩C=⎢⎥=⎢⎥=1,A=⎢⎥=20,因此,⎣(5,4,6)⎦⎣60⎦⎣5⎦A∩B∩C=A−A∩B∩C=20-1=19。习题3.4×1.解⑴20=27+6;⑵58=2×27+4;⑶3=0×8+3;26
×⑷57=319+0。2.解⑴因为35=2×14+7,14=2×7。所以,14和35的最大公因数为7,即GCD(14,35)=7,且由以上两式可推得7=1×35-2×14。⑵因为58=1×34+24,34=1×24+10,24=2×10+4,10=2×4+2,4=2×2。所以34和58的最大公因数为2,即GCD(34,58)=2,且由以上各式可推得2=12×34-7×58。⑶因为252=1×180+72,180=2×72+36,72=2×36。所以,180和252的最大公因××数为36,即GCD(180,252)=36,且由以上各式可推得36=3180-2252。⑷因为128=1×77+51,77=1×51+26,51=1×26+25,26=1×25+1。所以128和77互素,即GCD(128,77)=1,且由以上各式可推得1=5×77-3×128。3.解⑴因为108=1×72+36,72=2×36,所以GCD(108,72)=36,因此×LCM(108,72)=10872/36=216。⑵因为245=1×175+70,175=2×70+35,70=2×35,所以GCD(245,175)=35,因此LCM(245,175)=245×175/35=1225。⑶因为252=1×180+72,180=2×72+36,72=2×36,所以GCD(252,180)=36,因此LCM(252,180)=252×180/36=1260。⑷因为81=1×64+15,64=4×15+4,15=3×4+3,3=1×3+1,1=1×1,所以×GCD(64,81)=1,因此LCM(64,81)=6481=5184。4.证明⑴设GCDabc(,)=d1,则存在整数s1、t1,使得sa1+tbc1=d1,因为d是a、b的最大公因数,所以,da|、db|。因此,dd|①1另一方面,因为d1是a、bc的最大公因数,所以d1|a、d1|bc,因此,d1与c互素,否则d1与c有大于1的公因数d2,则d2⎢c,d2⎢d1,又d1|a,由整除的传递性,所以,d2|a。因此,a与c有大于1的因数d,这与GCD(a,c)=1矛盾。2由于d与c互素,且d|bc,由定理6,则d|b,又d|a,因此1111d|d②1由于d、d1都是正整数,由①②可得d1=d。⑵因为b,c都和a互素,则GCD(a,b)=1,GCD(a,c)=1,由⑴则有GCD(a,bc)=1,即bc也和a互素。5.证明设GCD(a,b)=d,则d⎢a,d⎢b。因为c>0,所以,cd⎢ac,cd⎢bc。∈另一方面,因为GCD(a,b)=d,所以存在s,tI,使得sa+tb=d,此式两边同乘c得sac+tbc=cd因此,对于任何的正整数e,若e⎢ac,e⎢bc,则e⎢cd。又因为cd>0,故cd是ac和bc的最大公因数,即GCD(ac,bc)=cd=c⋅GCD(a,b)。6.证明因为a⎢m,所以存在整数q,使得m=aq又b⎢m,即baq|,而a、b互素,由定理6,则有bq|。因此,存在整数q1,使得,q=bq1代入既可得m=abq1即ab|m。7.证明设k=mq+r(0≤r,<φ,y>,<{x},x>,<{x},y>,<{y},x>,<{y},y>,<{x,y},x>,<{x,y},y>}。3.解⑴不正确。例如令A=φ,B={1,2},C={x},则A×B=A×C=φ⑵正确。因为,∀∈(A-B)×C⇒x∈(A-B)∧y∈C⇒x∈A∧x∉B∧y∈C⇒x∈A∧y∈C∧x∉B∧y∈C⇒∈A×C∧∉B×C⇒∈(A×C-B×C)。所以,(A-B)×C⊆(A×C-B×C)。又因为,∀∈(A×C-B×C)⇒∈A×C∧∉B×C30
⇒(x∈A∧y∈C)∧[(x∉B∧y∈C)∨(x∈B∧y∉C)∨(x∉B∧y∉C)]⇒x∈A∧(x∉B∧y∈C)⇒(x∈A∧x∉B)∧y∈C⇒x∈(A-B)∧y∈C⇒∈(A-B)×C。所以,(A×C-B×C)⊆(A-B)×C。综上所述,(A–B)×C=(A×C–B×C)。⑶正确。例如A=φ,A×A=φ,显然A⊆A×A。但是当A≠φ时,因为A×A是由集合A中的两个元素的序偶组成的集合,所以A⊆A×A一般不成立。4.证明(1)∀∈A×(B∪C)⇔(x∈A∧y∈(B∪C))⇔(x∈A∧(y∈B∨y∈C))⇔(x∈A∧y∈B)∨(x∈A∧y∈C)⇔(∈A×B)∨(∈A×C)⇔∈((A×B)∪(A×C))因此A×(B∪C)=(A×B)∪(A×C)。同理可证(2)。5.证明⑴∀∈(A×C)∪(B×D)⇔∈(A×C)∨∈(B×D)⇔∈(A×C)∨∈(B×D)⇔(x∈A∧y∈C)∨(x∈B∧y∈D)⇔(x∈A∨x∈B)∧(x∈A∨y∈D)∧(y∈C∨x∈B)∧(y∈C∨y∈D)⇒(x∈A∨x∈B)∧(y∈C∨y∈D)⇔x∈(A∪B)∧y∈(C∪D)⇔∈(A∪B)×(C∪D)。因此,(A×C)∪(B×D)⊆(A∪B)×(C∪D)。⑵设∀x∈A,若∈A×A,而A×A=B×B,所以,∈B×B,即x∈B,因此A⊆B;同理可证B⊆A;故A=B。习题4.21.解因为,A×B={(1,a),(2,a),(3,a)},所以,R1=φ、R2={<1,a>}、R3={<2,a>}、R4={<3,a>}、R5={<1,a>,<2,a>}、R6={<1,a>,<3,a>}、R7={<2,a>,<3,a>}、R8={<1,a>,<2,a>,<3,a>}。2.解L={<1,1>,<2,1>,<2,2>,<3,1>,<3,2>,<3,3>,<4,1>,<4,2>,<4,3>,<4,4>,<8,1>,<8,2>,<8,3>,<8,4>,<8,8>,<9,1>,<9,2>,<9,3>,<9,4>,<9,8>,<9,9>};D={<1,1>,<1,2>,<1,3>,<1,4>,<1,8>,<1,9>,<2,2>,<2,4>,<2,8>,<3,3>,<3,9>,<4,4>,<4,8>,<8,8>,<9,9>}L∩D={<1,1>,<2,2>,<3,3>,<4,4>,<8,8>,<9,9>}L∪D={<1,1>,<1,2>,<1,3>,<1,4>,<1,8>,<1,9>,<2,1>,<2,2>,<2,4>,<2,8>,<3,1>,<3,2>,<3,3>,<3,9>,<4,1>,<4,2>,<4,3>,<4,4>,<4,8>,<8,1>,<8,2>,<8,3>,<8,4>,<8,8>,<9,1>,<9,2>,<9,3>,<9,4>,<9,8>,<9,9>}L-D={<2,1>,<3,1>,<3,2>,<4,1>,<4,2>,<4,3>,<8,1>,<8,2>,<8,3>,<8,4>,<9,1>,<9,2>,<9,3>,<9,4>,<9,8>}3.解X∪Y={a,b,c,d},则X∪Y上的全域关系U、恒等关系I分别为U={,,,,,,,,,,,,,,,};I={,,,}。4.解P∩Q={<1,2>,<2,3>};P∪Q={<1,2>,<1,4>,<2,3>,<4,4>,<4,2>};domP={1,2,4},ranP={2,3,4};domQ={1,2,4},ranQ={2,3};dom(P∪Q)={1,2,4},ran(P∪Q)={2,3,4}。5.证明(1)对于任意元素x∈A,31
x∈dom(R1∪R2)⇔∃y(∈R1∪R2)⇔∃y(∈R1∨∈R2)⇔x∈dom(R1)∨x∈dom(R2)⇔x∈(dom(R1)∪dom(R2))故dom(R1∪R2)=domR1∪domR2(2)对于任意元素y∈By∈ran(R1∩R2)⇔∃x(∈R1∩R2)⇔∃x(∈R1∧∈R2)⇒∃x(∈R1)∧∃x(∈R2)⇔y∈ranR1∧y∈ranR2⇔y∈(ranR1∩ranR2)。故ran(R1∩R2)⊆ranR1∩ranR26.解R1={<1,1>,<1,2>,<2,1>,<2,2>};R2={<2,3>,<4,1>};R3={<0,0>,<0,1>,<0,2>,<0,4>,<0,6>,<0,8>,<1,1>,<2,2>,<4,4>,<6,6>,<8,8>};R4={<0,1>,<1,1>,<1,2>,<1,3>,<2,1>,<2,3>,<4,1>,<4,3>,<6,1>,<8,1>,<8,3>}⎛111111⎞⎡100⎤⎡000⎤⎡000⎤⎜⎟⎢⎥⎢110⎥⎢000⎥⎜010000⎟⎢111⎥⎢⎥⎢⎥⎜⎟⎢110⎥⎢001⎥001000⎢101⎥MR1=⎢⎥,MR2=⎢⎥,MR3=⎜⎟,MR4=⎢⎥。⎢000⎥⎢100⎥⎜000100⎟⎢101⎥⎢000⎥⎢000⎥⎜000010⎟⎢100⎥⎢⎥⎢⎥⎜⎟⎢⎥⎢⎣000⎥⎦⎢⎣000⎥⎦⎜000001⎟⎢101⎥⎝⎠⎣⎦关系图如下:010000111111122222222444446366663388888R1R2R3R4图4-1习题4.31.解从关系复合的定义来求:R1·R2={<1,4>,<1,3>,<3,2>,<4,2>};R2·R1={<1,3>,<2,3>};R21=R1·R1={<1,1>,<1,2>,<3,3>,<4,3>};R22=R2·R2={<2,2>,<3,3>,<3,4>}。2.解dom(R1·R2)⊆A;ran(R1·R2)⊆C。3.解(1)利用定义求解,R1={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,3>};R2={<3,1>};R1·R2={<1,1>,<2,1>,<3,1>};R1·R2·R1={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>};R-11={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<3,1>,<3,2>,<3,3>};(2)利用矩阵求解,32
⎡111⎤⎡000⎤⎢⎥⎢⎥M=111;M=000;R1⎢⎥R2⎢⎥⎢⎣101⎥⎦⎢⎣100⎥⎦⎡111⎤⎡000⎤⎡100⎤⎢⎥⎢⎥⎢⎥M=MoM=111o000=100;R1⋅R2R1R2⎢⎥⎢⎥⎢⎥⎢⎣101⎥⎦⎢⎣100⎥⎦⎢⎣100⎥⎦⎡100⎤⎡111⎤⎡111⎤⎢⎥⎢⎥⎢⎥MR1⋅R2⋅R1=MR1⋅R2oMR1=⎢100⎥o⎢111⎥=⎢111⎥;⎢⎣100⎥⎦⎢⎣101⎥⎦⎢⎣111⎥⎦⎡111⎤T⎢⎥MR−1=MR=110。11⎢⎥⎢⎣111⎥⎦关系图如图4-2:111232323R1·R2R2R1113232R1·R2·R1R1-1图4-24.解R={<1,2>,<2,3>,<3,1>,<4,5>,<5,4>},R2={<1,3>,<2,1>,<3,2>,<4,4>,<5,5>,},R3={<1,1>,<2,2>,<3,3>,<4,5>,<5,4>},R4={<1,2>,<2,3>,<3,1>,<4,4>,<5,5>},R5={<1,3>,<2,1>,<3,2>,<4,5>,<5,4>},R6={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>},R7={<1,2>,<2,3>,<3,1>,<4,5>,<5,4>}=R1。所以,m=1、n=7可使得R1=R7。⎡10110⎤⎢⎥00101⎢⎥5.解MR=⎢00000⎥⎢⎥⎢00001⎥⎢⎣00110⎥⎦33
⎡10110⎤⎡10110⎤⎡10111⎤⎢⎥⎢⎥⎢⎥001010010100110⎢⎥⎢⎥⎢⎥M2=⎢00000⎥o⎢00000⎥=⎢00000⎥R⎢⎥⎢⎥⎢⎥⎢00001⎥⎢00001⎥⎢00110⎥⎢⎣00110⎥⎦⎢⎣00110⎥⎦⎢⎣00001⎥⎦⎡10111⎤⎡10110⎤⎡10111⎤⎢⎥⎢⎥⎢⎥001100010100001⎢⎥⎢⎥⎢⎥M3=⎢00000⎥o⎢00000⎥=⎢00000⎥R⎢⎥⎢⎥⎢⎥⎢00110⎥⎢00001⎥⎢00001⎥⎢⎣00001⎥⎦⎢⎣00110⎥⎦⎢⎣00110⎥⎦⎡10111⎤⎡10110⎤⎡10111⎤⎢⎥⎢⎥⎢⎥000010010100110⎢⎥⎢⎥⎢⎥M4=⎢00000⎥o⎢00000⎥=⎢00000⎥R⎢⎥⎢⎥⎢⎥⎢00001⎥⎢00001⎥⎢00110⎥⎢⎣00110⎥⎦⎢⎣00110⎥⎦⎢⎣00001⎥⎦=M2,R因此,M5=M4oM=M2oM=M3,RRRRRR2k22k+13一般地,R=R,R=R,(k≥1)。6.证明⑴对于任意的∈(R-S)-1,则∈R-S,所以,∈R,但∉S,因此,再由逆关系的定义有,∈R-1,而∉S-1,故∈R-1-S-1。即(R-S)-1⊆R-1-S-1。同理可证R-1-S-1⊆(R-S)-1。综合可得(R-S)-1=R-1-S-1。⑵由集合的笛卡尔积和逆关系的定义,因为,对于任意的a∈A,b∈B都有,∈B×A,则∈A×B,所以,∈(A×B)-1,即B×A⊆(A×B)-1,另一方面,因为,对于任意的a∈A,b∈B都有,∈(A×B)-1,所以,则∈A×B,所以,∈B×A,即(A×B)-1⊆B×A。综合上述有,(A×B)-1=B×A。⑶用反证法证明φ-1=φ,假设存在a∈A,b∈B使得,∈φ-1,则∈φ,这与φ是空集矛盾。⑷先证明R⊆S⇒R-1⊆S-1。对于任意的a∈A,b∈B,若∈R-1,由逆关系的定义则∈R,而R⊆S,所以,∈S,因此,∈S-1,即R-1⊆S-1。再证明R-1⊆S-1⇒R⊆S。若∈R,则∈R-1,而R-1⊆S-1,所以,∈S-1,因此,∈S,即R⊆S。习题4.41.解如表4-2关系自反的反自反的对称的反对称的传递的R1NNYNYR2NYYNN34
R3NYNYN表4-22.解⑴R具有自反性,因为对于任意的x∈I,x(x-1)=x(x-1),即∈R,所以R具有自反性;⑵因为R具有自反性,所以R不具有反自反性;⑶R具有对称性,因为对于任意的x,y∈I,若∈R,则x(x-1)=y(y-1),所以y(y-1)=x(x-1),即∈R,因此R具有对称性;⑷显然R不具有反对称性;⑸R具有传递性,设∈R,∈R,即x(x-1)=y(y-1),y(y-1)=z(z-1),显然有x(x-1)=z(z-1),即∈R,所以R具有传递性。3.解(1)R={<0,0>,<0,1>,<0,2>,<0,4>,<1,0>,01<1,1>,<1,2>,<1,4>,<2,0>,<2,1>,<2,2>,<4,0>,<4,1>},关系图如图4-3。⑵R具有对称性。44.解若A上关系R是反对称的,则R∩R-1关系矩阵M-12图4-3R∩R中最多只有主对角线上有非零值,即最多只有|A|个非零值。5.解答案可以有很多组,下面给出一组答案如下。(1)R={<1,1>};(2)R={<1,2>,<2,1>,<3,1>};(3)R={<2,2>,<3,3>};(4)R={<1,2>,<2,3>,<1,3>}。6.证明因为,R1,R2为集合A上的自反关系,则对于任意的x∈A,有∈R1,且∈R2,因此,∈R1·R2,故R1·R2是A上的自反关系。习题4.51.解r(R1)=R1∪IA={,,,,};−1s(R1)=R1∪R={,,,};1t(R1)={,,};r(R2)=R2∪IA={,,,,,}−1s(R2)=R2∪R={,,,,,,}2t(R2)={,,,,,,,,}关系矩阵如下:⎡010⎤⎡110⎤⎡010⎤⎡011⎤⎢⎥⎢⎥⎢⎥⎢⎥M=001,M=011,M=101,M=001,R1⎢⎥r(R1)⎢⎥s(R1)⎢⎥t(R1)⎢⎥⎢⎣000⎥⎦⎢⎣001⎥⎦⎢⎣010⎥⎦⎢⎣000⎥⎦⎡110⎤⎡110⎤⎡111⎤⎡111⎤⎢⎥⎢⎥⎢⎥⎢⎥M=001,M=011,M=101,M=111。R2⎢⎥r(R2)⎢⎥s(R2)⎢⎥t(R2)⎢⎥⎢⎣100⎥⎦⎢⎣101⎥⎦⎢⎣110⎥⎦⎢⎣111⎥⎦关系图如图4-4:35
bbacacR1R2bbbacacacr(R1)s(R1)t(R1)bbbacacacr(R2)s(R2)t(R2)图4-4⎡010⎤⎡100⎤⎡010⎤⎢⎥⎢⎥T⎢⎥2.解MR=⎢100⎥,MIA=⎢010⎥,MR−1=MR=⎢101⎥⎢⎣011⎥⎦⎢⎣001⎥⎦⎢⎣001⎥⎦⎡110⎤⎡010⎤⎢⎥⎢⎥则Mr(R)=MR∨MIA=⎢110⎥;Ms(R)=MR∨MR−1=⎢101⎥;⎢⎣011⎥⎦⎢⎣011⎥⎦⎡010⎤⎡010⎤⎡100⎤⎢⎥⎢⎥⎢⎥MR2=MRoMR=⎢100⎥o⎢100⎥=⎢010⎥,⎢⎣011⎥⎦⎢⎣011⎥⎦⎢⎣111⎥⎦⎡100⎤⎡010⎤⎡010⎤⎢⎥⎢⎥⎢⎥MR3=MR2oMR=⎢010⎥o⎢100⎥=⎢100⎥⎢⎣111⎥⎦⎢⎣011⎥⎦⎢⎣111⎥⎦⎡010⎤⎡010⎤⎡100⎤⎢⎥⎢⎥⎢⎥M4=M3oM=100o100=010=M2,RRR⎢⎥⎢⎥⎢⎥R⎢⎣111⎥⎦⎢⎣011⎥⎦⎢⎣111⎥⎦⎡110⎤⎢⎥M=M∨M2∨M3=110;t(R)RRR⎢⎥⎢⎣111⎥⎦⎡100⎤⎡010⎤⎡110⎤⎢⎥⎢⎥⎢⎥M=M∨M=010∨101=111;rs(R)Is(R)⎢⎥⎢⎥⎢⎥⎢⎣001⎥⎦⎢⎣011⎥⎦⎢⎣011⎥⎦36
⎡110⎤⎡110⎤⎡110⎤⎢⎥⎢⎥⎢⎥M=M∨M−1=110∨111=111。sr(R)r(R)(r(R))⎢⎥⎢⎥⎢⎥⎢⎣011⎥⎦⎢⎣001⎥⎦⎢⎣011⎥⎦3.证明⑴因为,R1⊆R2,所以,IA∪R1⊆IA∪R2,即r(R1)⊆r(R2)。−1−1−1−1⑵因为,R1⊆R2,由习题4.3第6⑷题可得R⊆R,所以,R∪R⊆R∪R,即121122s(R1)⊆s(R2)。2233nn+⑶因为,R1⊆R2,所以,R⊆R,R⊆R,L,R⊆R(n∈I),L,则12121223n23nR∪R∪R∪L∪R∪L⊆R∪R∪R∪L∪R∪L,即11112222t(R1)⊆t(R2)。4.证明⑴由自反闭包的定义又r(R1)=IA∪R1⊆IA∪R1∪R2=r(R1∪R2),同理有r(R2)=IA∪R2⊆IA∪R1∪R2=r(R1∪R2),所以有r(R1)∪r(R2)⊆r(R1∪R2);另一方面,∀∈r(R1∪R2)=IA∪R1∪R2,下面分两种情况来证明∈r(R)∪r(R)。12①如果a=b,则∈IA,所以∈r(R)∪r(R);12②如果a≠b,则∈R1∪R2,因此,∈R1或R2,若∈R1,则∈r(R),所以,∈r(R)∪r(R),同理,若∈R,则1122∈r(R2),所以,∈r(R1)∪r(R2)。故r(R1∪R2)⊆r(R1)∪r(R2)。综上所述,r(R1∪R2)=r(R1)∪r(R2)。⑵因为R1⊆R1∪R2,且R2⊆R1∪R2,所以由第3题有s(R1)⊆s(R1∪R2),且s(R2)⊆s(R1∪R2),因此,s(R1)∪s(R2)⊆s(R1∪R2);−1另一方面,∀∈s(R∪R)=(R∪R)∪(R∪R),则∈(R∪R)12121212−1或∈(R1∪R2),①若∈(R1∪R2),则∈R1或∈R2,所以,∈s(R1)或∈s(R2),因此,∈s(R1)∪s(R2);②若∈(R∪R)−1,则∈(R∪R),所以,∈R或∈R,因此,121212−1−1∈R1或∈R2,所以,∈s(R1)或∈s(R2),因此,∈s(R1)∪s(R2)。37
故s(R1∪R2)⊆s(R1)∪s(R2)。综上所述,s(R1∪R2)=s(R1)∪s(R2)。⑶对于任取的∈t(R1)∪t(R2),则∈t(R1)或∈t(R2)。若∈t(R1),则存在正整数mmm使得∈R,因此∈(R∪R),所以,∈t(R1∪R2);同理若∈t(R2),112可证∈t(R1∪R2)。综上所述,t(R1)∪t(R2)⊆t(R1∪R2)。5.解R={}是集合A={x,y}上的二元关系,则st(R)={,},而ts(R)={,,,}。因此st(R)≠ts(R)。6.证明rt(R)=r(R∪R2∪…∪Rn∪…)=I2nA∪R∪R∪…∪R∪…=(I2nA∪R)∪(IA∪R)∪…∪(IA∪R)∪…⊆(I2nA∪R)∪(IA∪R)∪…∪(IA∪R)∪…=tr(R)。反之,对于任意的∈tr(R),则存在正整数n,使得∈(In2A∪R),即∈IA∪R∪R∪…∪Rn,亦即∈rt(R),所以,tr(R)⊆rt(R)。综上所述,tr(R)=rt(R)。习题4.61.解A上共有15个等价关系。由等价关系和划分是一一对应关系,而A共有如下的15个划分:π1={{1,2,3,4}},π2={{1},{1,2,3,4}},π3={{2},{1,3,4}},π4={{3},{1,2,4}},π5={{4},{1,2,3}},π6={{1,2},{3,4}},π7={{1,3},{2,4}},π8={{1,4},{2,3}},π9={{1,2},{3},{4}},π10={{1,3},{2},{4}},π11={{1,4},{2},{3}},π12={{2,3},{1},{4}},π13={{2,4},{1},{3}},π14={{3,4},{1},{2}},π15={{1},{2},{3},{4}}。与每个划分对应的等价关系由读者自行给出。2.证明要证明R是A上的等价关系,只需证明R是A上的自反关系。事实上,因为,∀a∈A,总存在一个元素b∈A,使∈R,而R是集合A中的对称关系,所以∈R,又因为R是A上的传递关系,有∈R且∈R时,可得∈R,即R是集合A中的自反关系。故R是等价关系。3.解⑴R={a,d,e}×{a,d,e}∪{b,c}×{b,c}={,,,,,,,,}∪{,,,}⑵关系图如图4-5。ab⎛10011⎞⎜⎟⎜01100⎟M=⎜01100⎟⎜⎟dec⎜10011⎟⎜⎟图4-5⎝10011⎠4.解⑴不是等价关系。例如设A={1,2,3},R1={<1,1>,<1,2>,<2,1>,<2,2>,<3,3>},而显然A2-R1={<1,3>,<2,3>,<3,1>,<3,2>}不是等价关系;⑵不是等价关系。例如A={1,2,3},R1={<1,1>,<1,2>,<2,1>,<2,2>,<3,3>},R2={<1,1>,<2,2>,<2,3>,<3,2>,<3,3>},而显然R1-R2={<1,1>,<1,2>}不是等价关系;⑶不是等价关系,令A={1,2,3},R1={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<2,3>,<3,2>,<1,3>,<3,1>},R2={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>}R1-R2={<2,3>,<3,2>,<1,3>,<3,1>},r(R1-R2)=(R1-R2)∪IA={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>,<1,3>,<3,1>},因为<1,3>∈R1-R2,<3,2>∈R1-R2,但<1,2>∉R1-R2,显然R1-R2不具有传递性,所以R1-R2不是等价关系。(4)不是等价关系,令A={1,2,3},R1={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>},R2={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>},38
R1·R2={<1,1>,<1,2>,<2,2>,<2,1>,<3,3>,<2,3>,<3,1>,<3,2>},因为<3,1>∈R1·R2,但<1,3>∉R1·R2,所以R1·R2不是等价关系。(5)不是等价关系,令A={1,2,3},R1={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>},R2={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>}R1∪R2={<1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<2,3>,<3,2>},因为<1,2>∈R1,<2,3>∈R2,但<1,3>∉R1·R2,显然R1∪R2不具有传递性,所以R1∪R2不是等价关系。5.解⑴若π1=π2,则π1∪π2是集合A的划分,其它情况π1∪π2不是集合A的划分;例如设A={1,2,3},π1={{1},{2,3}},π2={{1,2},{3}},而π1∪π2={{1},{1,2},{2,3},{3}}不是划分。⑵若π1=π2,则π1∩π2是集合A的划分,其它情况π1∩π2不是集合A的划分,例如设A={1,2,3},π1={{1},{2,3}},π2={{1},{2},{3}},而π1∪π2={{1}}不是集合A的划分;⑶若π1∩π2=φ,则π1-π2是集合A的划分,其它情况π1-π2不是集合A的划分,例如设A={1,2,3},π1={{1},{2,3}},π2={{1},{2},{3}},而π1-π2={{2,3}}不是集合A的划分;⑷因为(π1∩(π2―π1))∪π1=π1,所以(π1∩(π2―π1))∪π1是集合A的划分。6.证明(1)①对任意的x∈I,x2=x2,即∈R,所以R是自反的;②对任意的∈R,即x2=y2,则y2=x2,即∈R,所以R是对称的;③对任意的∈R,∈R,即x2=y2,y2=z2,显然x2=z2,亦即∈R,所以R是传递的;综合①、②、③可知R是等价关系。(2)R的等价类可以分为{[0],[1],[2],…},其中[0]={0},[1]=[-1]={1,-1},[2]=[-2]={2,-2},…,[n]=[-n]={n,-n},…。习题4.71.证明(1)自反性。因为对任意的x∈X,∈I-1X,所以∈IX∪R∪R=R,即R是自反的;(2)对称性。对于任意的∈IX∪R∪R-1,且x≠y,显然∈R∪R-1,则∈R,或∈R-1,因此,∈R-1,或∈R,从而有∈R∪R-1,所以∈I-1X∪R∪R=R,即R是对称的;综上所述,R是X上的相容关系。2.证明(1)对任意的x∈A,有∈R,所以R是自反的;(2)设任意的∈R,且x≠y,都有R,即R是对称的;综上所述,R是A上的相容关系。R的关系矩阵如下,关系图如图4-6:⎛111000⎞1⎜⎟6⎜111110⎟52⎜111100⎟M=⎜⎟,⎜011110⎟34⎜⎟010110图4-6⎜⎟⎜⎝000001⎟⎠最大相容类为:{1,2,3},{2,3,4},{2,4,5},{6}。习题4.81.解从R的定义中,显见R具有自反性、反对称性、传递性,所以R是A上的偏序关系,即是偏序集。COVA={<1,2>,<1,3>,<2,4>,<3,5,>,<4,5>}2.解(1)从哈斯图可以看出aR/b,dRa,cR/d,cR/b,bR/c,aRa,eRa39
(2)R的关系图如图4-9:(3)A的最大元为a,无最小元,极大元为a,极小元为d,e;(4)出集合A及其子集B1={c,d,e},B2={b,c,d},B3={a,c,d,e}的上界,下界,上确界,下确界如表1。5aa43ccbb2de1de图4-7图4-8图4-9上界下界上确界下确界A={a,b,c,d,e}a无a无B1={c,d,e}c,a无c无B2={b,c,d}adadB3={a,c,d,e}a无a无表13.填写表2,区分偏序集的子集B上的最大(小)元,极大(小)元,上(下)界,上(下)确界。b是B的…定义b∈B否存在性唯一性b∈B且b大于B中其最大元素是不一定存在存在则唯一它每个元素b∈B且b小于B中其最小元素是不一定存在存在则唯一它每个元素b∈B且b不小于B极大元素是不一定存在不一定唯一中其它每个元素b∈B且b不大于B极小元素是不一定存在不一定唯一中其它每个元素b∈A且b大于B中上界不一定不一定存在不一定唯一每个元素b∈A且b小于B中下界不一定不一定存在不一定唯一每个元素上确界B的上界中的最小者不一定不一定存在存在则唯一下确界B的下界中的最大者不一定不一定存在存在则唯一表24.解⑴是偏序集,不是其它集合;⑵是拟序集,不是其它集合;⑶是偏序集、全序集、良序集,不是拟序集;⑷是偏序集、全序集、良序集,不是拟序集;复习题四1.证明对于任意的b∈B,因为A非空,所以存在a∈A,且∈A×B,因为A×B=A×C,所以∈A×C,从而b∈C,因此B⊆C。同理可证C⊆B。故B=C。40
2.证明利用集合相等的定义去证,即分别证明IA·R⊆R,R⊆IA·R;⑴对于任意的∈IA·R,必存在z,满足∈IA,∈R,而∈IA⇔x=z,所以∈R,即IA·R⊆R;⑵对于任意的∈R,因为∈IA,所以∈IA·R,即R⊆IA·R;综上所述,IA·R=R。4.解①R不具有自反性,因为φ∈(A),但φ∩φ=φ,所以<φ,φ>∉R,故R不具有自反性。②R不具有反自反性,因为{1}∈P(A)且{1}∩{1}={1}≠φ,所以<{1},{1}>∈R,故R不具有反自反性。③R具有对称性,∀x,y∈P(A),若∈R,则x∩y≠φ,所以y∩x≠φ,因此∈R,故R具有对称性。④R不具有反对称性,设x={1,2},y={1,3},则x∩y=y∩x={1}≠φ,由R的定义易知,∈R且∈R,但x≠y,故R不具有反对称性。⑤R不具有传递性,设x={1},y={1,2},z={2},则有x∩y={1}≠φ且y∩z={2}≠φ,所以∈R且∈R,但x∩z=φ,所以∉R,故R不具有传递性。5.证明设R是集合X上的一个自反关系,如果R是X上对称和传递的,则对于任意a,b,c∈X,若有∈R∧∈R,则∈R∧∈R,故得R反之,若∈R,∈R,必有∈R,则对任意a,b∈X,若∈R,而因为R是自反关系,所以∈R),故∈R,即R是对称的。若∈R∧∈R,则∈R∧∈R,所以∈R,即R是可传递的。6.证明(1)因为R+=t(R)是传递的,所以,(R+)+=t(R+)=t(t(R))=t(R)=R+(2)因为R*=IA∪R+=IA∪(R∪R2∪R3∪…)R·R*=R·(IA∪(R∪R2∪R3∪…))=R·IA∪R·R∪R·R2∪…=R∪R2∪R3∪…=R+同理可证,R*·R=R+。(3)(R*)*=(R*)+∪I****A=t(R)∪IA=R∪IA(因为R是传递的)=R7.证明(1)自反性。对于任意的∀x∈A,∀y∈B,若∈A×B,因为R1和R2分别是A和B上的等价关系,所以有∈R1,∈R2,因此根据R3的定义有<,>∈R3,即R3是自反的;(2)对称性。设任意的<,>∈R3,根据R3的定义有∈R1且∈R2,而因为R1和R2都具有对称性,所以∈R1且∈R2,因此<,>∈R3,即R3是对称的;(3)传递性。设任意<,>∈R3,<,>∈R3,根据R3的定义有∈R1且∈R2,∈R1且∈R2,因为R1和R2都具有传递性,所以∈R1且∈R2,因此<,>∈R3,即R3是传递的。综上所述,R3是A×B上的等价关系。8.解(1)E=rts(R)。(2)要证明E=rts(R)是等价关系,只要证明ts(R)具有对称性即可,对任意的∈ts(R),则存在正整数k使得∈(s(R))k,存在z1,z2,┅,zk∈A,满足∈s(R),∈s(R),┅,∈s(R),因为s(R)是对称的,所以∈s(R),∈s(R),┅,∈s(R),因此∈(s(R)),即∈ts(R),亦即ts(R)是对称的。41
(3)因为R={<1,2>,<1,3>,<4,4>,<4,5>},则s(R)={<1,2>,<1,3>,<2,1>,<3,1>,<4,4>,<4,5>,<5,4>},ts(R)={<1,1>,<1,2>,<1,3>,<2,1>,<2,2>,<2,3>,<3,1>,<3,2>,<3,3>,<4,4>,<4,5>,<5,4>,<5,5>},显然rts(R)=ts(R)是等价关系。9.证明(1)①必要性。若R是一偏序关系,则R是自反的、反对称的和传递的,。而又R是传递的,可得R=t(R);又因为R是自反的,所以IA⊆R,因而R=rt(R)。-1-1-1若R是偏序关系,则R也是偏序关系,所以IA⊆R。所以IA⊆R∩R。又∈R-1∩R⇔∈R-1∧∈R⇔∈R∧∈R,由R的反对称性,所以x=y,即∈I-1-1A。因而R∩R⊆IA。故IA=R∩R②充分性。若R-1∩R=IA且R=t(R),则R是自反的、传递的。下面证明R是反对称的,若∈R,∈R,则∈R且∈R-1,所以∈R∩R-1=IA,即x=y。因而R是反对称的。故R是偏序关系。(2)①必要性。若R是拟序关系,则R是反自反的、反对称的和传递的,因为R是传递的,所以R=t(R)。下面再用反证法证明R-1∩R=φ;假设R∩R-1≠φ,则存在某一∈R-1∩R⇔∈R-1∧∈R⇔∈R∧∈R,由R的传递性可知,∈R,这与R的反自反性矛盾,所以R∩R-1=φ。②充分性。若R=t(R),可得R是传递的。若R不是反自反的,则存在某一x∈A,使得∈R,所以∈R-1,这与R-1∩R=φ矛盾,因此R是反对称的。故R是拟序关系。第五章函数习题5.11.解(1)是X到Y的函数,其定义域为domf=A={1,2,3},其值域为ranf={a,c}.(2)是X到Y的函数,其定义域为domf=A={1,2,3},其值域为ranf=B={a,b,c}.(3)不是X到Y的函数,∵存在lfb和lfc与函数定义矛盾。(4)是X到Y的函数,其定义域为domf=A={1,2,3},其值域为ranf={b}.2.解因为,f:I→I+,由f(x)=|x|+2给出,,即x∈I,|x|≥0,则f(x)=|x|+2≥2故它的值域为ranf=N-{0,1}.3.解(1)f(A)=f({5})={<5,6>},f-1(B)=f-1({<2,3>})={2};(2)f(A)=f({2,3})={5,7},f-1(B)=f-1({1,3})={0,1};(3)f(A)=f((0,1))=(1/4,3/4),f-1(B)=f-1([1/4,1/2])=[0,1/2];(4)f(A)=f({0,1/2})={1,2/3},f-1(B)=f-1({1/2})={1}.4.解∵|A|=3,|B|=2,∴|BA|=8.即A→B的函数有8个,具体如下:f1={,,},f2={,,},f3={,,},f4={,,},f5={,,},f6={,,},f7={