离散数学第1章习题答案
- 格式:doc
- 大小:450.51 KB
- 文档页数:22
离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一(第一章集合)1. 列出下述集合的全部元素:1)A={x | x ∈N∧x是偶数∧x<15}2)B={x|x∈N∧4+x=3}3)C={x|x是十进制的数字}[解] 1)A={2,4,6,8,10,12,14}2)B=3)C={0,1,2,3,4,5,6,7,8,9}2. 用谓词法表示下列集合:1){奇整数集合}2){小于7的非负整数集合}3){3,5,7,11,13,17,19,23,29}[解] 1){n n I(m I)(n=2m+1)};2){n n I n0n<7};3){p p N p>2p<30(d N)(d1d p(k N)(p=k d))}。
3. 确定下列各命题的真假性:1)2)∈3){}4)∈{}5){a,b}{a,b,c,{a,b,c}}6){a,b}∈(a,b,c,{a,b,c})7){a,b}{a,b,{{a,b,}}}8){a,b}∈{a,b,{{a,b,}}}[解]1)真。
因为空集是任意集合的子集;2)假。
因为空集不含任何元素;3)真。
因为空集是任意集合的子集;4)真。
因为是集合{}的元素;5)真。
因为{a,b}是集合{a,b,c,{a,b,c}}的子集;6)假。
因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;7)真。
因为{a,b}是集合{a,b,{{a,b}}}的子集;8)假。
因为{a,b}不是集合{a,b,{{a,b}}}的元素。
4. 对任意集合A,B,C,确定下列命题的真假性:1)如果A∈B∧B∈C,则A∈C。
2)如果A∈B∧B∈C,则A∈C。
3)如果A B∧B∈C,则A∈C。
[解] 1)假。
例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。
2)假。
例如A={a},B={a,{a}},C={{a},{{a}}},从而A∈B∧B∈C,但、A∈C。
离散数学第3版习题答案离散数学是一门重要的数学学科,它研究的是离散对象和离散结构的数学理论。
离散数学的应用广泛,涉及到计算机科学、信息技术、通信工程等领域。
在学习离散数学的过程中,习题是不可或缺的一部分,通过解答习题可以加深对知识的理解和掌握。
本文将为大家提供《离散数学第3版》习题的答案,希望能对学习者有所帮助。
第一章:命题逻辑1.1 习题答案:1. (a) 真值表如下:p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(b) 命题“p ∧ q”的真值表如下:p | q | p ∧ qT | T | TT | F | FF | T | FF | F | F(c) 命题“p ∨ q”的真值表如下:p | q | p ∨ qT | T | TT | F | TF | T | TF | F | F(d) 命题“p → q”的真值表如下:p | q | p → qT | T | TT | F | FF | T | TF | F | T1.2 习题答案:1. (a) 命题“¬(p ∧ q)”等价于“¬p ∨ ¬q”。
(b) 命题“¬(p ∨ q)”等价于“¬p ∧ ¬q”。
(c) 命题“¬(p → q)”等价于“p ∧ ¬q”。
(d) 命题“¬(p ↔ q)”等价于“(p ∧ ¬q) ∨ (¬p ∧ q)”。
1.3 习题答案:1. (a) 命题“p → q”的否定是“p ∧ ¬q”。
(b) 命题“p ∧ q”的否定是“¬p ∨ ¬q”。
(c) 命题“p ↔ q”的否定是“(p ∧ ¬q) ∨ (¬p ∧ q)”。
(d) 命题“p ∨ q”的否定是“¬p ∧ ¬q”。
1.4 习题答案:1. (a) 命题“p → q”与命题“¬p ∨ q”等价。
离散数学1-6章练习题及答案离散数学练习题第⼀章⼀?填空1?公式(p q) ( p q)的成真赋值为01; 102?设p, r为真命题,q, s为假命题,则复合命题(p q) ( r s)的真值为03?公式(p q)与(p q) ( p q)共同的成真赋值为01 ;104?设A为任意的公式,B为重⾔式,则A B的类型为重⾔式5. 设p, q均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。
⼆.将下列命题符合化1. ■ 7不是⽆理数是不对的。
解:(p),其中p:. 7是⽆理数;或p,其中p: . 7是⽆理数。
2?⼩刘既不怕吃苦,⼜很爱钻研。
解:p q,其中p:⼩刘怕吃苦,q :⼩刘很爱钻研3?只有不怕困难,才能战胜困难。
解:q p,其中p:怕困难,q:战胜困难或p q,其中p:怕困难,q:战胜困难4?只要别⼈有困难,⽼王就帮助别⼈,除⾮困难解决了。
解:r (p q),其中p:别⼈有困难,q:⽼王帮助别⼈,r:困难解决了或:(r p) q,其中p:别⼈有困难,q:⽼王帮助别⼈,r:困难解决了5?整数n是整数当且仅当n能被2整除。
解:p q,其中p:整数n是偶数,q:整数n能被2整除三、求复合命题的真值P:2能整除5, q:旧⾦⼭是美国的⾸都,r:在中国⼀年分四季1. ((p q) r) (r (p q))2?((q p) (r p)) (( p q) r解:p, q为假命题,r为真命题1. (( p q) r) (r (p q))的真值为02. (( q p) (r p)) (( p q) r 的真值为1四、判断推理是否正确设y 2x为实数,推理如下:若y在x=0可导,则y在x=0连续。
y在x=0连续,所以y在x=0可导。
解:y 2x,x为实数,令p: y在x =0可导,q: y在x=0连续。
P为假命题,q为真命题,推理符号化为:(p q) q p,由p, q得真值可知,推理的真值为0,所以推理不正确。
第1章习题1.1(2) 简单命题(3),(4),(5)不是命题(6) 复合命题1.5p∧,其中,p:2是偶数,q:2是素数。
(1)qp→,其中,p:天下大雨,q:他乘公共汽车上班(5)qq→,其中,p,q的含义同(5)(6)pq→,其中,p,q的含义同(5)(7)p1.7(1)对(1)采用两种方法判断它是重言式。
真值表法表1.2给出了(1)中公式的真值表,由于真值表的最后一列全为1,所以,(1)为重等值演算法→)p∨∨q(rp∨⇔(蕴含等值式)∨⌝qp∨(r)p∨⌝⇔)((结合律)p∨∨rqp⇔1(排中律)∨rq∨⇔(零律)1由最后一步可知,(1)为重言式。
(3)用等值演算法判(3)为矛盾式(→⌝)p∧qq⌝⇔)((蕴含等值式)⌝q∨qp∧⇔(德·摩根律)⌝∧p∧qq∧⇔(结合律)⌝(q)qp∧0∧⇔p (矛盾律)0⇔(零律)由最后一步可知,(3)为矛盾式。
(10)非重言式的可满足式 1.8(1)从左边开始演算)()(q p q p ⌝∧∨∧)(q q p ⌝∨∧⇔ (分配律)1∧⇔p (排中律) .p ⇔ (同一律)(2)从右边开始演算)(r q p ∧→)(r q p ∧∨⌝⇔ (蕴含等值式) )()(r p q p ∨⌝∧∨⌝⇔ (分配律) ).()(r p q p →∧→⇔ (蕴含等值式)1.9(1)))((p q p →∧⌝ ))((p q p ∨∧⌝⌝⇔ (蕴含等值式)p q p ⌝∧∧⇔(德·摩根律) q p p ∧⌝∧⇔)((结合律、交换律)q ∧⇔0 (矛盾式).0⇔(零律)由最后一步可知该公式为矛盾式。
(2))())()((q p p q q p ↔↔→∧→)()(q p q p ↔↔↔⇔(等价等值式)由于较高层次等价号两边的公式相同,因而此公式无成假赋值,所以,它为重言式。
1.12 (1) 设(1)中公式为A.)())((r q p r q p A ∧∧→∧∨⇔ )())((r q p r q p A ∧∧∨∧∨⌝⇔)()(r q p r q p A ∧∧∨⌝∨⌝∧⌝⇔ )()()(r q p r p q p A ∧∧∨⌝∧⌝∨⌝∧⌝⇔)())(())((r q p r q q p r r q p A ∧∧∨⌝∧⌝∨∧⌝∨∨⌝∧⌝∧⌝⇔)()()()()(r q p r q p r q p r q p r q p A ∧∧∨⌝∧∧⌝∨⌝∧⌝∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔)()()()(r q p r q p r q p r q p A ∧∧∨⌝∧∧⌝∨∧⌝∧⌝∨⌝∧⌝∧⌝⇔7210m m m m A ∨∨∨⇔于是,公式A 的主析取范式为7210m m m m ∨∨∨易知,A 的主合取范式为6543M M M M ∨∨∨A 的成真赋值为000, 001, 010, 111A 的成假赋值为011,100,101,110(2)设(2)中公式为B)()(p q q p B ∨⌝→→⌝⇔ )()(p q q p ∨⌝→∨⌝⌝⇔ )()(p q q p ∨⌝→∨⇔ )()(p q q p ∨⌝∨∨⌝⇔ p q q p ∨⌝∨⌝∧⌝⇔)())(())(()(q q p q p p q p ⌝∨∧∨⌝∧⌝∨∨⌝∧⌝⇔)()()()()(q p q p q p q p q p ∧∨⌝∧∨⌝∧∨⌝∧⌝∨⌝∧⌝⇔ )()()(q p q p q p ∧∨⌝∧∨⌝∧⌝⇔320m m m ∨∨⇔所以,B 的主析取范式为320m m m ∨∨.B 的主合取范式为1M B 的成真赋值为00,10,11. B 的成假赋值为01. 1.14 设p:A 输入;设q:B 输入; 设r:C 输入;由题的条件,容易写出C B A F F F ,,的真值表,见表1.5所示.由真值表分别写出它们的主析范邓范式,而后,将它们都化成与之等值的}{↓中的公式即可.)()()()(r q p r q p r q p r q p F A ∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧⇔)()()()(r r q p r r q p ∨⌝∧∧∨∨⌝∧⌝∧⇔)()(q p q p ∧∨⌝∧⇔ )(q q p ∨⌝∧⇔ p ⇔)()(r q p r q p F B ∧∧⌝∨⌝∧∧⌝⇔)()(r r q p ∨⌝∧∧⌝⇔ )(q p ∧⌝⇔ )(q p ∧⌝⌝⌝⇔ )(q p ⌝∨⌝⇔q p ⌝↓⇔)(q q p ↓↓⇔. )(r q p F C ∧⌝∧⌝⇔r q p ∧∨⌝⇔)(r q p ∧↓⇔)( ))((r q p ∧↓⌝⌝⇔ ))((r q p ⌝∨↓⌝⌝⇔ r q p ⌝↓↓⌝⇔)()())()((r r q p q p ↓↓↓↓↓⇔1.19 (1)证明 ①r q ∨⌝ 前提引入②r ⌝ 前提引入③q ⌝ ①②析取三段论 ④)(q p ⌝∧⌝ 前提引入 ⑤q p ∨⌝ ④置换⑥p ⌝ ③⑤析取三段论 (2)附加前提证明法:证明 ①r 附加前提引入 ②r p ⌝∨ 前提引入③p ①②析取三段论④)(s q p →→ 前提引入 ⑤s q → ③④假言推理 ⑥q 前提引入 ⑦s ⑤⑥假言推理 (5)归缪法:证明 ①q 结论的否定引入②s r ∨⌝ 前提引入 ③s ⌝ 前提引入④r ⌝ ②③析取三段论 ⑤r q p →∧)( 前提引入 ⑥)(q p ∧⌝ ④⑤拒取式 ⑦q p ⌝∨⌝ ⑥置换⑧p 前提引入⑨q ⌝ ⑦⑧析取三段论 ⑩q q ⌝∧ ①⑨合取 ⑪0 ⑩置换 1.20 设p :他是理科生q :他是文科生 r :他学好数学 前提 r p q r p ⌝→⌝→,,结论q通过对前提和结论的观察,知道推理是正确的,下面用构造证明法给以证明。
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题(1)设:p:派小王去开会。
q:派小李去开会.则命题:“派小王或小李中的一人去开会" 可符号化为:(p q) (p q)。
(2)设A,B都是命题公式,A B,则A B的真值是T。
(3)设:p:刘平聪明。
q:刘平用功。
在命题逻辑中,命题:“刘平不但不聪明,而且不用功”可符号化为:p q .(4)设A , B 代表任意的命题公式,则蕴涵等值式为A B A B。
(5)设,p:径一事;q:长一智。
在命题逻辑中,命题:“不径一事,不长一智。
" 可符号化为: p q 。
(6)设A , B 代表任意的命题公式,则德摩根律为(A B)Û A B)。
(7)设,p:选小王当班长;q:选小李当班长.则命题:“选小王或小李中的一人当班长。
”可符号化为: (p q)(p q) .(8)设,P:他聪明;Q:他用功。
在命题逻辑中,命题:“他既聪明又用功。
" 可符号化为:P Q .(9)对于命题公式A,B,当且仅当 A B 是重言式时,称“A蕴含B”,并记为A B。
(10)设:P:我们划船.Q:我们跑步.在命题逻辑中,命题:“我们不能既划船又跑步.”可符号化为:(P Q) 。
(11)设P,Q是命题公式,德·摩根律为:(P Q)P Q) 。
(12)设P:你努力.Q:你失败。
在命题逻辑中,命题:“除非你努力,否则你将失败。
”可符号化为:P Q .(13)设p:小王是100米赛跑冠军。
q:小王是400米赛跑冠军。
在命题逻辑中,命题:“小王是100米或400米赛跑冠军.”可符号化为:p q。
(14)设A,C为两个命题公式,当且仅当A C为一重言式时,称C可由A逻辑地推出。
二.判断题1.设A,B是命题公式,则蕴涵等值式为A B A B。
()2.命题公式p q r是析取范式。
( √ )3.陈述句“x + y > 5”是命题。
离散数学第1章答案习题1.11、(1)否(2)否(3)是,真值为0(4)否(5)是,真值为12、(1)P:天下⾬ Q:我去教室┐P → Q(2)P:你去教室 Q:我去图书馆 P → Q(3)P,Q同(2) Q → P(4)P:2是质数 Q:2是偶数 P∧Q3、(1)0(2)0(3)14、(1)如果明天是晴天,那么我去教室或图书馆。
(2)如果我去教室,那么明天不是晴天,我也不去图书馆。
(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。
习题1.21、(1)是(2)是(3)否(4)是(5)是(6)否2、(1)(P → Q) →R,P → Q,R,P,Q(2)(┐P∨Q) ∨(R∧P),┐P ∨ Q,R∧P,┐P,Q,R,P(3)((P → Q) ∧ (Q → P)) ∨┐(P → Q)),(P → Q) ∧(Q → P),┐(P → Q),P → Q,(Q → P),P → Q,P,Q,Q,P,P,Q 3、(1)((P → Q) → (Q → P)) → (P → Q)(2)((P → Q) ∨ ((P → Q) → R))→ ((P → Q) ∧ ((P → Q) → R)) (3)(Q → P∧┐P) → (P∧┐P → Q)4、(P → Q) ∨ ((P∧Q) ∨ (┐P∧┐Q)) ∧ (┐P∨Q)习题1.31、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0(3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 13、(1)原式 <=> F→Q <=> T 原式为永真式(2)原式 <=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式(3)原式 <=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式(4)原式 <=> P∧(Q∨R) ←→ P∧(Q∨R) <=> T 原式为永真式(5)原式 <=> ┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q 原式为可满⾜式(6)原式 <=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> T 原式为永真式(7)原式 <=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P<=> T∧┐P <=> ┐P 原式为可满⾜式(8)原式 <=> ┐((P∨Q) ∧(┐Q∨R))∨(┐P∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、(1)左 <=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P∨┐Q) <=> 右(2)左 <=> ┐(┐P∨Q) <=> 右(3)左 <=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右(4)左 <=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左?(?P∨Q)∧(?R∨Q)??(P∨Q)∨Q?右5.(1)左?Q??P∨Q?右(2)(P→(Q→R))→((P→Q)→(P→R))(?P∨?Q∨R)∨?(?P∨Q) ∨(?P∨R)(P∧Q∧?R)∨(P∧?Q)∨?P∨R(P∧Q∧?R)∨((P∨?P)∧(?Q∨?P))∨R(P∧Q∧?R)∨(?Q∨?P∨R)(P∧Q∧?R) ∨?(P∧Q∧?R)T故P→(Q→R)?(P→Q)→(P→R)(3).(P→Q)→(P→P∧Q)(?P∨Q)∨?P∨(P∧Q)(?P∨Q)∨(?P∨P)∧(?P∨Q)(?P∨Q)∨(?P∨Q)T故P→Q?P→P∧Q(4).((P→Q) →Q) →P∨Q(?(?P∨Q) ∨Q) ∨P∨Q((P∨Q)∧?Q)∨P∨Q(P∧?Q)∨(Q∧?Q) ∨P∨Q(P∨Q)∨(P∨Q)T故(P→Q) →Q?P∨Q(5).((P∨?P)→Q)∧((P∨?P)→R)→(Q→R)((?T∨Q)∧(?T∨R)) ∨?Q∨R(Q∧R)∨?Q∨RQ∨?R∨?Q∨RQ∨TT故((P∨?P) →Q)∧((P∨?P)→R)?Q→R(6)左?(Q→F)∧(R→F)(Q∨F)∧(?R∨F)Q∧?RRR∨Q?右6.(1)原式?(?P∧?Q∧R)(2)原式??P∨?Q∨P??(P∧Q∧?P)(3)原式?P∨(Q∨?R∨P)?P∨Q∨?R??(?P∧?Q∧R)7.(1)原式??(?P∨?Q∨P)(2)原式?(?P∨Q∨?R) ∧?P∧Q??(?(?P∨Q∨?R)∨P∨?Q)(3)原式??P∧?Q∧ (R∨P) ??(P∨Q∨?(R∨P))8. (1) (P∨Q)∧((?P∧ (?P∧Q))∨R)∧?P(2)(P∨Q∨R)∧(?P∧R)(3)(P∨F)∧(Q∨T)习题1.41.(1)原式??(?P∨?Q)∨((?P∨?Q)∧(Q∨P))(?P∨?Q)∨(Q∨P)(P∧Q) ∨Q∨PQ∨P,既是析取范式⼜是合取范式(2)原式?((?P∨Q)∨(?P∨?Q))∧(?(?P∨Q) ∨?(?P∨?Q)) ?(P∧Q)∨(P∧?Q) 析取范式P∧(Q∨?Q)合取范式(3)原式??P∨Q∨?S∨ (?P∧Q)析取范式(P∨(?P∧Q))∨Q∨?SP∨Q∨?S合取范式(4)原式?P∨P∨Q∨Q∨R既是析取范式⼜是合取范式2.(1)原式?P∨?Q∨R为真的解释是:000,001,011,100,101,110,111故原式的主析取范式为:(?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧?∧QR)∨(P∧Q∧?R)∨(P∧Q∧R)(2)原式?(P∧?Q) ∨R(P∧?Q∧(R∨?R))∨((P∨?P)∧R)(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧Q)∨( ?P∧R)(P∧?Q∧R)∨(P∧?Q∧?R)∨(P∧(Q∨?Q)∧R)∨(?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)为真的解释是101,100,111,011,001(3)原式?(?P∨(Q∧R))∧(P∨(?Q∧?R))((P∨ (Q∧R)) ∧P)∨(( ?P∨ (Q∧R))∧( ?Q∧?R))(P∧P)∨(Q∧P∧R)∨( ?P∧?Q∧?R)∨(Q∧R∧?Q∧?R)(P∧Q∧R)∨(?P∧?Q∧?R)为真的解释是:000,111(4)原式?P∨P∨Q∨Q∨R?P∨Q∨R为真的解释是:001,010,011,100,101,110,111故原式的主析取范式为:(?P∧?Q∧R)∨(?P∧Q∧?R)∨(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧?R)∨(P∧Q∧R)3.(1)原式??P∨Q∨?P∨?Q?T主合取范式,⽆为假的解释。
第一章作业答案3. 将下列命题符号化:(2) 我去新华书店,仅当我有时间。
(4) 除非天不下雨,我将去新华书店。
(6)“2或4是素数,这是不对的”是不对的。
(8) 只要努力学习,成绩就会好的。
(10) 小张是山东人或河北人。
解(2) 符号化为Q→R,其中,R:我有时间,Q:我去新华书店。
除非的含义:①只有。
表示唯一的条件,常与“才,否则,不然”搭配:若要人不知,除非己莫为。
②除了。
表示不计算在内:除非临时有事,我一定去。
(4) 符号化为P→Q,其中,P:天下雨,Q:我去新华书店。
(6) 符号化为⌝(⌝(P∨Q)),“2或4是素数,这是不对的”是不对的,其中,P:2是素数,Q:4是素数。
(8) 符号化为P→Q,其中,P:努力学习,Q:成绩就会好的。
(10) 符号化为(⌝P∧Q)∨(P∧⌝Q),其中,P:小张是山东人,Q:小张是河北人。
4. 构造下列命题公式的真值表,并据此说明哪些是其成真赋值,哪些是其成假赋值?(1) ⌝(P∨⌝Q)。
(2) P∧(Q∨R)。
(3) ⌝(P∨Q)↔(⌝P∧⌝Q)。
(4) ⌝P→(Q→P)。
解(1)由真值表可知,公式⌝(P∨⌝Q)的成真赋值为:FT,成假赋值为FF、TF、TT。
(2)由真值表可知,公式P∧(Q∨R)的成真赋值为:TFT、TTF、TTT,成假赋值为FFF 、FFT 、FTF 、FTT 、TFF 。
(3)由真值表可知,公式⌝(P ∨Q)↔(⌝P ∧⌝Q)的成真赋值为:FF 、FT 、TF 、TT ,没有成假赋值。
(4)由真值表可知,公式⌝P →(Q →P)的成真赋值为:FF 、TF 、TT ,成假赋值为:FT 。
5. 分别用真值表法和公式法判断下列命题公式的类型:(2) (P∧Q)→(P∨Q)。
(4) (P∧Q→R)→(P∧⌝R∧Q)。
(6) (⌝P↔Q)↔⌝(P↔Q)。
解(2) 真值表法:由真值表可知,公式(P∧Q)→(P∨Q)为重言式。
公式法:因为(P∧Q)→(P∨Q) ⇔⌝(P∧Q)∨(P∨Q) ⇔⌝P∨⌝Q∨P∨Q ⇔ T,所以,公式(P∧Q)→(P∨Q)为重言式。
第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1 所以公式类型为永真式(3) P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p →q)∧(p →r)⇔(p →(q ∧r))(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨q) ∧⌝(p ∧q) 证明(2)(p →q)∧(p →r)⇔ (⌝p ∨q)∧(⌝p ∨r) ⇔⌝p ∨(q ∧r))⇔p →(q ∧r)(4)(p ∧⌝q)∨(⌝p ∧q)⇔(p ∨(⌝p ∧q)) ∧(⌝q ∨(⌝p ∧q)⇔(p ∨⌝p)∧(p ∨q)∧(⌝q ∨⌝p) ∧(⌝q ∨q) ⇔1∧(p ∨q)∧⌝(p ∧q)∧1 ⇔(p ∨q)∧⌝(p ∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p →q)→(⌝q ∨p)(2)⌝(p →q)∧q ∧r (3)(p ∨(q ∧r))→(p ∨q ∨r) 解:(1)主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q) ⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p) ⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p∨(⌝q∨p))∧(⌝q∨(⌝q∨p))⇔1∧(p∨⌝q)⇔(p∨⌝q) ⇔ M1⇔∏(1)(2) 主合取范式为:⌝(p→q)∧q∧r⇔⌝(⌝p∨q)∧q∧r⇔(p∧⌝q)∧q∧r⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p∨(q∧r))→(p∨q∨r)⇔⌝(p∨(q∧r))→(p∨q∨r)⇔(⌝p∧(⌝q∨⌝r))∨(p∨q∨r)⇔(⌝p∨(p∨q∨r))∧((⌝q∨⌝r))∨(p∨q∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p →(q →r) 前提引入 ⑤q →r ③④假言推理 ⑥q 前提引入 ⑦r ⑤⑥假言推理16在自然推理系统P 中用归谬法证明下面各推理:(1)前提:p →⌝q,⌝r ∨q,r ∧⌝s 结论:⌝p 证明:①p 结论的否定引入 ②p →﹁q 前提引入 ③﹁q ①②假言推理 ④¬r ∨q 前提引入 ⑤¬r ④化简律 ⑥r ∧¬s 前提引入 ⑦r ⑥化简律 ⑧r ∧﹁r ⑤⑦ 合取由于最后一步r ∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有错误!未找到引用源。
《离散数学1-5章》练习题答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(4)5.答:⌝P ,Q→P6.答:P(x)∨∃yR(y)7.答:⌝∀x(R(x)→Q(x))8、c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式) 9、b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确10.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。
解:原式⇔∀x(⌝F(x)∨G(x))→(⌝(∃x)F(x) ∨ (∃x)G(x))⇔⌝(∀x)(⌝F(x)∨G(x)) ∨(⌝(∃x)F(x) ∨ (∃x)G(x))⇔ (∃x)((F(x)∧⌝ G(x)) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀y) ⌝F(y)⇔ (∃x) (∀y) (F(x) ∨G(x) ∨⌝F(y))(集合论部分)1、答:(4)2.答:323.答:(3)4. 答:(4)5.答:(2),(4)6、设A,B,C是三个集合,证明:a、A⋂ (B-C)=(A⋂B)-(A⋂C)证明:(A⋂B)-(A⋂C)= (A⋂B)⋂~(A⋂C)=(A⋂B) ⋂(~A⋃~C)=(A⋂B⋂~A)⋃(A⋂B⋂~C)= A⋂B⋂~C=A⋂(B⋂~C)=A⋂(B-C)b、(A-B)⋃(A-C)=A-(B⋂C)证明:(A-B)⋃(A-C)=(A⋂~B)⋃(A⋂⋂~C) =A⋂ (~B ⋃~C)=A⋂~(B⋂C)= A-(B⋂C)(二元关系部分)1、答:(1)R={<1,1>,<4,2>} (2) R1-={<1,1>,<2,4>}2.答:RοR ={〈1,1〉,〈1,3〉,〈2,2〉,〈2,4〉}R-1 ={〈2,1〉,〈1,2〉,〈3,2〉,〈4,3〉}3.答:R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}4.答:R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001 R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0000000100000000015、解:(1)R={<2,1>,<3,1>,<2,3>};M R =⎪⎪⎪⎭⎫ ⎝⎛001101000;它是反自反的、反对称的、传递的;(2)R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};M R =⎪⎪⎪⎭⎫⎝⎛011101110;它是反自反的、对称的;(3)R={<1,2>,<2,1>,<1,3>,<3,3>};M R =⎪⎪⎪⎭⎫⎝⎛100001110;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。
第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔ 0∨(0∧1) ⇔0(2)(p?r)∧(﹁q∨s) ⇔(0?1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)?(p∧q∧﹁r) ⇔(1∧1∧1) ? (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数 0r: 2是无理数 1s: 6能被2整除 1t: 6能被4整除 0命题符号化为: p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p∨q)∨(⌝q∨p)⇔(⌝p∧⌝q)∨(⌝q∨p)⇔ (⌝p∧⌝q)∨(⌝q∧p)∨(⌝q∧⌝p)∨(p∧q)∨(p∧⌝q)⇔(⌝p∧⌝q)∨(p∧⌝q)∨(p∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为:⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P 中构造下面推理的证明:(2)前提:p →q,⌝(q ∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p ⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q)? ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案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)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。
教材习题解答第一章 集合及其运算8P 习题3. 写出方程2210x x ++=的根所构成的集合。
解:2210x x ++=的根为1x =-,故所求集合为{1}-4.下列命题中哪些是真的,哪些为假a)对每个集A ,A φ∈;b)对每个集A ,A φ⊆;c)对每个集A ,{}A A ∈;d)对每个集A ,A A ∈;e)对每个集A ,A A ⊆;f)对每个集A ,{}A A ⊆;g)对每个集A ,2A A ∈;h)对每个集A ,2A A ⊆;i)对每个集A ,{}2A A ⊆;j)对每个集A ,{}2A A ∈;k)对每个集A ,2A φ∈;l)对每个集A ,2A φ⊆;m)对每个集A ,{}A A =;n){}φφ=;o){}φ中没有任何元素;p)若A B ⊆,则22A B ⊆q)对任何集A ,{|}A x x A =∈;r)对任何集A ,{|}{|}x x A y y A ∈=∈; s)对任何集A ,{|}y A y x x A ∈⇔∈∈;t)对任何集A ,{|}{|}x x A A A A ∈≠∈; 答案:假真真假真假真假真假真真假假假真真真真真5.设有n 个集合12,,,n A A A L 且121n A A A A ⊆⊆⊆⊆L ,试证:12n A A A ===L证明:由1241n A A A A A ⊆⊆⊆⊆⊆L ,可得12A A ⊆且21A A ⊆,故12A A =。
同理可得:134n A A A A ====L因此123n A A A A ====L6.设{,{}}S φφ=,试求2S ?解:2{,{},{{}},{,{}}}S φφφφφ=7.设S 恰有n 个元素,证明2S 有2n 个元素。
证明:(1)当n =0时,0,2{},212S S S φφ====,命题成立。
(2)假设当(0,)n k k k N =≥∈时命题成立,即22S k =(S k =时)。
那么对于1S ∀(11S k =+),12S 中的元素可分为两类,一类为不包含1S 中某一元素x 的集合,另一类为包含x 的集合。
离散数学第二版邓辉文编著第一章第二节习题答案1.2 映射的有关概念习题1.21. 分别计算⎡1. 5⎤,⎡-1⎤,⎡-1. 5⎤,⎣1. 5⎦,⎣-1⎦,⎣-1. 5⎦.解⎡1. 5⎤=2,⎡-1⎤=-1,⎡-1. 5⎤=-1,⎣1. 5⎦=1,⎣-1⎦=-1,⎣-1. 5⎦=-2.2. 下列映射中,那些是双射? 说明理由.(1)f :Z →Z , f (x ) =3x .(2)f :Z →N , f (x ) =|x |+1.(3)f :R →R , f (x ) =x 3+1.(4)f :N ⨯N →N , f (x 1, x 2) =x 1+x 2+1.(5)f :N →N⨯N , f (x ) =(x , x +1).解 (1)对于任意对x 1, x 2∈Z,若f (x 1) =f (x 2) ,则3x 1=3x 2,于是x 1=x 2,所以f 是单射. 由于对任意x ∈Z,f (x ) ≠2∈Z,因此f 不是满射,进而f 不是双射.(2)由于2, -2∈Z且f (2) =f (-2) =3,因此f 不是单射. 又由于0∈N,而任意x ∈Z均有f (x ) =|x |+1≠0,于是f 不是满射. 显然,f 不是双射.(3)对于任意对x 1, x 2∈R,若f (x 1) =f (x 2) ,则x 1+1=x 2+1,于是x 1=x 2,所以f 是单射. 对于任意y ∈R,取x =(y -1) ,这时1⎡⎤3f (x ) =x +1=⎢(y -1) 3⎥+1=(y -1) +1=y ,⎣⎦33313所以f 是满射. 进而f 是双射.(4)由于(1, 2), (2, 1) ∈N⨯N 且(1, 2) ≠(2, 1) ,而f (1, 2) =f (2, 1) =4,因此f 不是单射. 又由于0∈N,而任意(x 1, x 2) ∈N⨯N 均有f (x 1, x 2) =x 1+x2+1≠0,于是f 不是满射. 显然,f 就不是双射.(5)由于x 1, x 2∈N,若f (x 1) =f (x 2) ,则(x 1, x 1+1) =(x 2, x 2+1) ,于是x 1=x 2,因此f 是单射. 又由于(0, 0) ∈N⨯N ,而任意x ∈N均有f (x ) =(x , x +1) ≠(0, 0) ,于是f 不是满射. 因为f 不是满射,所以f 不是双射.3. 对于有限集合A 和B ,假定f :A →B且|A |=|B |,证明: f 是单射的充要条件是f 是满射. 对于无限集合,上述结论成立吗?举例说明.证(⇒) 因为f 是单射,所以|A |=|f (A ) |. 由于|A |=|B |,所以|f (A ) |=|B |. 又因为B 有限且f (A ) ⊆B ,故f (A ) =B ,即f 是满射.(⇐) 若f 是满射,则f (A ) =B . 由于|A |=|B |,于是|A |=|f (A ) |. 又因为A 和B 是有限集合,因此f 是单射.对于无限集合,上述结论不成立. 例如f :N →N,f (x ) =2x ,f 是单射,但f 不是满射.4. 设f :A →B , 试证明:(1)f I B =f .(2)I A f =f .特别地,若f :A →A,则f I A =I A f =f .证 (1)对于任意x ∈A,由于f (x ) ∈B,所以(f I B )(x ) =I B (f (x )) =f (x ) ,因此f I B =f .(2)对于任意x ∈A,由于I A (x ) =x ,所以(I A f )(x ) =f (I A (x )) =f (x ) ,于是有I A f =f .由(1)和(2)知,若f :A →A,则f I A =I A f =f .5. 试举出一个例子说明f f =f 成立,其中f :A →A且f ≠I A . 若f 的逆映射存在,满足条件的f 还存在吗?解令A ={a , b , c },f (a ) =f (b ) =f (c ) =a ,即对于任意x ∈A,f (x ) =a ,显然f :A →A且f ≠I A . 而对于任意x ∈A,有(f f )(x ) =f (f (x )) =f (a ) =a ,因此f f =f .若f f =f 且f 的逆映射f -1存在,由第3题知f f =f =f I A ,所以-1-1于是利用定理7有(f f ) f =(f f ) I A ,f -1 (f f ) =f -1 (f I A ) ,进而I A f =I A I A ,因此f =I A . 所以若f 的逆映射存在,满足条件的f 不存在.6. 设f :A →B , g :B →C . 若f 和g 是满射,则f g 是满射,试证明.证因为f 是满射,所以f (A ) =B . 又因为g 是满射,所以g (B ) =C . 于是(f g ) (A ) =g (f (A )) =g (B ) =C ,因此f g 是A 到C 的满射.另证对于任意z ∈C,因为g 是满射,于是存在y ∈B使得g (y ) =z . 又因为f 是满射,存在x ∈A使得f (x ) =y . 因此,(f g )(x ) =g (f (x )) =g (y ) =z ,所以f g 是A 到C 的满射.7. 设f :A →B , g :B →C . 试证明: 若f g 是单射,则f 是单射. 试举例说明,这时g 不一定是单射.证对于任意x 1, x 2∈A,假定f (x 1) =f (x 2) ,则显然g (f (x 1)) =g (f (x 2)) ,即(f g )(x 1) =(f g )(x 2) . 因为f g 是单射,所以x 1=x 2,于是f 是单射.例如A ={a , b },B ={1, 2, 3},C ={α,β,γ,δ},令f (a ) =1, f (b ) =2,g (1) =α, g (2) =β, g (3) =β,则显然有(f g )(a ) =g (f (a )) =g (1) =α, (f g )(b ) =g (f(b )) =g (2) =β,于是f g 是A 到C 的单射,但g 显然不是单射.8. 设f :A →B , 若存在g :B →A,使得f g =I A 且g f =I B ,试证明: f 是双射且f -1=g .证因为f g =I A ,而I A 是单射,所以f 是单射. 又因为g f =I B ,而I B 是满射,所以f 是满射. 因此f 是双射.由于f 是双射,所以f而(f -1-1存在. 因为f g =I A ,于是f -1 (f g ) =f -1 I A . f ) g =f -1 I A 且I B g =f -1,所以有f -1=g .9. 设f :A →B , g :B →C . 若f 和g 是双射,则f g 是双射且(f g ) -1=g -1 f -1.-1-1证根据定理4(1)(2)知,f g 是双射. 下证(f g ) =g f -1. 因为(f g ) (g -1 f -1) =f (g g -1) f -1=f I B f -1=f f -1=I A , (g -1 f -1) (f g ) =g -1 (f -1 f ) g =g -1 I B g =g -1 g =I C ,在上面的推导中多次利用了定理7. 由第7题知,(f g ) -1=g -1 f10. 设G 是集合A 到A 的所有双射组成的集合,证明(1)任意f , g ∈G,有f g ∈G .(2)对于任意f , g , h ∈G,有(f g ) h =f (g h ).(3)I A ∈G且对于任意f ∈G,有I A f =f I A =f .(4)对于任意f ∈G,有f -1-1. ∈G且f f -1=f -1 f =I A .证 (1)由定理5.(2)由定理7.(3)由第3题.(4)由定理4.11. 若A = {a , b , c }, B = {1, 2}, 问A 到B 的满射、单射、双射各有多少个? 试推广你的结论.解将A 中的3个元素对应到B 中的2个元素,相当于将3个元素分成2部分,共有3种分法; 在计算A 到B 的满射个数时还需要将B 中元素进行排列,共有2种排列方式,于是A 到B 的满射共有3⨯2=6个(请自己分别写出A 到B 的6个满射).由于|A |=3, |B |=2,所以A 到B 的单射没有,进而A 到B 的双射也没有. 假设|A |=m , |B |=n .(1) A到B 的满射若m(2) A到B 的单射若m >n ,不存在单射;若m ≤n,由于B 中任意选取m 个m 元素,再将其进行全排列都得到A 到B 的单射,故A 到B 的单射共有C n ⋅m ! 个.(3)A 到B 的双射若m ≠n,不存在双射;若m =n ,此时B 中元素的任意一个排列均可得到一个A 到B 的双射,因此A 到B 的双射共有m ! 个.12. 设A , B , C , D 是任意集合,f 是A 到B 的双射, g 是C 到D 的双射,令h :A ⨯C →B⨯D ,对任意(a , c ) ∈A⨯C , h (a , c ) =(f (a ), g (c )). 证明:h 是双射.证对于任意(a 1, c 1) ∈A⨯C ,(a 2, c 2) ∈A⨯C ,假定h (a 1, c 1) =h (a 2, c 2) ,即(f (a 1), g (c 1)) =(f (a 2), g (c 2)) ,于是f (a 1) =f (a 2) 且g (c 1) =g (c 2) ,根据已知条件有a 1=a 2且c 1=c 2,进而(a 1, c 1) =(a 2, c 2) ,因此h 是单射.任意(b , d ) ∈B⨯D ,则b ∈B , d ∈D,由于f 是A 到B 的双射且g 是C 到D 的双射,于是存在a ∈A , c ∈C使得f (a ) =b , g (c ) =d ,因此h (a , c ) =(f (a ), g (c )) =(b , d ) ,所以h 是满射.故h 是双射.13. 设f :A →B , g :B →C , h :C →A,若f g h =I A ,g h f =I B ,h f g =I C ,则f , g , h 均可逆,并求出f -1, g -1, h -1.证因为恒等映射是双射,多次使用定理6即可得结论.由于f g h =I A ,所以f 是单射且h 是满射. 由于g h f =I B ,所以g 是单射且f 是满射. 由于h f g =I C ,所以h 是单射且g 是满射. 于是f , g , h 是双射,因此f , g , h 均可逆.由于f g h =I A ,所以f -1=g h 且h -1=f g ,进而g -1=h f .14. 已知Ackermann 函数A :N ⨯N →N的定义为(1)A (0, n ) =n +1, n ≥0;(2)A (m , 0) =A (m -1, 1), m >0;(3)A (m , n ) =A (m -1, A (m , n -1)), m >0, n >0.分别计算A (2, 3) 和A (3, 2) .解由已知条件有A (0, 1) =2,A (1, 0) =A (0, 1) =2,于是A (1, 1) =A (0, A (1, 0)) =A (0, 2) =2+1=3,A (1, 2) =A (0, A (1, 1)) =A (0, 3) =3+1=4,由此可进一步得出A (1, n ) =n +2,A (2, 0) =A (1, 1) =3,A (2, 1) =A (1, A (2, 0)) =A (1, 3) =3+2=5,A (2, 2) =A (1, A (2, 1)) =A (1, 5) =5+2=7, A (2, 3) =A (1, A (2, 2)) =A (1, 7) =7+2=9. 因此有A (2, n ) =2n +3,A (3, 0) =A (2, 1) =2⋅1+3=5,A (3, 1) =A (2, A (3, 0)) =A (2, 5) =2⋅5+3=13, A (3, 2) =A (2, A (2, 2)) =A (2,13) =2⋅13+3=29. 所以有A (2, 3) =9, A (3, 2) =29.。
离散数学(屈婉玲)答案-1-5章第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式//最后一列全为1(5)公式类型为可满足式(方法如上例)//最后一列至少有一个1(6)公式类型为永真式(方法如上例)//第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14.在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p ⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案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)在两个个体域中都解释为)(x∀,在(a)中为假命题,在(b)中为真命xF题。
《离散数学》题库答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(1)P↔(4)QP→⌝P⌝Q→⌝(2)QP⌝→(3)Q5.答:(1)6.答:2不是偶数且-3不是负数。
7.答:(2)8.答:⌝P ,Q→P9.答:P(x)∨∃yR(y)10.答:⌝∀x(R(x)→Q(x))11、a、(P→Q)∧R解:(P→Q)∧R⇔(⌝P∨Q )∧R⇔(⌝P∧R)∨(Q∧R) (析取范式)⇔(⌝P∧(Q∨⌝Q)∧R)∨((⌝P∨P)∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(⌝P∧Q∧R)∨(P∧Q∧R)⇔(⌝P∧Q∧R)∨(⌝P∧⌝Q∧R)∨(P∧Q∧R)⇔m3∨ m1∨m7 (主析取范式)⇔m1∨ m3∨m7⇔M0∧M2∧M4∧M5∧M6 (主合取范式)b、Q→(P∨⌝R)解:Q→(P∨⌝R)⇔⌝Q∨P∨⌝R⇔M5(主合取范式)⇔ m0∨ m1∨ m2∨m3∨ m4∨m6 ∨m7 (主析取范式)c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式)12、a、P→Q,⌝Q∨R,⌝R,⌝S∨P=>⌝S证明:(1) ⌝R 前提(2) ⌝Q∨R 前提(3)⌝Q (1),(2)析取三段论(4) P→Q 前提(5)⌝P (3),(4)拒取式(6)⌝S∨P 前提(7) ⌝S (5),(6)析取三段论b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理c、A,A→B, A→C, B→(D→⌝C) => ⌝D证明:(1) A 前提(2) A→B 前提(3) B (1),(2) 假言推理(4) A→C 前提(5) C (1),(4) 假言推理(6) B→(D→⌝C) 前提(7) D→⌝C (3),(6) 假言推理(8)⌝D (5),(7) 拒取式d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确13.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。
1 / 1 #include #include #include #define MAX_STACK_SIZE 100
typedef int ElemType; typedef struct
{ ElemType data[MAX_STACK_SIZE]; int top; } Stack;
void InitStack(Stack *S) { S->top=-1;
}
int Push(Stack *S,ElemType x) { if(S->top==MAX_STACK_SIZE-1
) { printf("\n Stack is full!"); return 0; } S->top++; S->data[S->top]=x; return 1; } int Empty(Stack *S) { return (S->top==-1); } int Pop(Stack *S,ElemType *x) { if(Empty(S)) { printf("\n Stack is free!"); return 0; } *x=S->data[S->top]; S->top--; return 1; }
void conversion(int N) { int e; Stack *S=(Stack*)malloc(sizeof(Stack));
InitStack(S); while(N) { Push(S,N%2); 1 / 1
N=N/2; } while(!Empty(S)) { Pop(S,&e); printf("%d ",e); } }
void main() { int n; printf("请输入待转换的值n:\n"); scanf ("%d",&n); conversion(n);
}习题
1.判断下列语句是否是命题,为什么?若是命题,判断是简单命题还是复合命题? (1)离散数学是计算机专业的一门必修课。 (2)李梅能歌善舞。 (3)这朵花真美丽! (4)3+2>6。 (5)只要我有时间,我就来看你。 (6)x=5。 (7)尽管他有病,但他仍坚持工作。 (8)太阳系外有宇宙人。 (9)小王和小张是同桌。 (10)不存在最大的素数。 解 在上述10个句子中,(3)是感叹句,因此它不是命题。(6)虽然是陈述句,但它没有确定的值,因此它也不是命题。其余语句都是可判断真假的陈述句,所以都是命题。其中:(1)、(4) 、(8) 、(9) 、是简单命题,、(2) 、(5) 、(7)、(10) 是复合命题。 2.判断下列各式是否是命题公式,为什么? (1)(P(P∨Q))。 (2)(PQ)(QP)))。 (3)((PQ)(QP))。 (4)(QR∧S)。 (5)(P∨QR)S。 (6)((R(QR)(PQ))。 解 (1)是命题公式。 (2)不是命题公式,因为括号不配对。 (3)是命题公式。 (4)是命题公式。 1 / 1
(5)不是命题公式,因为QR没有意义。 (6)不是命题公式,因为R(QR)(PQ) 没有意义。 3.将下列命题符号化: (1)我们不能既划船又跑步。 (2)我去新华书店,仅当我有时间。 (3)如果天下雨,我就不去新华书店。 (4)除非天不下雨,我将去新华书店。 (5)张明或王平都可以做这件事。 (6)“2或4是素数,这是不对的”是不对的。 (7)只有休息好,才能工作好。 (8)只要努力学习,成绩就会好的。 (9)大雁北回,春天来了。 (10)小张是山东人或河北人。 解 (1)符号化为(P∧Q),其中,P:我们划船,Q:我们跑步。 (2)符号化为QR,其中,R:我有时间,Q:我去新华书店。 (3)符号化为PQ,其中,P:天下雨,Q:我去新华书店。 (4)符号化为PQ,其中,P:天下雨,Q:我去新华书店。 (5)符号化为P∧Q,其中,P:张明可以做这件事,Q:王平可以做这件事。 (6)符号化为((P∨Q)),“2或4是素数,这是不对的”是不对的,其中,P:2是素数,Q:4是素数,。 (7)符号化为QP,其中,P:休息好,Q:工作好。 (8)符号化为PQ,其中,P:努力学习,Q:成绩就会好的。 (9)符号化为PQ,其中,P:大雁北回,Q:春天来了。 (10)符号化为PQ,其中,P:小张是山东人,Q:小张是河北人。 4.构造下列命题公式的真值表,并据此说明哪些是其成真赋值,哪些是其成假赋值? (1)(P∨Q)。 (2)P∧(Q∨R)。 (3)(P∨Q)(P∧Q)。 (4)P(QP)。 解 (1) P Q P∨Q (P∨Q)
0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0
由真值表可知,公式(P∨Q)的成真赋值为:01,成假赋值为00、10、11。 (2) 1 / 1
P Q R Q∨R P∧(Q∨R)
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 1
由真值表可知,公式P∧(Q∨R)的成真赋值为:101、110、111,成假赋值为000、001、010、011、100。 (3) P Q ( P∨Q) P∧Q (P∨Q)(P∧Q)
0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1
由真值表可知,公式(P∨Q)(P∧Q)的成真赋值为:00、01、10、11,没有成假赋值。 (4)
P Q QP P(QP)
0 0 0 1 1 0 1 1 1 0 1 1 1 0 1 1
由真值表可知,公式P(QP)的成真赋值为:00、10、11,成假赋值为:01。 5.分别用真值表法和公式法判断下列命题公式的类型: (1)(P∨Q)(P∧Q)。 (2)(P∧Q)(P∨Q)。 (3)(P∨Q)∧(Q∨R)∧(R∨P∨Q)。 (4)(P∧QR)(P∧R∧Q)。 (5)(QP)∧(P∧Q)。 (6)(PQ)(PQ)。 (7)(P∧Q)∧(P∨Q)。 解 (1)真值表法: P Q P∨Q P∧Q (P∨Q)(P∧Q)
0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1
由真值表可知,公式(P∨Q)(P∧Q)为可满足式。 公式法:因为(P∨Q)(P∧Q)(P∨Q)∨(P∧Q)(P∧Q)∨(P∧Q),所以,公式(P∨Q)(P∧Q)为可满足式。 (2)真值表法: 1 / 1
P Q P∧Q P∨Q (P∧Q)(P∨Q)
0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1
由真值表可知,公式(P∧Q)(P∨Q)为重言式。 公式法:因为(P∧Q)(P∨Q)(P∧Q)∨(P∨Q)P∨Q∨P∨QT,所以,公式(P∧Q)(P∨Q)为重言式。 (3)真值表法: P Q R P∨Q Q∨R R∨P∨Q (P∨Q)∧(Q∨R)∧(R∨P∨Q)
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0
由真值表可知,公式(P∨Q)∧(Q∨R)∧(R∨P∨Q)为矛盾式。 公式法:因为(P∨Q)∧(Q∨R)∧(R∨P∨Q)(P∨Q)∧Q∧R∧(R∧P∧Q)F,所以,公式(P∨Q)∧(Q∨R)∧(R∨P∨Q)为矛盾式。 (4)真值表法: P Q R P∧QR P∧R∧Q (P∧QR)(P∧R∧Q)
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0
由真值表可知,公式(P∧QR)(P∧R∧Q)为可满足式。 公式法:因为(P∧QR)(P∧R∧Q)(( P∧Q)∨R)∨(P∧R∧Q) ( P∧Q∧R)∨(P∧R∧Q)( P∧Q∧R) 所以,公式(P∧QR)(P∧R∧Q)为可满足式。 (5)真值表法: P Q QP P∧Q (QP)∧(P∧Q)
0 0 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0
由真值表可知,公式(QP)∧(P∧Q)为可矛盾式。 公式法:因为(QP)∧(P∧Q)(Q∨P)∧(P∧Q)(Q∧P)∧(P∧Q)F,所以,公式为可矛盾式。 (6)真值表法: P Q PQ (PQ) (PQ)(PQ)