离散数学命题逻辑练习题
离散数学习题
第1章命题逻辑一、单项选择题1. 下列命题公式等值的是( )BBAAQPQQPQB AABAAQPQP),()D(),()C() (),()B(,)A(∧∨⌝∨∨⌝∨→→→⌝→→∨⌝∧⌝2. 设命题公式G：)(RQP∧→⌝,则使公式G取真值为1的P，Q，R赋值分别是( )0,0,1)D(0,1,0)C(1,0,0)B(0,0,0)A(3. 命题公式QQP→∨)(为( )(A) 矛盾式(B) 仅可满足式(C) 重言式(D) 合取范式4 命题公式)(QP→⌝的主析取范式是( )．(A) QP⌝∧(B) QP∧⌝(C) QP∨⌝(D) QP⌝∨5. 前提条件PQP,⌝→的有效结论是( )．(A) P(B) ⌝P(C) Q(D)⌝Q6. 设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间时”符号化为( )QPQPQPPQ⌝∨⌝↔→→)D()C()B()A(二、填空题1. 设命题公式G：P→⌝(Q→P)，则使公式G为假的真值指派是2. 设P：我们划船，G：我们跑步，那么命题“我们不能既划船，又跑步”可符号化为3. 含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式是4. 若命题变元P，Q，R赋值为(1,0,1)，则命题公式G＝)())((QPRQP∨⌝↔→∧的真值是5. 命题公式P→⌝(P∧Q)的类型是．6. 设A，B为任意命题公式，C为重言式，若C⇔∧，那么A∧CBA↔是式(重言式、矛盾式或可满B足式)三、解答化简计算题1.判别下列语句是否命题？如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！(4) 请你跟我走! (5) 火星上也有人.2.作命题公式)P∨∧→→的真值表，并判断该公式的类Q)((P)(PQ型．3. 试作以下二题：(1) 求命题公式(P∨⌝Q)→(P∧Q)的成真赋值．(2) 设命题变元P,Q,R的真值指派为(0,1,1),求命题公式∨P→R→⌝↔的真值．∧P⌝(()Q)((QR))4. 化简下式命题公式)⌝∧P∧∨Q⌝∧(P))Q((P5. 求命题公式))⌝∧→的主合取范式.Q→P∧P)(P((Q6. 求命题公式R→∧⌝⌝)((的真值．→(∧))QP∨PRQ∨↔RP7. 求命题公式)→∧→⌝的主析取范式，并求该命题公P⌝(Q)(PQ式的成假赋值．8. 将命题公式)⌝∧⌝化为只含∨和⌝的尽可能简单的⌝∧RQP→(P等值式．9. 求命题公式)∨⌝∧的真值表.P⌝∧)((QPQ四、证明题1. 证明S∧∧→)∨⌝)⌝(()(RQRS∧QP⌝P⌝∨⇒2. 构造推理证明：QR→→())((⇒S→)RPSQ→P∧∧3. 证明命题公式(P→(Q∨⌝R))∧⌝P∧Q与⌝（P∨⌝Q）等值．4. 证明命题公式)R→与QP→∧)(有相同的主析取范∨)((QRP→Q式．命题逻辑习题参考答案一、1. C 2. D 3. B 4. A 5. D 6. B二、1. 1,0；1,1 2. )(Q P ∧⌝或Q P ⌝∨⌝ 3. (P ∧Q ∧R )∨(P ∧Q ∧⌝R )4. 05. 非永真式的可满足式6. 重言三、1. (1) 是命题，真值为1. (2) 是命题，真值为0. (3), (4)不是命题. (5)是命题.1. 判别下列语句是否命题？如果是命题，指出其真值.(1) 中国是一个人口众多的国家. (2) 存在最大的质数.(3) 这座楼可真高啊！ (4) 请你跟我走! (5) 火星上也有人.2. 命题公式))(()(P Q P Q P ∨∧→→的真值表 P Q P →Q Q P ∧ P Q P ∨∧)())(()(P Q P Q P ∨∧→→ 0 0 1 0 0 00 1 1 0 0 01 0 0 0 1 11 1 1 1 1 1原式为可满足式.3. (1) (P ∨⌝Q )→(P ∧Q )⇔(⌝P ∧Q )∨(P ∧Q )⇔(⌝P ∨P )∧Q ⇔Q可见(P ∨⌝Q )→(P ∧Q )的成真赋值为(0,1)，(1,1)．(2) ))()(()(Q R Q P R P →⌝∨⌝→⌝∧↔0))10()01(()10(⇔→∨→∧↔⇔4. ))()((P Q P Q P ∧⌝∧⌝∨∧P Q P Q P ∧⌝∧⌝∨∧⇔)()()()(P P Q P Q P ∧⌝∧⌝∨∧∧⇔0)(∨∧⇔Q PQ P ∧⇔5. ))()((Q P P Q P ∧⌝∧→→))()((Q P P Q P ∧⌝∧∨⌝∨⌝⇔)())(Q P P Q P Q P ∧⌝∧∨∧⌝∧⌝∨⌝⇔)00(∧∨⌝⇔P)(Q Q P ⌝∧∨⌝⇔)()(Q P Q P ⌝∨⌝∧∨⌝⇔6. R P R Q P P R Q ∨↔∨→⌝∧→⌝∧)())((R P R Q P P R Q ∨↔∨∨∧∨∨⌝⇔)()(R P Q Q R P ∨↔∧⌝∨∨⇔)(1⇔7. Q P Q P Q P Q P Q P ⌝∧⇔⌝∨⌝∧⌝∧⇔⌝→∧→⌝)()()()(因为成真赋值是（1，0），故成假赋值为（0，0），（0，1），（1，1）8. ))()()(R P Q P P R Q P ∨∧∨⌝⇔→⌝∧⌝∧⌝))()((R P Q P ∨⌝∨∨⌝⇔不唯一．9. 作真值表P Q P∧Q⌝P⌝Q⌝P∨⌝Q (P∧Q)∧(⌝P∨⌝Q)0 0 0 1 1 1 00 1 0 1 0 1 01 0 0 0 1 1 01 1 1 0 0 0 0四、证明题1.①⌝Q∨R P②⌝R P③⌝Q①，②析取三段论④P→Q P⑤P⌝③，④拒取式⑥P∨⌝S P⑦⌝S⑤，⑥析取三段论2.前提：QPRSQP,)),((→→→结论：SR→证明：①R附加前提②R→P前提引入③P①，②假言推理④P→(Q→S) 前提引入⑤Q→S③,④假言推理⑥Q前提引入⑦S⑤,⑥假言推理3. (P→(Q∨⌝R))∧⌝P∧Q⇔(⌝P∨(Q∨⌝R))∧⌝P∧Q⇔(⌝P∧⌝P∧Q)∨(Q∧⌝P∧Q)∨(⌝R∧⌝P∧Q)⇔(⌝P∧Q)∨(⌝P∧Q)∨(⌝P∧Q∧⌝R)⇔⌝P∧Q⇔⌝(P∨⌝Q)4.方法1．)()(QRQP→∨→⇔)()(QRQP∨⌝∨∨⌝⇔∨∧⌝⇔QRP)(QRP→∧)(因为两命题公式等值，由主合取范式的惟一性，可知两命题公式的主合取范式是相同．方法2．)()(QRQP→∨→⇔)()(QRQP∨⌝∨∨⌝RQPQRP⌝∨∨⌝⇔∨⌝∨⌝⇔RQPQRPQRP⌝∨∨⌝⇔∨⌝∨⌝⇔→∧)(因为它们的主合取范式相同，可知它们的主析取范式也相同．第2章谓词逻辑习题一、 单项选择题1. 谓词公式)())()((x Q y yR x P x →∃∨∀中量词∀x 的辖域是( )(A) ))()((y yR x P x ∃∨∀ (B) P (x ) (C) )()(y yR x P ∃∨ (D) )(x Q2. 谓词公式∃xA (x )∧⌝∃xA (x )的类型是（ ）(A) 永真式 (B) 矛盾式(C) 非永真式的可满足式 (D) 不属于(A ),(B ),(C )任何类型3 设个体域为整数集，下列公式中其真值为1的是( )(A) )0(=+∃∀y x y x(B) )0(=+∀∃y x x y (C))0(=+∀∀y x y x (D) )0(=+∃⌝∃y x y x 4 设L (x )：x 是演员，J (x )：x 是老师，A (x ,y )：x 佩服y. 那么命题“所有演员都佩服某些老师”符号化为( )(A) ),()(y x A x xL →∀ (B) ))),()(()((y x A y J y x L x ∧∃→∀(C) )),()()((y x A y J x L y x ∧∧∃∀ (D) )),()()((y x A y J x L y x →∧∃∀ 5. 设个体域是整数集合，P 代表∀x ∃y ((x <y )→(x -y <0))，下面4个命题中为真的是( )(A) P 是真命题 (B) P 是谓词逻辑公式，但不是命题(C) P 是假命题 (D) P 不是谓词逻辑公式6. 表达式))(),(())(),((z zQ y x R y z Q y x P x ∀→∃∧∨∀中x ∀的辖域是( )(A) P (x ,y ) (B)R (x ,y ) (C)P (x ,y )∧R (x ,y ) (D) P (x ,y )∨Q (z )二、 填空题1. 设个体域D ＝{1,2},那么谓词公式)()(y yB x xA ∀∨∃消去量词后的等值式为.2. 设个体域D＝{a,b},公式))Gx→∀消去量词化为yHx∃(y,()(x3. 设N(x)：x是自然数，Z(y)；y是整数，则命题“每个自然数都是整数，而有些整数不是自然数”符号化为4. 谓词公式∀x(F(x)→G(x))∧⌝∀y(F(y)→G(y))的类型是．5. 设个体域{1,2},谓词P(1)=1,P(2)=0，Q(1)=0，Q(2)=1，则∀x(P(x)∨Q(x))的真值是三、解答化简计算题1. 判别谓词公式),(x∃yF∀→∃的类型.∀x,)yx(yyxF2. 指出谓词公式)(xQyPx∀中∀x和∃x的辖xR→∧∃x∧(,))x))(S)((x(域，并指出该公式的约束变元和自由变元以及约束出现次数和自由出现次数．3. 求谓词公式))PQx∧→x∀的真值．(R(())f(a其中P：4>3，Q（x）：x>1，R（x）：x≤2．f（-3）=1，f（1）=5，f（5）= -3．a：5．个体域D=（-3，1，5）．4.说明公式))xP∀xyG→(∀是逻辑有效式(永真式)．→x∃()y(,)(xxP5. 通过等值演算说明下列等值式成立：PxxxPQ∃→⇔∀→x∃)()()))(xQ(x(x6. 求谓词公式),,(xyyGxxF∃∧∀的前束范式.→∀yzH)(,,(xy(z))四、证明题1. 试利用代换实例证明谓词公式xyzGxF∀∃∀→∀x→,)())((xF(x)z是逻辑有效式(永真式)．2. 构造推理证明))xxQxxP∀∃．→∀⇒xP→(()()(Q(x)x（提示：))xA∨xxBx∀x∨∀⇒∀.))(()(()xB(xA谓词逻辑习题参考答案一、1. C ；2.. B ；3 A ；4. B ；5. A 6. D二、1. A (1)∨A (2)∨(B (1)∧B (2)) 2. (G (a )→(H (a ,a )∨H (a ,b )))∧ (G (b )→(H (b ,a )∨H (b ,b )))3.))()(())()((x N x Z x x Z x N x ⌝∧∃∧→∀ 4. 永假式 5. 1三、1.设I 为任意一个解释，D 为I 的个体域. 若在解释I 下，该公式的前件为0，无论),(y x xF y ∃∀如何取值，),(),(y x xF y y x yF x ∃∀→∀∃为1； 若在解释I 下，该公式的前件为1，则,0D x ∈∃使得),(y x yF ∀为1，它蕴含着),(,0y x F D y '∈'∀为1),(y x xF '∃⇒为1，由y '的任意性，必有),(y x xF y ∃∀为1，于是),(),(y x xF y y x yF x ∃∀→∀∃为1. 所以，),(),(y x xF y y x yF x ∃∀→∀∃是永真式．2. ∀x 的辖域为：P (x )→Q (x ,y )∧∃xR (x )∃x 的辖域为：R (x )x 既是约束变元，也是自由变元，约束出现3次，自由出现1次．y是自由变元，自由出现1次． 3. ))(())((a f R x Q P x ∧→∀=))5(())5(())1(())3((f R Q P Q P Q P ∧→∧→∧-→=)3()11()01()01(-∧→∧→∧→R01100=∧∧∧=4. 已知1)()(⇔∨⌝∨⌝⇔∨⌝∨⌝⇔→→P Q P P Q P P Q P因为))(),(()(x xP y x yG x xP ∀→∃→∀是)(P Q P →→的代换实例，可知))(),(()(x xP y x yG x xP ∀→∃→∀是逻辑有效式．或))(),(()(x xP y x yG x xP ∀∨⌝∃∨⌝∀1)(),()(⇔∨⌝∃∨⌝∀⇔x P y x yG x xP5. ⇔→∃))()((x Q x P x )()((x Q x P x ∨⌝∃))()(x xQ x P x ∃∨⌝∃⇔)()(x xQ x xP ∃∨⌝∀⇔)()(x xQ x xP ∃→∀⇔6. ),,()),(),((z y x zH y x yG y x xF ∃∧∀→∀),,()),(),((z y x zH y x yG y x xF ∃∧∀∨⌝∀⇔),,()),(),((z y x zH v u vG y u F u ∃∧∀∨⌝∃⇔)),,()),(),((z y x zH v u vG y u F u ∃∧∀∨⌝∃⇔)),,()),(),(((z y x H v u Q y u F z v u ∧∨⌝∃∀∃⇔(或)),,()),(),(((z y x H v u Q y u F z v u ∧→∃∀∃⇔)四、1.谓词公式))(),(()(x xF z x zG y x xF ∀→∃∀→∀ 是命题公式)(P Q P →→的代换实例．因为命题公式⇔∨⌝∨⌝⇔→→P Q P P Q P )(1是永真式， 故))(),(()(x xF z x zG y x xF ∀→∃∀→∀是逻辑有效式．2.前提：)()(x xQ x xP ∀→∃．结论：)()(x xQ x xP ∀→∃．证 ① )()(x xQ x xP ∀→∃ 前提引入② )()(x xQ x xP ∀∨⌝∃ T ①,蕴含等值式③ )()(x xQ x P x ∀∨⌝∀ T ②,量词否定④ ))()((x Q x P x ∨⌝∀⑤ ))()((x Q x P x →∀ T ④,蕴含等值式第3章 集合及其运算一、 单项选择题1. 设a 是集合A 的元素，则以下正确的是( )A a A a A a a a ∈⊆⊆⊆}){D ()C (}){B (}){A (2. 设集合A ={1,2,3,4},B ＝{2,4,6,9}，那么集合A ，B 的对称差A ⊕B＝( )(A) {1,3} (B) {2,4,6} (C) {1,3,6,9} (D) {1,2,3,4,6,9}3. 设集合A ＝{{1,2,3},{4,5},{6,7,8}}，则下列各式为真的是( )(A) 1∈A (B) {{4,5}}⊂A(C) {1,2,3}⊆A (D) ∅∈A4. 设A , B , C 都是集合，如果A ⋂C ＝B ⋂C ，则有( ) (A) A ＝B (B) A ≠B (C) 当A －C ＝B －C 时,有A =B(D) 当C =U 时, 有A ≠B5. 设集合A ＝{∅，a }，则P (A )＝ ( )}},{},{},{,){D (}}}},{,{},{},{,){C (}},{},{},){{B (}},{},{,){A (a a A a a a a a a ∅∅∅∅∅∅∅∅∅∅6. 设A ={1，2，3}，B ={2，3，4，5}，C ={2，3}，则（A ∪B ）⊕C 为（ ）(A) {1，2} (B) {2，3} (C) {1，4，5} (D) {1，2，3}二、 填空题1.设A , B 代表集合，命题A -B =∅⇔A=B 的真值为 ．2. 设A , B 为任意集合，命题A -B =∅⇔A⊆B 的真值为 ．3. 设集合A ={∅,{a }}，则A 的幂集P (A )=4. 设集合A ={{a ,b },c }, B ={c ,d }, 那么A －B ＝5. 设集合A ＝{1,2,3,4}，B ={a ，b ，c }，则∣A ×B ∣＝三、解答化简计算题1. 试作以下二题：(1) 设有序对＜2x +y ,6＞=＜5,x +y ＞,求x ,y ；(2)设集合A ＝{1,2},求A ×P (A ).2. 设集合A ＝{a ,b ,c },B ={b ,d ,e }，求B ⋂A ，A ⋃B ，A －B ，B ⊕A ．3. 化简集合表达式：((A ⋃B ⋃C )⋂(A ⋃B ))－((B ⋃(B －C ))－A )4. 判断下列哪些运算结果是对的？哪些是错的？请将错误的运算结果更正过来．(1) ∅=∅⋂∅}{ (2) ∅=∅⋃∅}{(3) }{}}{,{}{∅=∅∅⋂∅ (4) }}{,{}{}}{,{∅∅=∅-∅∅（5）A B B A =⋃-)( （6）A B B A =-⋃)(（7）A A A =⊕ （8）∅=-⋂A B A )(5.易,0.5,8,掌握,2-2 设全集E ＝(a ,b ,c ,d ,e ,f ), A ={a ,d }，B ={a ,b ,e }，C ={b ,d }，求下列集合：(1) C B A ~)(⋃⋂； (2))()(A P A A ⋃⊕.6. 设},{},,,{},,{},,,,,{42=521=41=54321=C B A E求 (A ⋂B )⋃~C ，P (A )－P (B )，A ⊕B ．四、证明题1. 设A ，B ，C 为三个集合，证明若C ⊆A ．则(A ⋂B )⋃C ⊆A ⋂(B ⋃C )2. 试证明对任意集合A ，B ，C ，如果B A ⊆且D C ⊆，则C BD A -⊆- 3. 设A ，B ，C 为任意集合，证明：)()()(C B C A C B A ---=--集合练习题参考答案一、1. B 2. C 3. B 4. C 5. D 6. C 二、1. 0 2. 1 3. }}}{,{}},{{},{,{a a ∅∅∅ 4. {{a ,b }} 5.12三、解答化简题1. (1) 由有序对定义，解方程⎩⎨⎧=+=+652y x y x 解得x=－1，y=7．(4分)（2）P （A ）={∅,{1},{2}{1,2}}A ⨯P (A )={<1,∅>,<2,∅>,<1,{1}>,<2,{1}>,<1,{2}>,<2,{2}>,<1,{1,2}>,<2,{1,2}>}2. B ⋂A ＝{b } A ⋃B ={a ,b ,c ,d ,e } A －B ={a ,c } B ⊕A ={a ,b ,c ,d ,e }－{b }={a ,c ,d ,e }3. ((A ⋃B ⋃C )⋂(A ⋃B ))－((B ⋃(B －C ))－A )＝(A ⋃B )－(B －A ) =(A ⋃B )⋂(～B ⋃A ) =A ⋃(B ⋂～B )=A ⋃∅=A4. (1) 对． (2) 错．应为}{∅． (3) 对． (4) 错．应为{}{∅}（5）错．应为B A ⋃ （6）错．应为B A -(或B A ~⋂或A －AB )（7）错．应为∅，即∅=⋂-⋃=⊕A A A A A A （8）对． 5. (1) },,,{},,,{}{~)(f e c a f e c a a C B A =⋃=⋃⋂ (2)∅=⋂-⋃=⊕)()()(A A A A A A . }},{},{},{,{)(d a d a A P ∅=.故)()(A P A A ⋃⊕＝}},{},{},{,{d a d a ∅ 6. (A ⋂B )⋃~C ={1}⋃}5,3,1{}5,3,1{=}},{},{{}},{},{},{,{}},{},{},{,{)()(411=4242-4141=-φφC P A PA⊕B =(A⋃B)－（A⋂B）=}5,4,2{}5,4,2,1{=-}1{四、证明题1. 已知xC∀⊆,A∈⋂∨⇔⋃(∈)x∈⋂CAxABxBC∈∧(⇔)∈∨Cx∈BxAx∨∈x∈∧⇔A∈∨∈x(C)(x)BCx∈∈x⋃∨⋂∧A⇒∈∈⇔B(C(xA)BxC)即)⋂A⋃⊆⋂B⋃(CC)(AB2. 由于C⇔~⊆⊆，DC~D又有BA⊆，所以⊆⋂~⋂DCA~B即C-．⊆A-DB3. )A⋂CC⋂B---A=⋂~)~(~C(B(C))(⋂A⋃C=⋂~B(~))(CA⋂CB⋂⋂A⋂⋃=(~))~(C~C＝C)~~(⋂⋂⋂=⋂= C)(BBAC~A~(-)BA-第3章 二元关系练习题一、 单项选择题1. 设集合A ＝{0,b },B ={1,b ,3},则A ⋃B 上的恒等关系是 ( ).(A) {<0,0>,<1,1>,<3,3>} (B){<0,0>,<1,1>,<b ,b >,<3,3>}(C) {<1,1>,<b ,b >,<3,3>} (D) {<0,1>,<1,b ><b ,3>,<3,0>} 2. 已知集合A ＝{a ,b ,c }上的二元关系R 的关系矩阵M R ＝⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001011010，那么R ＝( )，(A) {<a ,b >,<b ,a >,<b ,b >,<a ,c >} (B) {<a ,b >,<b ,a >,<b ,b >,<c ,b >} (C) {<a ,b >,<a ,a >,<b ,b >,<c ,a >} (D) {<a ,b >,<b ,a >,<b ,b >,<c ,a >} 3. 设集合A ={1,2,3,4}, A 上的二元关系R 的关系矩阵为M R ＝⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡00000001011001则关系R 的表达式是( )(A) {<1,1>,<1,4>,<2,1>,<2,3>} (B) {<1,1>,<1,2>,<1,4>,<2,3>} (C) {<1,1>,<2,1>,<3,2>,<1,4>} (D) {<1,1>,<2,1>,<3,2>,<4,1>}4. 设A ={a ，b ，c }，R ={<a ，a >，<b ，b >}，则R 具有性质（ ） (A) 自反的 (B) 反自反的 (C) 反对称的 (D) 等价的5. 设R 是集合A 上的二元关系，I A 是A 上的恒等关系，如果R ⊂I A ，则下面四个命题中为真的是（ ）(A) R 不是自反的 (B) R 不是传递的 (C) R 不是对称的 (D) R不是反对称的 二、填空题1. 设R ，S 都是集合A 上的等价关系，则对称闭包s (R ⋂S )=2. 如果关系R 是传递的，则R ∙R ⊆ ．3. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R ＝},,2,{B y A x x y y x ∈∈=><,那么R －1＝4. 设X ＝{a ,b ,c }，R 是X 上的二元关系，其关系矩阵为 M R＝⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡001001101，那么R 的关系图为 ．5. 设A ={1,2,3,4}，A 上的二元关系}3,{Z ∈-><=y x y x R ,其中Z 是整数集合．试用列举法那么R＝ ． 三、解答化简计算题1. 设集合A ＝{a ,b ,c ,d }，在A 上定义二元关系R ＝{<a ,a >,<a ,d >,<b ,b >,<b ,c >,<c ,b >,<c ,c >,<d ,a >,<d ,d >} R 是否为等价关系，说明理由.2. 设R 是实数集，R 上的二元关系S 为 S ＝{<x ,y >∣x ,y ∈R ∧x =y }试问二元关系S 具有哪些性质？简单说明理由．3. 设A ＝{1,2},B ={a ,b },试问从A 到B 的二元关系有多少个?4. 设集合A ＝{0，1，2，3，4，5，6}上的偏序关系R 如下： R={<0,1>,<0,2>,<0,3>,<0,4>,<0,5>,<0,6>,<4,6>,<2,5>,<3,5>}⋃I A 做偏序集<A ,R >的哈斯图，并求B ={0,2,3}的极大元、极小元、最大元和最小元．5. 设集合A ={0,1,2,3,4}，定义A 上的二元关系R 为： R ＝{<x ,y >⎪x ,y ∈A ∧(x =y ∨x +y ∈A )}试写出二元关系R 的集合表达式，并指出R 具有的性质．6. 已知集合A 上的二元关系R 的关系图如图4－1，试写出R 的集合表达式和R 的关系矩阵．并指出R 所有的性质．7. 设集合A ＝{1,2,3,4}, B ＝{2,4,6} 从A 到B 的二元关系R 定义为R ＝},{N k k xy B y A x y x ∈∧=∧∈∧∈><试求R 的集合表达式和关系矩阵M R .8. 设R 1是A 1＝{1,2}到A 2＝(a ,b ,c )的二元关系，R 2是A 2到A 3＝{βα,}的二元关系，R 1= {<1,a >,<1,b >,<2,c >}, R 2={<a ,β>,<b ,β>} 试用关系矩阵求R 1∙R 2的集合表达式.9. 设集合X ＝{a ,b ,c ,d },X 上的二元关系R 的关系图如图4－2所示．试写出R 的表达式和关系矩阵．10. 设集合S ＝{1,2,3,4},定义S 上的二元关系 })(,,{2y x S y x S y x y x R >∧∈-∧∈><=},,{是素数yx S y x y x T ∧∈><=试求R ，T 的元素表达式，并计算R ∙T ． 四、证明题1. 证明如果非空集合A 上的二元关系R 和S 是偏序关系，则S R ⋂也是A 上的偏序关系．2. 设R 是集合A 上的二元关系，试证明R 是自反的当且仅当R I A ⊆．3. 假设R 是非空集合A 上的等价关系，证明R 的逆关系R －1也是A 上的等价关系．0 ∙ ∙2 1∙ 图4－ 1a db c图4－2二元关系习题参考答案一、1. B 2. D 3. A 4. C 5. A二、1. R ⋂S 2. R 3. {<6,3>,<8,4> }4. 如图4－3．5. }1,4,4,1{><><⋃A I三、1. R 含有<a ,a >,<b ,b >,<c ,c >,<d ,d >, 是自反的；R 含有<a ,a >,<b ,b >,<c ,c >,<d ,d >,<a ,d >,<d ,a >,<b ,c >,<c ,b >, 是对称的； 对R z x R z y R y x >∈⇒<>∈<>∈<∀,,,,，是传递的.故R 是A 上的等价关系.2. S 具有自反性，显然<x ,x >∈S ； S 具有对称性，∀<x ,y >∈S ，有x =y ，则<y ,x >∈S ； S 具有反对称性，∀<x ,y >,<y ,x >∈S ，有x =y ； S 具有传递性，∀<x ,y >,<y ,z >∈S ,因为x =y =z ，故<x ,z >∈S ．3. 二元关系共有16个．4. A ＝{0,1,2,3,4,5,6}, B ={0，2，3}， 哈斯图如图4－4．B 的极大元：2，3, B 的极小元：0 B 的最大元：无 B 的最小元：05. 由题设，R ＝I A ⋃{<0,1>,<1,0>,<0,2>,<2,0>,<0,3>,<3,0>,<0,4>,<4,0>,<1,2>,<2,1>,<1,3>,<3,1>}易知，R 具有自反性和对称性．6. }0,2,2,0,2,2,0,0{><><><><=R⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=101000101RMR 有对称性和传递性．7. R ＝{<1,2>,<1,4>,<1,6>,<2,2>,<2,4>,<2,6>,<3,6>,<4,4>}M R =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡01100111111 a c b 图4－3 6∙ 5∙∙4 3∙ 2∙ ∙10∙ 图4－48. ,100111⎥⎦⎤⎢⎣⎡=R M⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡=0010102R M ⎥⎦⎤⎢⎣⎡=∙10001121R R M ⎥⎦⎤⎢⎣⎡=⎥⎥⎦⎤⎢⎢⎣⎡0010001010 },1{21><=∙βR R9. R ＝{<a ,a >,<a ,c >,<b ,c >,<d ,d >}⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡=1000000001000101R M 10. }2,4,3,4,2,3,1,2{><><><><=R}2,4,1,3,1,2{><><><=T }1,4,1,3{><><=⋅T R四、证明题1. .① S R x x S x x R x x A x ⋂>∈⇒<>∈<>∈<∈∀,,,,,，所以S R ⋂有自反性；②,,A y x ∈∀因为R ，S 是反对称的，yx x y y x S x y S y x R x y R y x S x y R x y S y x R y x S R x y S R y x =⇔=∧=⇒>∈<∧>∈<∧>∈<∧>∈<⇔>∈<∧>∈<∧>∈<∧>∈<⇔⋂><∧⋂><),,(),,(),,(),,(,, 所以，R ⋂S 有反对称性．③ A z y x ∈∀,,，因为R ，S 是传递的， S R z y S R y x ⋂>∈<∧⋂>∈<,,S z y R z y S y x R y x >∈<∧>∈<∧>∈<∧>∈⇔<,,,, S z y S y x R z y R y x >∈<∧>∈<∧>∈<∧>∈⇔<,,,, S R z x S z x R z x ⋂>∈⇔<>∈<∧>∈⇒<,,,所以，S R ⋂有传递性． 总之，R 是偏序关系. 2. 先证必要性．假设R I A ⊆/，则必存在x ∈A ,使得<x ,x >∈I A ,且<x ,x >∉R ,这与R 是自反的相矛盾．所以R I A ⊆．再证充分性．设R I A ⊆，则对,,,A I x x A x >∈<∈∀因为R I A ⊆，所以R x x >∈<,．因此R 是自反的．3. (1) ∀x ∈A ，则<x ,x >∈R ，显然<x ,x >∈R －1，R －1具有自反性． (2) ∀x ，y ∈A ， 如果<x ,y >∈R －1⇔<y ,x >∈R⇒<x ,y >∈R (R 是对称的)⇔<y ,x >∈R －1， R －1具有对称性．(3) ∀x ,y ,z ∈A ，如果<x ,y >∈R －1∧<y ,z >∈R 1⇔<y ,x >∈R ∧<z ,y >∈R ⇔<z ,y >∈R ∧<y ,x >∈R ⇒<z ,x >∈R （R 是传递的）⇔<x ,z >R －1，R 具有传递性．总之，R 是等价关系．第5章 群练习题一、单项选择题1. 设A ＝Q ×Q ，其中Q 是有理数集，定义A 上的二元运算*为:),,(b a ∀,A y x ∈),(,),(),(),(b ay ax y x b a +=*,则(1,2)*(3,4)=())6,3)(D ()8,6)(C ()1,5)(B ()10,3)(A (-2. 下列集合和运算能构成群的是 ( )．(A) (M n (R ),+),其中M n (R )是定义在实数集上的n 阶矩阵，＋是普通加法 (B)(A ,+),其中A ＝{0,±1,±2,…,±n },+是普通加法 (C)({21,0,2},+),其中＋是普通加法(D) ({0,1,2,3},⊗),其中运算⊗是模4乘法3. 在自然数集N 上定义的二元运算*，满足结合律的是( )ba b a b a b a b a b a b a b a -=*=*2+=*-=*)D (},max{)C ()B ()A (4. 以下代数系统中，只是半群的为( )． (A) (Z ，︒)，其中Z 是整数集，∀a ,b ∈Z ,a ︒b =a +b －2 (B) (Z ，︒)，其中Z 是整数集，∀a ,b ∈Z ,a ︒b =b (C) (Z ，︒)，其中Z 是整数集，∀a ,b ∈Z ,a ︒b =a +b －ab(D) (R －{0}，︒)，其中R 是实数集，∀a ，b ∈R ,a ︒b =ab 5. 以下群中，是循环群的为( )． (A) (Z ，+)，其中Z 是整数集，+是数的加法 (B) (Q +，×)，其中Q +是正有理数集，×是数的乘法 (C) (Q ，+)，其中Q 是有理数集，+是数的加法(D) (P (A),⊕)，其中A ={a ,b },P (A)是A 的幂集，⊕是集合的对称差运算 二、填空题 1. 设R 是实数集，∀a ,b ∈R ,定义二元运算*：a *b =a +b +ab ,已知0∈R 是其单位元，那么∀a ∈R ,但a ≠－1，则a 的逆元是 .2. 设(R *, )是代数系统，其中R *＝R －{0}，二元运算 定义为abb a R b a =∈∀ ,,*,那么，a R a ,*∈∀的逆元是3. 设集合A ＝{1，2，3}，在A 上定义二元运算︒为：,,A b a ∈∀a ︒b =},min{b a ，则︒的运算表为︒ 1 2 3 1 2 34. 设S 是非空有限集合，P （S ）是S 的幂集，则代数系统<P (S ),⋃ >存在单位元是 三、解答化简计算题1. 设代数系统(R *, ︒)，其中R *是非0实数集，二元运算︒为：∀a ,b ∈R , a ︒b =ab. 试问︒是否满足交换律、结合律，并求单位元以及可逆元素的逆元.2. 验证H 2={e ,a 3}是6阶循环群G ={ e ,a 1,a 2,a 3,a 4, a 5}的子群．3. 验证代数系统(Z ,+)与(2Z ，+)同构．4. 设集合A ＝{1,2,3}，P (A )是A 的幂集合，⊕是集合的对称差运算．求运算⊕在P (A )上的单位元．∀x ∈P (A )，求x 关于运算⊕的逆元．并解方程{1,2}⊕y ={1}．四、证明题1. 设群(G ,*), 若∀a ∈G ,都有a 的逆元a －1=a ，则G 是交换群.2. 设R *=R －{0}，集合S 定义为},00{*R b a b a S ∈⎥⎦⎤⎢⎣⎡= 证明代数系统(S ，*)是群，其中*是矩阵的乘法运算．3. 在整数集合Z 上定义二元运算︒：∀x ,y ∈Z , x ︒y =x +y －2，已知<Z , ︒>是半群，证明<Z ，︒>是群．4. 证明群(R ，+)与(R +，∙)同构，其中+和∙分别是数的加法和乘法．(提示：考虑函数f (x )=e x )群练习题参考答案一、1. D 2. A 3. C 4. B 5. A 二、1. 1+-a a 2.a1 3.4. ∅三、1. ∀a ,b ,c ∈R *, a ︒b =ab =ba =b ︒a ，可交换； (a ︒b )︒c =ab ︒c =abc =a (bc )=a ︒(bc )=a ︒(b ︒c )，可结合. 易见，单位元为1.对∀a ∈R *, a ︒a －1=aa －1=1=a －1a ＝a －1︒a ，故a 的逆元：aa 11=-2. (1) H 2⊂G ．易验证∀x ,y ∈H 2,有xy ∈H 2．且在H 2上满足结合律． e 是其单位元，(e )－1=e ，(a 3)－1=a 3． 故H 2是G 的子群．3. ∀z ∈Z ，f (z )=2z ，有f ：Z →2Z ．∀z 1,z 2∈Z ，f (z 1+z 2)=2(z 1+z 2)= 2z 1+2z 2= f (z 1)+f (z 2) 所以，(Z ,+)与(2Z ，+)同态．又因为f (z )=2z 是双射函数，故(Z ,+)与(2Z ，+)同构． 4. ∀S ∈P (A)，S ⊕∅=∅⊕S =S ，故∅是单位元． ∀x ∈P (A)，x ⊕x =∅，故x 的逆元是它自己． 因为(1,2)的逆元是{1,2}，故y ={1,2}⊕{1}={2}． 四、1. 111,,)(,,,---==*=*∈*∈∀b b a a b a b a G b a G b a 由题设(3分) 于是有a b a b b a b a b a *====--------11111111)(*)()*()*(* 所以G 是一个交换群.2. 任取S 中的元素⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡d c y x b a00,00,00，其中a ,b ,x ,y ,c ,d ∈R *，有⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡byd axc yd xcb a dc y x b a byd axc d c by ax d c y x b a 0000*00)00*00(*000000*0000*)00*00(︒1 2 3 1 1 1 1 21 2 2 3123可见，*满足结合律，故(S ，*)是半群． 取E =S ∈⎥⎦⎤⎢⎣⎡1001，∀A ∈S ，有AE ＝EA ＝A ．E 为S 的单位元．∀X ∈S ，X =⎥⎦⎤⎢⎣⎡y x0，x ,y ∈R *，则存在⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡y x 1001∈S ，则有⎥⎦⎤⎢⎣⎡y x0*⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡y x 1001＝⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡y x 1001*⎥⎦⎤⎢⎣⎡y x 00=E ，即X －1＝⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡y x 1001．S 的每个元素都有逆元.故(S , *)是群． 3. 因为<Z ，︒>是半群，易见二元运算︒满足交换律．设幺元为e , ∀x ∈Z ，有x ︒e =x +e －2=x ，得到e =2∈Z ，幺元存在惟一；∀x ∈Z , x 的逆元记作x －1, x ︒x －1=x +x －1－2=2, 即x －1=4－x ∈Z ，即x 的逆元存在且惟一．所以，<Z ，︒>是群． 4.设f (x )=e x ，可知f ：R →R +．(1) ∈∀21,x x R ，)()(e e e )(21212121x f x f x x f x x x x ∙===++∈R +． 0和1分别是(R ，+)和(R +，∙)的单位元，有 f (0)=e 0=1对任意x ∈R ，x 关于+的逆元为－x ，而f (－x )＝e －x ＝)(11x f ex=．(2) f ：R →R +是双射函数．所以，(R ，+)与(R +，∙)同构．第6章 格与布尔代数及环、域练习题一、 单项选择题1.下列偏序集中是格的为( )2. 设布尔代数式c b a f ⋅+=，则f 的对偶式f *=( )(A) c b a ⋅+ (B) c b a ⋅+ (C) c b a +⋅ (D) c b a +⋅ 3. ( )是布尔代数． (A) 有余有界格 (B) 有余分配格 (C) 有界分配格 (D) 有余代数格 4. 设G 是非空集合，G 上二元运算︒和*，*对︒有左、右分配律，又满足( )，则(G ,︒,*)称为环．(A) (G ,*)是交换群，(G ,︒)是交换群 (B) (G ,*)是半群，(G ,︒)是半群(C) (G ,*)是群，(G ,︒)是群 (D) (G ,*)是半群，(G ,︒)是交换群二、 填空题1. 设代数系统(L ，︒，*)，若(L ，︒)是 ，(L ，*)是半群，又二元运算*对︒满足分配律，则(L ，︒，*)是环.2. 布尔代数式))(()1(c a b a +⋅+⋅的对偶式是3.在布尔代数中，有b a b a a +=⋅+)(成立，则其对偶式 一定成立．4. 若<G ,+,∙>是环，那么∀a ,b ∈G ，有 则称<G ,+,∙>是交换环． 三、解答化简计算题1. 设代数系统(Z ，+，×)，已知(Z ，×)是半群，验证(Z ，+，×)是环．2. 设(L ，*，︒)是有补格，∀a ,b ∈L ，化简表达式 (a *b )*(a '︒b ')(其中a ',b '分别是元素a ,b 的补元)3. 已知(L ，*，︒)是格，且二元运算*和︒满足分配律，∀a ,b ,c ∈L ，化简表达式 ((a *b )︒(a *c ))* ((a *b )︒(b *c ))4. 试作以下二题：(1)已知A ≠∅，则(P (A )，⋃，⋂，～，∅，A )是布尔代数，∀S ∈P (A )，求S 的补元，说明理由．（2）布尔代数(),,,+∙B ，其中}1,0{=B ，若B 上的三个变元的表达式c b c b a c b a E ++∙+=),,(求)1,1,0(E 的真值．四、证明题1. 设R 为实数集，证明(R ，＋)是交换群，(R ,×)是半群，且×对＋满足左、右分配律，即(R ，＋，×)是环．其中＋，×是普通加法和乘法．2. 设<S ,+,∙,,0,1>为一布尔代数，证明∀a ,b ∈S ，有b a b a a +=∙+)(；b a b a a ∙=+∙)((A)(B) (C) (D)格等代数系统习题参考答案一、 1. B 2. C 3. B 4. D二、1.交换群 2. ))(()0(c a b a ⋅+⋅+ 3. b a b a a ⋅=+⋅)( 4. a ∙b =b ∙a 三、1.只需验证(Z ，+)是交换群． 易验证整数具有结合律，交换律． 0是加法的单位元．(4分)∀k ∈Z ，∃－k ∈Z ，有 k +(―k )=(―k )+k =0Z 中每个元素有逆元．故(Z ,+)是交换群． 所以(Z ,+,×)是环．(8分)2. (a *b )*(a '︒b ')＝(a *b )* (a *b ) '=13. ((a *b )︒(a *c ))*((a *b )︒(b *c ))＝(a *b )︒ ( (a *c )* (b *c ))(分配律) =(a *b ) ︒((a *b )*c ) (幂等律) =a *b (吸收律)4. (1) 对任意S ， 因为S ⋃(A －S )=(S ⋃A )⋂(S ⋃~S )=A ，S ⋂(A －S )=S ⋂(A ⋂~S )=∅故S 的补元为A －S ．（2） 因为c b c b a c b a E ++∙+=),,(所以， E (0,1,1) =11110++∙+=1110++∙=0+1=1四、1. (1)∀x ,y ,z ∈R ,有(x +y )+z =x +(y +z ),满足加法 R 上满足加法结合律． (2) ∀x ,y ∈R ,有x +y =y +x ,满足加法R 上满足加法交换律．(3)R 中存在元素0，使得∀x ∈R ,有x +0 =0＋x , 加法单位元存在，为0． (4) ∀x ∈R , 存在－x ∈R ，使得x +(－x )=0，加法逆元存在，x －1=－x ． 可见(R ,+)是交换群； (5) ∀x ,y ,z ∈R ,有(x ×y )×z =x ×(y ×z ),满足乘法结合律． 可见(R ,×)是半群； (6) ∀x ,y ,z ∈R ,有(x +y )×z =x ×z +(y ×z ), z ×(x +y )=z ×x +z ×y , 满足左、右分配律．二元运算×对＋满足左右分配律．总之，(R ，＋，×>是环． 2. b a b a b a a a b a a +=+∙=+∙+=∙+)(1)()()( b a b a b a a a b a a ∙=∙+=∙+∙=+∙0)()(第７章 图的基本概念一、 单项选择题1. 设V ＝{a ,b ,c ,d },与V 能构成强连通图的边集E ＝( )(A) {<a ,b >,<a ,c >,<d ,a >,<b ,d >,<c ,d >} (B) {<a ,d >,<b ,a >,<b ,c >,<b ,d >,<d ,c >} (C) {<a ,c >,<b ,a >,<b ,c >,<d ,a >,<d ,c >} (D) {<a ,d >,<b ,a >,<b ,d >,<c ,d >,<d ,c >} 2. 有向完全图D ＝<V ,E >, 则图D 的边数是( )(A)2)1(-E E (B)2)1(-V V (C) ∣E ∣(∣E ∣－1) (D) ∣V ∣(∣V ∣－1)3. n 阶无向完全图K n 中的边数为（ ） (A)2)1(-n n (B)2)1(+n n (C) n (D)n (n +1)4. 给定无向图G 图5－1所示，下面给出的顶点集子集中，不是点割集的为（ ）(A) {b ,d } (B) {d } (C) {a ,c } (D) {g ,e } 5. 下列数组中，不能构成无向图的度数列的数组是( )(A) (1,1,1,2,3) (B) (1,2,3,4,5) (C) (2,2,2,2,2) (D) (1,3,3,3)二、 填空题1.设有向图D ＝<V ,E >的邻接矩阵为A (D )=0110101000010110⎡⎤⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦，那么∣E ∣＝ . 2. 无向图G (如图5－2)的关联矩阵M (G )=3. 数列{2，3，3，4}不能构成无向简单图的度数列，此命题的真值为4. 在有向图的邻接矩阵中，第i 行元素之和与第j 列元素之和分别为 ．5. 图G 如图5－3，那么图G 的割点是6. 有16条边，每个顶点都是2度顶点的无向图有个顶点．三、解答化简计算题 1. 设图G 如图5－4所示．已知通路(1) v 1e 5 v 5e 7 v 2e 2 v 3(2) v 5e 6 v 2e 2 v 3e 3 v 4e 8 v 2e 7 v 5 (3) v 2e 7 v 5e 6 v 2(4) v 1e 1 v 2e 2 v 3e 3 v 4e 8 v 2e 6 v 5试回答它们各是简单通路、简单回路、 初级通路还是初级回路．a gb d fc e 图5－ 1 v 2e 2 v 3 e 1 e 3 v 1 e 4 v 4 图5－2a bf ce d图5－3 v 1 e 1 e 5 v 2 e 6 v 5 e 2 e 7 e 4 e 8v 3 e 3 v 4 图5－42. 指出有向图D(如图5－5)中各图是强连通，单侧连通还是弱连通？3. 找出无向图G（如图5－6所示）中的一个点割集，三条边和四条边的边割集各一个．4. 已知有向图D(如图5－7)的邻接矩阵为A(D)=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡111111111求从v2到v4长度为2和从v3到v3长度为2的通路条数，并将它们具体写出.5. 设图G＝<V，E>，其中V＝{a,b,c,d,e}, E={(a,b),(b,c),(c,d), (a,e)}试作出图G的图形，并指出图G是简单图还是多重图？是连通图吗？说明理由.6. 设简单连通无向图G有12条边，G中有2个1度结点，2个2度结点，3个4度结点，其余结点度数为3．求G中有多少个结点．试作一个满足该条件的简单无向图．四、证明题1. 若无向图G中只有两个奇数度结点，则这两个结点一定是连通的．2 证明在任何有向完全图中，所有结点的入度平方之和等于所有结点的出度平方之和．(1)(2)(3)(4)(5)图5－5a bce d图5－6v4 v3v1 v2图5－7图的基本概念习题参考答案一、1. A 2. D 3. A 4. A 5. B二、1. 7 2. ⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡11001101101001 3. 1 4.结点v i 的出度与结点v j 的入度 5. a , f 6. 16 三、1. (1) 初级通路； (2) 简单回路； (3) 初级回路； (4) 简单通路．2. 强连通图为：图5－5的(1),(4),(5)；单侧连通图为：如图5－5的(1),(2),(4),(5)，或图5－5的(2)； 弱连通图为：图5－5(1)～(5)，或图5－5的(3).．3. 点割集：{a ,c ,d }(不惟一) 三条边的边割集：{(b ,c ),(c ,e ),(c ,d )}(不惟一) 四条边的边割集：{(a ,b ),(a ,d ),(d ,e ),(c ,e )}(不惟一)4.. A 2(D )=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡2120020221201212从矩阵A 2(D )中a 24=2,a 33=2可知，从v 2到v 4长度为2的通路有2条. 它们是： v 2v 3v 4,和v 2v 1v 4, 从v 3到v 3长度为2的通路有2条. 它们是： v 3v 4v 3,和v 3v 2v 3,5. 图G 如图5－8.图G 中既无环，也无平行边，是简单图.图G 是连通图. G 中任意两点都连通. 6. 设图G 有x 个结点，有握手定理 2⨯1+2⨯2+3⨯4+3⨯（x -2-2-3）＝12⨯2271821243=-+=xx ＝9 图G 有9个结点． 作图如图5－10四、1. 用反证法．设G 中的两个奇数度结点分别为u 和v ．假若u 和v 不连通． 即它们之间无任何通路，则G 至少有两个连通分支G 1，G 2，且u 和v 分别属于G 1和G 2，于是G 1和G 2各含有一个奇数度结点．这与握手定理的推论矛盾．因而u 和v 一定是连通的．ab ec d图5－8 图5－10第七章几种特殊图练习题一、 单项选择题1. 以下命题真值为1的是( )(A) 无向完全图都是欧拉图 (B) 有n 个结点n －1条边的无向图都是树 (B) 无向完全图都是平面图 (D) 树的每条边都是割边 2. 有4个结点的非同构的无向树有 ( )个． (A) 2 (B) 3 (C) 4 (D) 5 3. 无向完全图K 4是（ ）（A ）欧拉图 （B ）哈密顿图 （C ）树 （D ）非平面图 4. 以下各图中存在哈密顿回路的图是 ( )5. 设G 是连通平面图，有v 个结点，e 条边，r 个面，则r = ( )． (A) e －v ＋2 (B)v ＋e －2 (C)e －v －2 (D) e ＋v ＋26. 无向图G 是欧拉图，当且仅当( )(A) G 中所有结点的度数全为偶数 (B) G 中所有结点的度数全为奇数 (C) G 连通且所有结点的度数全为偶数 (D) G 连通且所有结点的度数全为奇数 7. 设G 是有6个结点的无向完全图，从G 中删去( )条边，则得到树． (A) 6 (B) 9 (C) 10 (D) 15二、填空题1. 无向连通图G 含有欧拉回路的充分必要条件是2. 设图G =<V ,E >，其中|V |=n ,|E |=m ．则图G 是树当且仅当G 是连通的，且m = ．3. 图G （如图6－1所示）带权图中最小生成树的权是4.在平面图>=<E V G ,中,则∑=ri i r 1)deg(＝ ,其中r i (i =1,2,…,r )是图G 的面．5. 设图>=<E V G ,是简单图，若图中每对结点的度数之和 ，则G 一定是哈密顿图．6. 设G 是连通平面图，v ,e ,r 分别表示G 的结点数，边数和面数，则v ,e 和r 满足的关系式是三、解答化简计算题1. 设无向图G ＝<V ,E >, 那么图G 中∣V ∣与∣E ∣满足什么条件，图G 一定是树.2. 图G (如图6－2)能否一笔画出？说明理由. 若能画出，请写出一条通路或回路.3. 给定三个图如图6－3所示，试判断它们是否 为欧拉图、哈密顿图、或平面图？并说明理由．(A) (B) (C) (D)∙2 2 3∙ 1 ∙7 9 2∙ 8 ∙ 6 图6－1v 5 d v 4 v 1 v 2 v 3 图6－2 e f n c a h g b。
(完整版)离散数学题目及答案
数理逻辑习题判断题1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式)(q p p →⌝→是永真式 （ √ ） 3．命题公式p q p →∧)(是永真式 （ √ ） 4．命题公式r q p ∧⌝∧的成真赋值为010 （ × ） 5．))(()(B x A x B x xA →∃=→∀ （ √ ）6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p q p p =∧∨)( （ √ ）8．))()((x G x F x →∀是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． )()(x xG x xF ∃→∀是永真式（ √ ）11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p q p p =∨∧)( （ √ ）13．))()((x G x F x →∀是永假式 （ × ）14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若雪是黑色的:p ，则q →p 公式是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．q →p 公式的特异（主）析取式为q p ∨⌝ （ × ） 18．命题公式 )(r q p →∨⌝的成假赋值是110 （ √ ） 19．一阶逻辑公式)),()((y x G x F x →∀是闭式（ × ）单项选择题1． 下述不是命题的是（ A ）A．花儿真美啊! B．明天是阴天。
C．2是偶数。
D．铅球是方的。
2．谓词公式（∀y）（∀x）（P（x）→R（x,y））∧∃yQ（x,y）中变元y （B）A．是自由变元但不是约束变元B．是约束变元但不是自由变元C．既是自由变元又是约束变元D．既不是自由变元又不是约束变元3．下列命题公式为重言式的是（ A ）A．p→ （p∨q）B．（p∨┐p）→qC．q∧┐q D．p→┐q4．下列语句中不是．．命题的只有（A ）A．花儿为什么这样红？B．2+2=0C．飞碟来自地球外的星球。
离散数学 同步测试1、命题逻辑
《 离散数学 》同步测试1、命题逻辑一．填空：1．公式)()(s r q p ∨→∧的真值表中共有 16 种真值指派。
2．命题公式（⌝P →Q ）→（⌝ Q ∨ P ）的主析取范式为001011m m m ∨∨或（P ∧Q ）∨（P ∧⌝ Q ）∨（⌝P ∧⌝Q ） ，主合取范式为：01M 或P ∨⌝ Q 。
3．设A 、B 、C 和D 四个人中派两个人出差，需要满足下列条件：（1）若A 去，则C 和D 中要去一人；（2）B 和C 不能都去；（3）C 去则D 要留下。
则有3 种派法，分别为 AC,AD,BD 。
4．给定命题公式：P ∨（⌝P →（Q ∨(⌝ Q →R )）则它的成真指派为001，010，011，100，101，110，111，成假指派为000。
二．判断下列命题的对错。
正确的在括号内填√,错误的在括号内填×。
1、设A 、B 、C 为任意命题公式，若A ∨B ⇔ B ∨ C ，则A ⇔ B 。
（ × ）2、设A 、B 为任意命题公式，若⌝ A ⇔⌝ B ，则A ⇔ B 。
（ √ ）3、公式)()(q p q p ∨→∧是重言式。
（ √ ）4、公式P ∧Q 是合取范式，不是析取范式。
（ × ）5、所有极大项的析取为永真式。
（√ ）6、一个命题公式可以有多个与之等价的析取范式。
（√ ）7、任一命题的主合取范式是唯一的。
（√）8、下面推理是正确的： （ × ）（1）P →Q P（2）⌝P P（3）⌝Q T(1)(2)9、公式（P ∧Q ）→（R ∨ ⌝S ）的对偶式为（P ∨Q ）→（R ∧ ⌝S ）。
（ × ）10、公式（⌝P ∨Q ）∧（P →R ）与P →（Q ∧ R ）。
（ √ ）三、在每小题的备选答案中只有一个正确答案，将正确答案序号填入下列叙述中的括号内(多选不给分)。
1、给定命题公式如下：A ．（P ↔Q ）↔（P →Q ）∧（Q → P ）B ．（P ∧⌝P ）↔ QC ．（P ∨⌝P ）→（（Q ∧⌝ Q ）∧R ）则重言式为：( A ) ，矛盾式为：( C )，可满足式为：( B )2．给定命题公式如下：（⌝P →Q ）→（⌝ P ∧Q ）该命题公式的成真赋值个数是（D），成假赋值个数是（B），与它等价的主析取范式中极小项个数为（D），主合取范式中极大项个数为（B）A．0 B．1 C．2 D．3 E. 43．给定命题公式：P∨（Q∧R）则它的成真赋值为（A），成假赋值为（C）A．111，011，100，101，110 B．111，011C．000，010，001 D．0004．给定真值表：则F等价于（ D ）A．P ∧Q B．P∨Q C．P→Q D．⌝P∨⌝Q5．给定命题公式：（⌝P∨Q）∧（P→ R），与之等价的是(C )A．P→（⌝ Q∧R）B．P→（Q∨R）C．P→（Q∧R）D．⌝P→（Q∧R）6．前提条件：P→（Q →S），Q, P∨⌝R,则它的有效推论为(B )A．S B．R→S C．P D．R→Q同步测试2、谓词逻辑一．填空：1．对谓词公式（（∀x）P（x）∨（∃y）Q（y））→（∀x）R（x）中约束变元应用变换规则所得到的前束范式是（∃x）（∀ y）（∀z）（P（x）∨Q（y））→R（z））2．谓词公式（∀x）（P（x）→Q（x））∧（∃z）（R（x）∧S（z））中，量词（∀x）的辖域为（P（x）→Q（x））。
离散数学-练习题附答案可编辑
离散数学-题库1、将下列命题推理符号化并给出形式证明：已知张三或李四的彩票中奖了；如果张三的彩票中奖了，那么你是知道的；如果李四的彩票中奖了，那么王五的彩票也中奖了；现在你不知道张三的彩票中奖。
所以李四和王五的彩票都中奖了。
答案：解：设：p:张三的彩票中奖了。
q：李四的彩票中奖了。
r：你知道张三的彩票中奖。
s：王五的彩票中奖了。
符号化:前提：p∨q,p→r,q→s,￢r结论：q∧s证明：（1）￢r 前提（2）p→r 前提（3）￢p (1)(2)拒取式（4）p∨q 前提（5）q (3)(4)析取三段论（6）q→s 前提（7）s （5）（6）假言推理（8）q∧s （5）（7）合取引入2、用推导法求下列公式的主合取范式和主析取范式：（(￢P∨Q）→R)答：（(￢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)∨(￢P∧￢Q∧R))3、设集合 A ={1,2,3,4},A上二元关系R ={<1,2>,<2,2>,<,2,4〉,<3,4>}. 求其自反闭包，对称闭包和传递闭包。
答案： r(R)={<1,1>,<1,2>,<2,1>,<2,3>,<3,4>,<2,2>,<3,3>,<4,4>} s(R)={<1,1>,<1,2>,<2,1>,<2,3>,<3,4>,<3,2>,<4,3>}t(R)={<1,1>,<1,2>,<2,1>,<2,3>,<3,4>,<1,3>,<2,2>,<2,4>,<1,4>}4、设A,B,C是三个集合，证明（A∩B）-C=(A-C)∩B答案：答：（A∩B）-C=(A∩B)∩C=(A∩C)∩B=(A-C)∩B5、证明等价式：(∃χ)(A(χ)→B(χ))⇔(∀χ)A(χ)→(∃χ)B(χ)答案：(∃χ)(A(χ)→B(χ))⇔(∃χ)￢(A(χ)∨B(χ))⇔(∃χ)￢A(χ)∨(∃x)B(χ) ⇔￢(∀χ)A(χ)∨(∃χ)B(χ)⇔￢(∀χ)A(χ)→(∃χ)B(χ)6、设复数集合C={a+bi|a,b∈R,a≠0},定义C上二元关系R：<a+bi,c+di>∈R当且仅当ac>0,证明：R为等价关系。
离散数学命题逻辑练习题
离散数学命题逻辑练习题⼀、选择题1. 设命题公式)(R Q P ∧→?，记作G ，使G 的真值指派为1的P ，Q ，R 的真值是( ) 0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A (2. 与命题公式P ?（Q ?R ）等价的公式是( )A ()P Q R ∨→B ()P Q R ∧→C ()P Q R →→D ()P Q R →∨3. 下列各组公式中，哪组是互为对偶的 ( )A ,P PB ,P P ?C ,()A A **D ,A A(其中P 为单独的命题变元，A 为含有联结词的公式)4. 命题公式(P ∧(P →Q))→Q 是_____式。
A 重⾔B ⽭盾C 可满⾜D ⾮永真的可满⾜5. 下⾯命题联结词集合中，哪个是最⼩联结词 ( )A {,}?B {,,}?∧∨C {}↑D {,}∧→6. 命题公式()P Q R ?∧→的主析取范式种含⼩项的个数为 ( )A 8B 3C 5D 07. 如果A B ?成⽴，则以下各种蕴含关系哪⼀个成⽴ ( )A B A ? B A B C B A D A B ??8. 命题公式()()P Q P R →∧→的主析取范式中包含⼩项 ( )A P Q R ∧∧B P Q R ∧∧?C P Q R ∧?∧D P Q R ∧?∧?9. ,,A B C 为任意命题公式，当（）成⽴时，有A B ?。
A AB B AC B C ∨?∨ C A C B C ∧?∧D C A C B →?→10. 下⾯4个推理定律中，不正确的是 ( )A ()A AB ?∧ B ()A B A B ∨∧??C ()A B A B →∧?D ()A B B A →∧11. 下列命题公式是等价公式的为（）．A ．?P??Q ?P?QB ．A?(?B?A) ??A?(A?B)C ．Q ?(P?Q )??Q ?(P?Q )D ．?A?(A?B) ?B12. 命题公式)(Q P →?的主析取范式是（）．A ．Q P ?∧B ．Q P ∧?C ．Q P ∨?D ．Q P ?∨13．下列表述成⽴的为（）．A ．?P ??Q ?P ?QB ．?B ?A ? A ?BC ．P ? Q ?QD ．?A ? (A ?B ) ?B14. ⼀个公式在等价意义下，下⾯哪个写法是唯⼀的（）。
离散数学之命题逻辑考试答案2
离散数学之命题逻辑考试1、分析下列语句那些是命题，哪些不是命题。
（每小题1分，正确 “T ”错误写 “F ”，共10分） (1)、北京是中国首都。
(2)、大连是多么美丽啊！ (3)、素数只有有限个。
(4)、请勿吸烟！ (5)、6+8≥14。
(6)、明天有离散数学课吗？ (7)、不存在最大素数。
(8)、9<+Y X 。
(9)、所有素数都是奇数。
(10)实践出真理。
2、设P 表示命题“我学习努力”。
Q 表示命题“我考试通过”。
R 表示命题“我很快乐”。
（每小题2分，共6分） 试用符号表示下列命题：1) 我考试没通过，但我很快乐。
2) 如果我努力学习，那么我考试通过。
3) 如果我学习努力并且考试通过，那么我很快乐。
3、将下列命题符号化：（每小题2分，共14分）1) 我美丽而又快乐。
2) 如果我快乐，那么天就下雨。
3) 电灯不亮，当且仅当灯泡或开关发生故障。
4) 仅当你去，我将留下。
5) 如果老张和老李都不去，他就去。
6) 你不能既吃饭又看电视。
7) 张刚总是在图书馆看书，除非图书馆不开门或张刚生病。
4、给出下列公式的真值表 （每小题5分，共10分）⑴ )(R Q P ∨→⑵ )(Q P ∨⌝⇄)(Q P ⌝∧⌝5、证明下列等价式。
（每小题3分，共12分） 1) P Q P Q P ⇔⌝∧∨∧)()( 2) P Q Q P P ⌝→⌝⇔→→)(3) C B A C B A →⌝∧⇔∨→)()(4) C A D B C D B C B A →→∧⇔∨→∧→∧))(())(())((6、求下列命题公式的主析取范式和主合取范式。
（每小题10分，共20分） 1) )()(Q R Q P →∧→ 2) R Q P →∨⌝)(7、对于下列一组前提，请给出它们的有效结论并证明。
（每小题4分，共8分）a) 如果我努力学习，那么我能通过考试，但我没有通过考试。
b) 统计表有错误，其原因有两个：一个原因是数据有错误；另一个原因是计算有错误。
命题逻辑练习题
《离散数学》命题逻辑部分练习题一、选择题1．下列句子中，（ ）是命题。
A ．2是常数。
B ．这朵花多好看呀！C ．请把门关上！D ．下午有会吗？2．令p : 今天下雪了，q :路滑，r :他迟到了。
则命题“下雪路滑，他迟到了” 可符号化为（ ）。
A. p q r ∧→ B. p q r ∨→ C. p q r ∧∧ D. p q r ∨↔3．令:p 今天下雪了，:q 路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（ ）。
A. p q ∧⌝ B. p q ∧ C. p q ∨⌝D. p q →⌝4．设()P x :x 是鸟，()Q x :x 会飞，命题“有的鸟不会飞”可符号化为（ ）。
A. ()(()())x P x Q x ⌝∀→B. ()(()x P x ⌝∀∧())Q xC. ()(()())x P x Q x ⌝∃→D. ()(()x P x ⌝∃∧())Q x 5.设()F x :x 是人，()G x :x 犯错误，命题“没有不犯错误的人”符号化为（ ）。
A ．(()())x F x G x ∀∧B ． (()())x F x G x ⌝∃→⌝C ．(()())x F x G x ⌝∃∧D ． (()())x F x G x ⌝∃∧⌝ 6.下列命题公式不是永真式的是（ ）。
A. ()p q p →→B. ()p q p →→C. ()p q p ⌝∨→D. ()p q p →∨ 7．下列式子为矛盾式的是（ ）。
A ．()p p q ∨∧B ．p p ∨⌝C ．p p ∧⌝D ． ()p q p q ⌝∨⇔⌝∧⌝ 8．命题：“所有马都比某些牛跑得快” 的符号化公式为( )。
假设：H(x )：x 是马；C(x )：x 是牛；F(x,y )：x 跑得比y 快。
A. ()(()()(()(,)))x H x y C y F x y ∀∧∃∧B. ()(()()(()(,)))x H x y C y F x y ∀→∃→C. ()(()()(()(,)))x H x y C y F x y ∀→∃∧D. ()()(()(()(,)))y x H x C y F x y ∃∀→→二、计算题（仅给出部分题目的解题思路，未给出答案自己完成）1. 已知命题公式()()p q p r ⌝→→∧ （1）构造真值表（2）求出公式的主析取范式（2）()()p q p r ⌝→→∧0157()()()()p q r p q r p q r p q r m m m m ⇔⌝∧⌝∧⌝∨∧∧⌝∨∧⌝∧∨∧∧⇔∨∨∨2.已知命题公式()()p q p r ∨→⌝∨ （1）构造真值表；（2）用等值演算法求公式的主析取范式。
应用离散数学命题逻辑逻辑门电路题库试卷习题及答案
§1.6 逻辑门电路习题1.61．用非门、与门和或门构造产生下列输出的电路。
（1）y x +（2）x y x )(+ （3）z y x xyz +（4）))((z y z x ++解： （1）（2）x（3）（4）xyx +xy x )(+zy x xyz +))((z y z x ++2．试设计一个电路来实现五个人的少数服从多数的表决系统。
解：设A、B、C、D、E分别表示五个人表决，S表示表决结果，根据少数服从多数的原则，共有如下几种情况S=1.A B C D E S0 0 1 1 1 10 1 0 1 1 10 1 1 0 1 10 1 1 1 0 11 0 0 1 1 11 0 1 0 1 11 0 1 1 0 11 1 0 0 1 11 1 0 1 0 11 1 1 0 0 10 1 1 1 1 11 0 1 1 1 11 1 0 1 1 11 1 1 0 1 11 1 1 1 0 11 1 1 1 1 1得S=（⌝A∧⌝B∧C∧D∧E）∨（⌝A∧B∧⌝C∧D∧E）∨（⌝A∧B∧C∧⌝D∧E）∨（⌝A ∧B∧C∧D∧⌝E）∨（A∧⌝B∧⌝C∧D∧E）∨（A∧⌝B∧C∧⌝D∧E）∨（A∧⌝B∧C∧D ∧⌝E）∨∨（A∧B∧⌝C∧⌝D∧E）∨（A∧B∧⌝C∧D∧⌝E）∨（A∧B∧C∧⌝D∧⌝E）∨（⌝A∧B∧C∧D∧E）∨（A∧⌝B∧C∧D∧E）∨（A∧B∧⌝C∧D∧E）∨（A∧B∧C∧⌝D ∧E）∨（A∧B∧C∧D∧⌝E）∨（A∧B∧C∧D∧E）=（A∧B∧（C∨D∨E））∨（（（⌝A∧B）∨（A∧⌝B））∧（E∧（（⌝C∧D）∨（C∧⌝D）））∨（（（⌝A∧B）∨（A∧⌝B））∧（C∧D））=（A∧B∧（C∨D∨E））∨（（（⌝A∧B）∨（A ∧⌝B））∧(（E∧（（⌝C∧D）∨（C∧⌝D））∨（C∧D））=（A∧B∧（C∨D∨E））∨（（⌝A ∨⌝B）∧（A∨B）∧（C∨D）∧（C∨E）∧（D∨E））据此得到组合逻辑电路图如下：3．试设计一个由四个开关控制的电灯混合控制器，使得当电灯在打开时，按动任意一个开关都可关闭它，在电灯关闭时，按动任意一个开关都可打开它。
离散数学考试题目及答案
离散数学考试题目及答案1. 试述命题逻辑中的等价关系和蕴含关系。
答案：命题逻辑中的等价关系是指两个命题在所有可能的真值赋值下都具有相同的真值。
若命题P和Q等价，则记作P⇔Q。
蕴含关系是指如果命题P为真，则命题Q也为真，但Q为真时P不一定为真。
若命题P蕴含Q，则记作P→Q。
2. 证明：若集合A和B的交集非空，则它们的并集包含A和B。
答案：设x属于A∩B，即x同时属于A和B。
根据并集的定义，若元素属于A或B，则它属于A∪B。
因此，x属于A∪B。
由于x是任意属于A∩B的元素，所以A∩B≠∅意味着A∪B至少包含A∩B中的所有元素，即A∪B包含A和B。
3. 给定一个有向图G，如何判断G中是否存在环？答案：判断有向图G中是否存在环，可以采用深度优先搜索（DFS）算法。
在DFS过程中，记录每个顶点的访问状态，如果遇到一个已访问过的顶点，且该顶点不是当前路径的直接前驱，则表示存在环。
4. 描述有限自动机的组成部分及其功能。
答案：有限自动机由以下几部分组成：输入字母表、状态集合、转移函数、初始状态和接受状态集合。
输入字母表定义了自动机可以接收的符号集合；状态集合包含了自动机所有可能的状态；转移函数定义了在给定输入符号和当前状态的情况下，自动机如何转移到下一个状态；初始状态是自动机开始工作时的状态；接受状态集合包含了所有使自动机接受输入字符串的状态。
5. 什么是图的连通分量？如何确定一个无向图的连通分量？答案：图的连通分量是指图中最大的连通子图。
在一个无向图中，如果两个顶点之间存在路径，则称这两个顶点是连通的。
确定无向图的连通分量可以通过深度优先搜索（DFS）或广度优先搜索（BFS）算法。
从任一顶点开始搜索，搜索过程中访问的所有顶点构成一个连通分量。
重复此过程，直到所有顶点都被访问过，即可确定图中所有连通分量。
离散数学命题逻辑习题答案
二年级叙事作文：枪战达人_350字
我们想去后院走走，没想到刚出门就看到后院玩的那些人，他们问我和朋友：“你们和我们玩会儿呗?”我思考了一会，回答：“行啊!走。
”
到达了后院，他站在大石头边宣布：“规则：四人一队，一人两把武器，开始玩吧!”刚开始，我被投票选为队长，随后我下令：“前进，进入掩体，让对方不能发现我们!”因为和我们的掩体最近的只有一棵树，所以我又命令一个人：“在右边观察‘战场’上的一举一动!”
战场上，激战已经非常激烈，可我们一动不动，没有参与。
直到共五队只剩三队时，我大喊：“冲啊!”把其他两个队一举歼灭了。
枪战结束了，我们欢呼：“终于胜利了!”第二名在一边唠叨：“你们不是也损失了两个。
”第三名嘀咕：“你们肯定了。
”
就这样，枪战在我们的欢声笑语中结束了。
离散数学练习题及答案6
离散数学练习题及答案6离散数学是一门研究离散结构及其运算规律的数学学科，它在计算机科学、信息科学、电子工程等领域有着广泛的应用。
在学习离散数学的过程中，练习题是不可或缺的一部分。
通过解答练习题，我们可以巩固所学的知识，提高问题解决能力。
本文将为大家提供一些离散数学练习题及其答案，希望对大家的学习有所帮助。
1. 集合与命题逻辑(1) 设集合A={1,2,3,4,5}，集合B={3,4,5,6,7}，求A与B的交集、并集和差集。
答案：A与B的交集为{3,4,5}，并集为{1,2,3,4,5,6,7}，A与B的差集为{1,2}。
(2) 已知命题p："我喜欢数学"，命题q："我喜欢编程"，求命题“我既不喜欢数学也不喜欢编程”的否定。
答案：命题“我既不喜欢数学也不喜欢编程”的否定为“我喜欢数学或者喜欢编程”。
2. 关系与函数(1) 设A={1,2,3,4}，B={a,b,c,d}，关系R={(1,a),(2,b),(3,c),(4,d)}，判断关系R是否为A到B的函数。
答案：关系R是A到B的函数，因为每个元素在关系R中只有一个对应的值。
(2) 设函数f(x)=2x+1，求f(3)的值。
答案：将x=3代入函数f(x)=2x+1，得到f(3)=2*3+1=7。
3. 图论(1) 给定一个无向图G，顶点集合V={A,B,C,D,E}，边集合E={(A,B),(A,C),(B,D),(C,D),(D,E)}，求图G的邻接矩阵。
答案：邻接矩阵为：A B C D EA 0 1 1 0 0B 1 0 0 1 0C 1 0 0 1 0D 0 1 1 0 1E 0 0 0 1 0(2) 给定一个有向图G，顶点集合V={A,B,C,D,E}，边集合E={(A,B),(A,C),(B,D),(C,D),(D,E)}，求图G的出度和入度。
答案：图G的出度为：A的出度为2，B的出度为1，C的出度为1，D的出度为2，E的出度为0；图G的入度为：A的入度为0，B的入度为1，C的入度为1，D的入度为2，E的入度为1。
离散数学 数理逻辑练习题
21
6、下列陈述句中不属于排斥或的是_______。 A、李小川生于1990年或1991年 B、4是奇数或是偶数 C、章海燕去过美国或去过加拿大 D、赵远远只能选学英语或只能选学法语
22
7、证明下列公式的等价关系： ( p r ) ( q r ) ( p q) r
8、在自然推理系统中，构造下面推理的证明。 前提： ， x( F ( x) (G(a) R( x))) xF (x) 结论：
16
4. 如果王小红努力学习，她一定取得好成绩。 若王小红贪玩或不按时完成作业，她就不能 取得好成绩。所以，如果王小红努力学习， 她就能按时完成作业。 (1) 将命题中的4个简单命题依次符号化为 p,q,r,s； (2) 将命题符号化，即将命题的前提和结论符 号化； (3) 在自然推理系统P中构造命题的推理证明。
9
10
8、下列集合不是连接词极小全功能集的为_____。 A、{¬,∧,∨} B、{¬,→}
C、{↓}
D、{↑}
11
9、下列谓词公式不是命题公式P→Q的代换 实例的是______ A、F ( x) G( y) B、xF ( x, y) yG( x, y)
C、 x( F ( x) G( x)) D、xF ( x) G( x)
17
5、公安人员审查一件盗窃案，已知的事实如下： ① 甲或乙盗窃了录音机； ② 若甲盗窃了录音机，则作案时间不能发生在午夜前； ③ 若乙的证词正确，则午夜时屋里灯光未灭； ④ 若乙的证词不正确，则作案时间发生在午夜之前； ⑤ 午夜时屋里灯光灭了。 试问谁盗窃了录音机？将命题符号化，即将命题的前 提符号化；然后在自然推理系统中构造命题的推理 证明过程。
(完整版)《离散数学》同步练习答案
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题（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.1 命题逻辑概念1.什么是命题？答案：命题是可以判断真假的陈述句。
2.命题的两个基本操作是什么？答案：命题的两个基本操作是合取和析取。
1.2 命题逻辑表达式3.将以下中缀表达式转换为后缀表达式：((P ∧ Q) → (R ∨ S)) ∨ T答案：后缀表达式为P Q ∧ R S ∨ → T ∨4.使用真值表验证以下命题逻辑公式是否为重言式（永远为真）：(P ∨ Q) ∧ (¬P ∨ Q) ⟺ Q答案：P Q(P ∨ Q) ∧ (¬P ∨ Q)QT T T TT F T FF T T TF F F F结论：命题逻辑公式(P ∨ Q) ∧ (¬P ∨ Q)是重言式。
1.3 命题逻辑推理5.使用命题逻辑进行推理，判断以下论断是否成立（推理过程可用真值表验证）：P → Q, Q → R ∈ L, ∴ P → R答案：P Q R P → Q Q → R P → R T T T T T TT T F T F FT F T F T TT F F F T FF T T T T TF T F T F TF F T T T TF F F T T T结论：论断P → R成立。
2. 命题逻辑的应用2.1 命题逻辑在计算机科学中的应用6.命题逻辑在计算机科学中有哪些应用？答案：命题逻辑在计算机科学中的应用包括逻辑电路设计、计算机程序的正确性验证、控制流分析等。
7.请简要说明命题逻辑在逻辑电路设计中的应用。
答案：命题逻辑在逻辑电路设计中用于描述逻辑电路的功能和工作原理。
通过使用命题逻辑符号和逻辑运算，可以建立逻辑电路的逻辑模型，进而进行电路的设计、优化和验证。
2.2 命题逻辑推理的应用8.请举一个命题逻辑推理在实际生活中的应用例子。
答案：命题逻辑推理在实际生活中的一个应用例子是法庭判案。
法庭根据掌握的事实和证据，通过进行命题逻辑推理来确定被告是否犯罪或无罪，从而作出最终的判决。
应用离散数学命题逻辑命题公式的范式题库试卷习题及答案
§1.4 命题公式的范式习题1.41. 下列命题公式哪些是析取范式哪些是合取范式？ （1）)()(r q q p ∧∨⌝∧⌝ （2）)()(q p q p ∨⌝∧⌝∨ （3）q r p ∨⌝∧⌝)( （4）q q p ⌝∧∨)( （5）q p ∨⌝ （6）r q p ⌝∧⌝∧⌝ （7）p ⌝ （8）q（9）1（10）0解 是析取范式的有：(1)、(3)、（5）、（6）、(7)、 (8)、（9）、（10）；是合取范式有：（2）、（4）、（5）、（6）、(7)、 (8)、（9）、（10）。
2. 在下列由3个命题变元r q p 、、组成的命题公式中，指出哪些是标准析取范式哪些是标准合取范式？ （1）)()(r q p r q p ∧∧⌝∨∧⌝∧⌝ （2）)()(r q p r q p ∨∨⌝∧⌝∨⌝∨ （3）q r q p ∨⌝∧⌝∧⌝)( （4）)()()(r q r p q p ∨∧⌝∨⌝∧∨ （5）r q p ⌝∨∨⌝ （6）r q p ⌝∧⌝∧⌝（7）1（8）0解 是标准析取范式的有：（1）、（6）、（8）；是标准合取范式的有：（2）、（5）、（7）。
3. 找出一个只含命题变元p 、q 和r 的命题公式，当p 和q 为真而r 为假时命题公式为真，否则为假。
解 r q p ⌝∧∧。
4. 找出一个只含命题变元p 、q 和r 的命题公式，在p 、q 和r 中恰有两个为假时命题公式为真，否则为假。
解 ))()()(r q p r q p r q p ∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧。
5. 利用等价演算法求下列命题公式的标准析取范式，并求其成真赋值。
（1）)()(p q q p ∨⌝→→⌝（2）r q q p ∧∧→⌝)(（3）)())((r q p r q p ∨∨→∧∨ 解（1） )()(p q q p ∨⌝→→⌝)()(p q q p ∨⌝∨∨⌝= p q q p ∨⌝∨⌝∧⌝=)()()()()()(q p q p q p q p q p ∧∨⌝∧∨⌝∧⌝∨⌝∧∨⌝∧⌝= )()()(q p q p q p ∧∨⌝∧∨⌝∧⌝=除0=p ，1=q 外，其余均为成真赋值。
离散数学命题逻辑的推理理论习题
离散数学命题逻辑的推理理论习题standalone； self-contained； independent； self-governed；
autocephalous； indie； absolute； unattached； substantive
第三章作业
在自然推理系统P中构造下列证明:
要求: 直接证明法, 附加前提证明法, 归谬法各至少使用一次. 格式参照第三章幻灯片
1. 若你发给我电子邮件信息, 则我将完成编写程序. 若你不发给我电子邮件信息, 则我将早早地去睡觉. 若我早早地去睡觉, 则我将感觉精力充沛地醒来. 所以, 若我不完成编写程序, 则我将感觉精力充沛地醒来.
2. 今天下午没有出太阳并且今天比昨天冷. 只有今天下午出太阳, 我们才去游泳. 若我们不去游泳, 则我们将乘独木舟游览. 若我们乘独木舟游览, 则我们将在黄昏时回家. 所以, 我们将在黄昏时回家.
3. 前提: q→p, q?s, s?t, t∧r
结论: p∧q
4. 前提: ?p∨r, ?q∨s, p∧q
结论: t→(r∧s)。
离散数学考试试题及答案
离散数学考试试题及答案一、选择题（每题2分，共20分）1. 在集合论中，以下哪个选项表示“属于”关系？A. ⊆B. ⊂C. ∈D. ⊇答案：C2. 以下哪个命题是真命题？A. p ∧ ¬pB. p ∨ ¬pC. p → ¬pD. ¬(p → q) → p答案：B3. 以下哪个选项是命题逻辑中的德摩根定律？A. ¬(p ∨ q) = ¬p ∧ ¬qB. ¬(p ∧ q) = ¬p ∨ ¬qC. ¬(p → q) = p ∧ ¬qD. ¬(p ∨ q) = ¬p ∨ ¬q答案：A4. 以下哪个选项是命题逻辑中的蕴含等价？A. p → q ≡ ¬p ∨ qB. p → q ≡ ¬q → ¬pC. p → q ≡ p ∨ ¬qD. p → q ≡ ¬p ∧ q答案：A5. 以下哪个选项是关系的性质？A. 反身性B. 对称性C. 传递性D. 所有选项都是答案：D6. 以下哪个选项是图论中的有向图？A. 无向图中的边没有方向B. 有向图中的边有方向C. 混合图中的边既有方向也有无方向D. 所有选项都是答案：B7. 在图论中，以下哪个选项是树的性质？A. 树是无环的B. 树是连通的C. 树是无向图D. 所有选项都是答案：D8. 以下哪个选项是布尔代数的基本运算？A. 与（AND）B. 或（OR）C. 非（NOT）D. 所有选项都是答案：D9. 以下哪个选项是组合数学中的排列？A. 从n个不同元素中取出m个元素的组合B. 从n个不同元素中取出m个元素的排列C. 从n个相同元素中取出m个元素的组合D. 从n个相同元素中取出m个元素的排列答案：B10. 以下哪个选项是集合论中的幂集？A. 一个集合的所有子集的集合B. 一个集合的所有真子集的集合C. 一个集合的所有超集的集合D. 一个集合的所有子集的个数答案：A二、简答题（每题10分，共30分）1. 简述命题逻辑中的等价命题是什么？答案：等价命题是指两个命题在所有可能的真值赋值下都具有相同真值的命题。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一、选择题
1. 设命题公式)(R Q P ∧→⌝，记作G ，使G 的真值指派为1的P ，Q ，R 的真值是( )
0,0,1)D (0,1,0)C (1,0,0)B (0,0,0)A (
2. 与命题公式P →（Q →R ）等价的公式是( )
A ()P Q R ∨→
B ()P Q R ∧→
C ()P Q R →→
D ()P Q R →∨
3. 下列各组公式中，哪组是互为对偶的 ( )
A ,P P
B ,P P ⌝
C ,()A A **
D ,A A
(其中P 为单独的命题变元，A 为含有联结词的公式)
4. 命题公式(P ∧(P →Q))→Q 是_____式。
A 重言
B 矛盾
C 可满足
D 非永真的可满足
5. 下面命题联结词集合中，哪个是最小联结词 ( )
A {,}⌝€
B {,,}⌝∧∨
C {}↑
D {,}∧→
6. 命题公式()P Q R ⌝∧→的主析取范式种含小项的个数为 ( )
A 8
B 3
C 5
D 0
7. 如果A B ⇒成立，则以下各种蕴含关系哪一个成立 ( )
A B A ⇒ B A B ⌝⇒⌝ C B A ⌝⇒⌝ D A B ⌝⇒
8. 命题公式()()P Q P R →∧→的主析取范式中包含小项 ( )
A P Q R ∧∧
B P Q R ∧∧⌝
C P Q R ∧⌝∧
D P Q R ∧⌝∧⌝
9. ,,A B C 为任意命题公式，当（ ）成立时，有A B ⇔。
A A
B ⌝⇔⌝ B A
C B C ∨⇔∨ C A C B C ∧⇔∧
D C A C B →⇔→
10. 下面4个推理定律中，不正确的是 ( )
A ()A A
B ⇒∧ B ()A B A B ∨∧⌝⇒
C ()A B A B →∧⇒
D ()A B B A →∧⌝⇒⌝
11. 下列命题公式是等价公式的为（ ）．
A ．⌝P ∧⌝Q ⇔P ∨Q
B ．A →(⌝B →A) ⇔⌝A →(A →B)
C ．Q →(P ∨Q )⇔⌝Q ∧(P ∨Q )
D ．⌝A ∨(A ∧B) ⇔B
12. 命题公式)(Q P →⌝的主析取范式是（ ）．
A ．Q P ⌝∧
B ．Q P ∧⌝
C ．Q P ∨⌝
D ．Q P ⌝∨
13．下列表述成立的为（ ）．
A ．⌝P ∧⌝Q ⇔P ∨Q
B ．⌝B →A ⇔ A →B
C ．P → Q ⇒Q
D ．⌝A ∧ (A ∨B ) ⇒B
14. 一个公式在等价意义下，下面哪个写法是唯一的（ ）。
A ．析取范式
B ．合取范式
C ．主析取范式
D ．以上答案都不对
15． 是错误的。
（ ） （A ）()P Q P P ⇔∧∨ （B ）()()R Q P R Q P →∧⇔→→
（C ）()()()Q R P Q R Q P →∨⇔→∧→ （D ）()()R P R Q Q P →⇔→∧→
16．前提条件P Q P ,⌝→的有效结论是( )．
(A) P (B) ⌝P (C) Q (D)⌝Q
17. 设命题公式()(),G P Q H P Q P ⇔⌝→⇔→→⌝，则公式G 与H 满足( )
H G G H G H H G ⇒⇒→⇔)D ()C ()B ()A (
二、填空题
1. 设命题公式G ＝P ∧(⌝Q ∨R )，则使G 的值为1的指派是 ， ， .
2．若命题变元P ，Q ，R 赋值为(1,0,1)，则命题公式G ＝)())((Q P R Q P ∨⌝∨→∧的真值
是
3. 公式()P Q R ∨→的只含联接词,,⌝∧∨的等价式为 ,它的对偶式
为 ,
4.命题公式()P Q P →∨的真值是 ．
5. 对于前提(),,P Q R R S S ∧→⌝∨⌝，其有效结论为 ,
6. 命题公式()P Q ⌝→的主析取范式为 ,其编码表示为 ,主合取范式
的编码为 .
7. 一个命题公式(,,)A P Q R 的成真指派为 000, 001，010， 100， 110，则其主合取范式
为 .
8. 任意两个不同小项的合取为 式，全体小项的析取式必为 .
9.设A ，B 为任意命题公式，C 为重言式，若C B C A ∧⇔∧，那么B A ↔是 式 ． (重言式、矛盾式或可满足式)
10. 含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是
三、用等值演算法证明()P P Q Q ∧→→是重言式
四、证明()()()P Q P Q P Q ∨∧⌝∧⇔⌝€
五、用先求主范式的方法证明(P→Q )∧(P→R) ⇔ (P→（Q ∧R ）
六、写出公式()()A B C D ⌝∧⌝∨⌝∨的等价式，要求该等价式中只出现联接词⌝和→。
七、证明: ,(),()A B B C C A D D →⌝∨∧⌝⌝⌝∧⇒⌝
八、证明：(),(),()A B C E F C B A S B E →∧→⌝→⌝→∧⌝⇒→
九、设公式G 的真值表如下，试求出G 的主析取范式和主合取范式（给出公式及编码）．
十、用公式推演法求(P ∨⌝Q )→(R ∧Q )的主析取范式与主合取范式。