2017离散数学答案(6--10)(1)
离散数学课后习题答案(最新)
习题参考解答习题1.11、（3）P：银行利率降低Q：股价没有上升P∧Q（5）P：他今天乘火车去了北京Q：他随旅行团去了九寨沟PQ（7）P：不识庐山真面目Q：身在此山中Q→P，或～P→～Q（9）P：一个整数能被6整除Q：一个整数能被3整除R：一个整数能被2整除T：一个整数的各位数字之和能被3整除P→Q∧R ，Q→T2、（1）T （2）F （3）F （4）T （5）F（6）T （7）F （8）悖论习题 1.31（3）)()()()()()(R P Q P R P Q P R Q P R Q P →∨→⇔∨⌝∨∨⌝⇔∨∨⌝⇔∨→（4）()()()(())()(()())(())()()()()P Q Q R R P P R Q R P P R R P Q R P P R P R Q R Q P ∧∨∧∨∧=∨∧∨∧=∨∨∧∧∨∧=∨∧∨∧∨∧∨=右2、不， 不， 能习题 1.41(3) (())~((~))(~)()~(~(~))(~~)(~)P R Q P P R Q P P R T P R P R Q Q P R Q P R Q →∧→=∨∧∨=∨∧=∨=∨∨∧=∨∨∧∨∨、主合取范式)()()()()()()()()()()()()()())(())(()()(())()())(()((Q P R P Q R P Q R R Q P R Q P R Q P Q P R Q P R P Q R P Q R R Q P R Q P R Q P R Q P Q Q P R P P Q R R R Q Q P P R Q R P P Q R P P Q R P ∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∧∧∨⌝∧∧∨∧⌝∧∨⌝∧⌝∧∨∧⌝∧⌝∨∧⌝∧⌝∨⌝∧∧⌝∨⌝∧⌝∧⌝=∨⌝∧∧∨∨⌝∧⌝∧∨∨⌝∧∨⌝∧⌝=∧∨⌝∧∨⌝=∨⌝∧∨⌝=→∧→ ————主析取范式(2) ()()(~)(~)(~(~))(~(~))(~~)(~)(~~)P Q P R P Q P R P Q R R P R Q Q P Q R P Q R P R Q →∧→=∨∧∨=∨∨∧∧∨∨∧=∨∨∧∨∨∧∨∨ 2、()~()(~)(~)(~~)(~)(~~)P Q R P Q R P Q P R P Q R P Q R P R Q →∧=∨∧=∨∧∧=∨∨∧∨∨∧∨∨∴等价3、解：根据给定的条件有下述命题公式：（A →（C ∇D ））∧～（B ∧C ）∧～（C ∧D ）⇔（～A ∨（C ∧～D ）∨（～C ∧D ））∧（～B ∨～C ）∧（～C ∨～D ）⇔（（～A ∧～B ）∨（C ∧～D ∧～B ）∨（～C ∧D ∧～B ）∨（～A ∧～C ）∨（C ∧～D ∧～C ）∨（～C ∧D ∧～C ））∧（～C ∨～D ）⇔（（～A ∧～B ）∨（C ∧～D ∧～B ）∨（～C ∧D ∧～B ）∨（～A ∧～C ）∨（～C ∧D ∧～C ）） ∧（～C ∨～D ）⇔（～A ∧～B ∧～C ）∨（C ∧～D ∧～B ∧～C ）∨（～C ∧D ∧～B ∧～C ）∨ （～A ∧～C ∧～C ）∨（～C ∧D ∧～C ∧～C ）∨（～A ∧～B ∧～D ）∨（C ∧～D ∧～B ∧～D ）∨（～C ∧D ∧～B ∧～D ）∨（～A ∧～C ∧～D ）∨ （～C ∧D ∧～C ∧～D ）（由题意和矛盾律）⇔（～C ∧D ∧～B ）∨（～A ∧～C ）∨（～C ∧D ）∨（C ∧～D ∧～B ）⇔（～C ∧D ∧～B ∧A ）∨ （～C ∧D ∧～B ∧～A ）∨ （～A ∧～C ∧B ）∨ （～A ∧～C ∧～B ）∨ （～C ∧D ∧A ）∨ （～C ∧D ∧～A ）∨（C ∧～D ∧～B ∧A ）∨（C ∧～D ∧～B ∧～A ）⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨ （～A ∧～C ∧B ∧～D ）∨（～A ∧～C ∧～B ∧D ）∨ （～A ∧～C ∧～B ∧～D ）∨（～C ∧D ∧A ∧B ）∨ （～C ∧D ∧A ∧～B ）∨ （～C ∧D ∧～A ∧B ）∨ （～C ∧D ∧～A ∧～B ）∨（C ∧～D ∧～B ∧A ）∨（C ∧～D ∧～B ∧～A ） ⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨ （～C ∧D ∧A ∧～B ）∨ （～C ∧D ∧～A ∧B ） ∨（C ∧～D ∧～B ∧A ）⇔（～C ∧D ∧～B ∧A ）∨ （～A ∧～C ∧B ∧D ）∨（C ∧～D ∧～B ∧A ） 三种方案：A 和D 、 B 和D 、 A 和C习题 1.51、 （1）需证()(())P Q P P Q →→→∧为永真式()(())~(~)(~())~~(~)(()(~))~(~)(~)()P Q P P Q P Q P P Q P P P Q P Q TP Q P Q T P Q P P Q →→→∧=∨∨∨∧∨=∨∨∧∨=∨∨∨=∴→⇒→∧（3）需证S R P P →∧⌝∧为永真式SR P P T S F S R F S R P P ⇒∧⌝∧∴⇔→⇔→∧⇔→∧⌝∧3A B A B ⇒∴→ 、为永真式。
离散数学 习题问题详解
离散数学 习题 参考答案1、构造公式(p ∧q)∨ (¬p ∧¬q)、p↔q 的真值表。
2、构造公式¬(p ∨q)与¬p ∧¬q 的真值表。
3、构造公式 p 、p ∧p 、p ∨p 的真值表。
4、构造公式 p ∨(q ∧r)、(p ∨q)∧(p ∨r)的真值表。
5、构造公式 p ∨(p ∧r)、p 的真值表。
6、构造公式 p ∧(p ∨r)、p 的真值表。
7、构造公式 p↔q 、¬q↔¬p 的真值表。
8、构造公式(p→q)∧(p→¬q)、¬p 的真值表。
9、构造公式 p 、¬¬p 的真值表。
10、构造公式 p ∨¬p 、p ∧¬p 的真值表 略一、分别用等算演算与真值表法，判断下列公式是否存在主析取式或主合取式，若有，请写出来。
(1)(¬p→q)→(¬q ∨p) (2)(¬p→q)→(q ∧r)(3)(p ∨(q ∧r))→(p ∨q ∨r) (4) ¬(q→¬p)∧¬p (5)(p ∧q)∨(¬p ∨r) (6)(p→(p ∨q))∨r (7)(p ∧q)∨r(8) (p→q)∧(q→r) (9) (p ∧q)→q (10) ¬(r↔p)∧p ∧q存在主析取式=成真赋值对应的小项的析取 =m 00∨m 10∨m 11=(¬p ∧¬q)∨(p ∧¬q)∨(p ∧q)主析取式=成假赋值对应的大项的合取 =M 01=p ∨¬q等值演算：(¬p→q)→(¬q ∨p) ⇔¬ (¬¬p ∨q)∨(p ∨¬q) ⇔¬ (p ∨q)∨(p ∨¬q) ⇔ (¬p ∧¬q)∨(p ∨¬q) ⇔ (¬p ∨(p ∨¬q))∧(¬q ∨(p ∨¬q)) ⇔ (¬p ∨p ∨¬q)∧(¬q ∨p ∨¬q) ⇔ (1∨¬q)∧(p ∨¬q) ⇔ (p ∨¬q)这是大项，故为大项的合取，称为主合取式(¬p→q)→(¬q ∨p) ⇔ (p ∨¬q) ⇔ (p)∨(¬q) ⇔ (p ∧1)∨( 1∧¬q)⇔ (p ∧(q ∨¬q))∨( (p ∨¬p)∧¬q) ⇔ (p ∧q)∨ (p ∧¬q)∨(p ∧¬q)∨(¬p ∧¬q) ⇔ (p ∧q)∨ (p ∧¬q)∨(¬p ∧¬q)因为一个公式的值不是真，就是假，因此当我们得到一个公的取值为真的情况时，剩下的组合是取值为假， 因此当得到小项的析取组成的主析取式后，可以针对剩下的组合写出主合取式。
(完整版)离散数学题目及答案
数理逻辑习题判断题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)Q=>Q→P(2)Q=>P→Q(3)P=>P→Q(4)P(PQ)=>P答：（1），（4）2、下列公式中哪些是永真式？()(1)(┐PQ)→(Q→R)(2)P→(Q→Q)(3)(PQ)→P(4)P→(PQ)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式()(1)P=>PQ(2)PQ=>P(3)PQ=>PQ(4)P(P→Q)=>Q(5)(P→Q)=>P(6)P(PQ)=>P答：（2），（3），（4），（5），（6）4、公式某((A(某)B(y，某))zC(y，z))D(某)中，自由变元是(变元是()。
答：某,y,某,z5、判断下列语句是不是命题。
若是，给出命题的真值。
((1)北京是中华人民共和国的首都。
(2)陕西师大是一座工厂。
)，约束)(3)你喜欢唱歌吗？(4)若7+8＞18，则三角形有4条边。
(5)前进！(6)给我一杯水吧！答：（1）是，T（2）是，F（3）不是（4）是，T（5）不是（6）不是6、命题“存在一些人是大学生”的否定是()，而命题“所有的人都是要死的”的否定是()。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为()。
(1)只有在生病时，我才不去学校(2)若我生病，则我不去学校(3)当且仅当我生病时，我才不去学校(4)若我不生病，则我一定去学校答：（1）QP（2）PQ（3）PQ（4）PQ8、设个体域为整数集，则下列公式的意义是()。
(1)某y(某+y=0)(2)y某(某+y=0)答：（1）对任一整数某存在整数y满足某+y=0（2）存在整数y对任一整数某满足某+y=09、设全体域D是正整数集合，确定下列命题的真值：(1)某y(某y=y)()(2)某y(某+y=y)()(3)某y(某+y=某)()(4)某y(y=2某)()答：（1）F（2）F（3）F（4）T10、设谓词P(某)：某是奇数，Q(某)：某是偶数，谓词公式某(P(某)Q(某))在哪个个体域中为真()2(1)自然数(2)实数(3)复数(4)(1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
《离散数学》部分习题答案
第一章部分课后习题参考答案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) ⇔ 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（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,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀，在（a）中为假命题，在(b)中为真命题。
离散数学课后习题答案
1-1，1-2（1） 解：a) 是命题，真值为T。
b) 不是命题。
c) 是命题，真值要根据具体情况确定。
d) 不是命题。
e) 是命题，真值为T。
f) 是命题，真值为T。
g) 是命题，真值为F。
h) 不是命题。
i) 不是命题。
（2） 解：原子命题：我爱北京天安门。
复合命题：如果不是练健美操，我就出外旅游拉。
（3） 解：a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q（4） 解：a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
（Q→R）∧(R→Q):一个数是奇数，则它不能被2整除并且一个数不能被2整除，则它是奇数。
(5) 解：a) 设P：王强身体很好。
Q：王强成绩很好。
P∧Qb) 设P：小李看书。
Q：小李听音乐。
P∧Qc) 设P：气候很好。
Q：气候很热。
P∨Qd) 设P： a和b是偶数。
Q：a+b是偶数。
P→Qe) 设P：四边形ABCD是平行四边形。
Q ：四边形ABCD的对边平行。
PQf) 设P：语法错误。
Q：程序错误。
R：停机。
（P∨ Q）→ R(6) 解：a) P:天气炎热。
Q:正在下雨。
P∧Qb) P:天气炎热。
R:湿度较低。
P∧Rc) R:天正在下雨。
S:湿度很高。
R∨Sd) A:刘英上山。
B:李进上山。
A∧Be) M:老王是革新者。
N:小李是革新者。
M∨Nf) L:你看电影。
M:我看电影。
┓L→┓Mg) P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh) P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3（1）解：a) 不是合式公式，没有规定运算符次序（若规定运算符次序后亦可作为合式公式）b) 是合式公式c) 不是合式公式（括弧不配对）d) 不是合式公式（R和S之间缺少联结词）e) 是合式公式。
离散数学形考任务17试题及答案完整版
2017年11月上交的离散数学形考任务一本课程的教学内容分为三个单元，其中第三单元的名称是（A ）．选择一项：A. 数理逻辑B. 集合论C. 图论D. 谓词逻辑题目2答案已保存满分10.00标记题目题干本课程的教学内容按知识点将各种学习资源和学习环节进行了有机组合，其中第2章关系与函数中的第3个知识点的名称是（D ）．选择一项：A. 函数B. 关系的概念及其运算C. 关系的性质与闭包运算D. 几个重要关系题目3答案已保存满分10.00标记题目题干本课程所有教学内容的电视视频讲解集中在VOD点播版块中，VOD点播版块中共有（B）讲．选择一项：A. 18B. 20C. 19D. 17题目4答案已保存满分10.00标记题目题干本课程安排了7次形成性考核作业，第3次形成性考核作业的名称是（ C）．选择一项：A. 集合恒等式与等价关系的判定B. 图论部分书面作业C. 集合论部分书面作业D. 网上学习问答题目5答案已保存满分10.00标记题目题干课程学习平台左侧第1个版块名称是：（C）．选择一项：A. 课程导学B. 课程公告C. 课程信息D. 使用帮助题目6答案已保存满分10.00标记题目题干课程学习平台右侧第5个版块名称是：（D）．选择一项：A. 典型例题B. 视频课堂C. VOD点播D. 常见问题题目7答案已保存满分10.00标记题目题干“教学活动资料”版块是课程学习平台右侧的第（ A ）个版块．选择一项：A. 6B. 7C. 8D. 9题目8答案已保存满分10.00标记题目题干课程学习平台中“课程复习”版块下，放有本课程历年考试试卷的栏目名称是：（D ）．选择一项：A. 复习指导B. 视频C. 课件D. 自测请您按照课程导学与章节导学中安排学习进度、学习目标和学习方法设计自己的学习计划，学习计划应该包括：课程性质和目标（参考教学大纲）、学习内容、考核方式，以及自己的学习安排，字数要求在100—500字．完成后在下列文本框中提交．解答：学习计划学习离散数学任务目标：其一是通过学习离散数学，使学生了解和掌握在后续课程中要直接用到的一些数学概念和基本原理，掌握计算机中常用的科学论证方法，为后续课程的学习奠定一个良好的数学基础；其二是在离散数学的学习过程中，培养自学能力、抽象思维能力和逻辑推理能力，解决实际问题的能力，以提高专业理论水平。
离散数学答案版(全)
第一章命题逻辑内容：命题及命题联结词、命题公式的基本概念，真值表、基本等价式及永真蕴涵式，命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。
教学目的：1. 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。
2. 熟练掌握常用的基本等价式及其应用。
3. 熟练掌握（主）析/合取范式的求法及其应用。
4. 熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。
5. 熟练掌握形式演绎的方法。
教学重点：1 .命题的概念及判断2 .联结词，命题的翻译3. 主析（合）取范式的求法4. 逻辑推理教学难点：1. 主析（合）取范式的求法2. 逻辑推理1.1命题及其表示法1.1.1 命题的概念数理逻辑将能够判断真假的陈述句称作命题。
1.1.2 命题的表示命题通常使用大写字母 A , B,…，Z或带下标的大写字母或数字表示,如A i, [10], R等，例如A1：我是一名大学生。
A1：我是一名大学生.[10]:我是一名大学生。
R：我是一名大学生。
1.2命题联结词1.2.1否定联结词「P1.2.2合取联结词A1.2.3 析取联结词V1.2.4 条件联结词—125126 与非联结词T性质：(1)P T P=「( PAP)二「P；(2)(P T Q)T( P T Q) -「( P T Q) - PAQ；(3)( P T P)T( Q TQ) -「P T「Q= P V Q。
127 或非联结词J性质:(1) P J P=「( P V Q) =「P;(2)( P J Q )；( P J Q) =「( P J Q) = P V Q;(3)( P J P)J( Q J Q) =「P Q=P V-Q) = PAQ1.3 命题公式、翻译与解释1.3.1 命题公式定义命题公式，简称公式，定义为：（1）单个命题变元是公式；（2 ）如果P是公式，则「P是公式；（3）如果P、Q是公式,则PAQ、PVQ、P > Q、P Q都是公式；（4）当且仅当能够有限次的应用（1）、（2）、（3）所得到的包括命题变元、联结词和括号的符号串是公式。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
04任务_0006试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )．A. （a）只是弱连通的B. （b）只是弱连通的C. （c）只是弱连通的D. （d）只是弱连通的2. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 143. 设无向图G的邻接矩阵为，则G的边数为( )．A. 6B. 5C. 4D. 34. 无向简单图G是棵树，当且仅当( )．A. G连通且边数比结点数少1B. G连通且结点数比边数少1C. G的边数比结点数少1D. G中没有回路．5. 图G如图三所示，以下说法正确的是( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集6. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图7. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋28. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树9. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.10. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边04任务_0007试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 图G如图三所示，以下说法正确的是( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集2. 如图所示，以下说法正确的是 ( )．A. e是割点B. {a,e}是点割集C. {b, e}是点割集D. {d}是点割集3. 设有向图（a）、（b）、（c）与（d）如图所示，则下列结论成立的是( )．A. （a）只是弱连通的B. （b）只是弱连通的C. （c）只是弱连通的D. （d）只是弱连通的4. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 145. 如图一所示，以下说法正确的是( ) ．A. {(a, e)}是割边B. {(a, e)}是边割集C. {(a, e) ,(b, c)}是边割集D. {(d, e)}是边割集6. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树7. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 38. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点9. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边10. 无向简单图G是棵树，当且仅当( )．A. G连通且边数比结点数少1B. G连通且结点数比边数少1C. G的边数比结点数少1D. G中没有回路．04任务_0008试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋22. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 33. 若G是一个欧拉图，则G一定是( )．A. 平面图B. 汉密尔顿图C. 连通图D. 对偶图4. 图G如图二所示，以下说法正确的是( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集5. 如图所示，以下说法正确的是 ( )．A. e是割点B. {a,e}是点割集C. {b, e}是点割集D. {d}是点割集6. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图7. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点8. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.9. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边10. 图G如图三所示，以下说法正确的是( ) ．A. {(a, d)}是割边B. {(a, d)}是边割集C. {(a, d) ,(b, d)}是边割集D. {(b, d)}是边割集04任务_0009试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 无向完全图K4是（）．A. 欧拉图B. 汉密尔顿图C. 非平面图D. 树2. 已知无向图G的邻接矩阵为，则G有（）．A. 5点，8边B. 6点，7边C. 6点，8边D. 5点，7边3. 图G如图二所示，以下说法正确的是( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集4. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.5. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点6. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边7. 若G是一个欧拉图，则G一定是( )．A. 平面图B. 汉密尔顿图C. 连通图D. 对偶图8. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 39. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图10. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋204任务_0010试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。
）1. 设无向图G的邻接矩阵为，则G的边数为( )．A. 1B. 6C. 7D. 142. 无向图G存在欧拉回路，当且仅当（）.A. G中所有结点的度数全为偶数B. G中至多有两个奇数度结点C. G连通且所有结点的度数全为偶数D. G连通且至多有两个奇数度结点3. 设图G＝<V, E>，v V，则下列结论成立的是 ( ) ．A. deg(v)=2|E|B. deg(v)=|E|C.D.4. 设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A. e－v＋2B. v＋e－2C. e－v－2D. e＋v＋25. 若G是一个汉密尔顿图，则G一定是( )．A. 平面图B. 对偶图C. 欧拉图D. 连通图6. 以下结论正确的是( )．A. 无向完全图都是欧拉图B. 有n个结点n－1条边的无向图都是树C. 无向完全图都是平面图D. 树的每条边都是割边7. 已知一棵无向树T中有8个顶点，4度、3度、2度的分支点各一个，T的树叶数为( )．A. 8B. 5C. 4D. 38. 设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )．图四A. （a）是强连通的B. （b）是强连通的C. （c）是强连通的D. （d）是强连通的9. 图G如图二所示，以下说法正确的是( )．A. a是割点B. {b,c}是点割集C. {b, d}是点割集D. {c}是点割集10. 无向树T有8个结点，则T的边数为( )．A. 6B. 7C. 8D. 9。