离散数学习题答案(耿素云屈婉玲)

离散数学习题答案(耿素云屈婉玲)
离散数学习题答案(耿素云屈婉玲)

离散数学习题答案

习题二及答案:(P38)

5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ?→∧∧ 解:原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧

()()p q r p q r ??∧∧∨∧∧37m m ?∨,此即公式的主析取范式,

所以成真赋值为011,111。

6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨?∨

解:原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?,此即公式的主合取范式,

所以成假赋值为100。

7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()p q r ∧∨ 解:原式()(()())p q r r p p q q r ?∧∧?∨∨?∨∧?∨∧

()()()()()()p q r p q r p q r p q r p q r p q r ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧

13567m m m m m ?∨∨∨∨,此即主析取范式。

主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ?∧∧。

9、用真值表法求下面公式的主析取范式: (1)()()p q p r ∨∨?∧ 解:公式的真值表如下:

由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式

1234567m m m m m m m ?∨∨∨∨∨∨

习题三及答案:(P52-54)

11、填充下面推理证明中没有写出的推理规则。 前提:,,,p q q r r s p ?∨?∨→

结论:s 证明:

① p 前提引入 ② p q ?∨ 前提引入 ③ q ①②析取三段论 ④

q r ?∨ 前提引入

⑤ r ③④析取三段论 ⑥ r s → 前提引入

⑦ s ⑤⑥假言推理

15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论:

p u →

证明:用附加前提证明法。 ① p 附加前提引入 ② p q ∨ ①附加

③ ()()p q r s ∨→∧ 前提引入

④ r s ∧ ②③假言推理

⑤ s ④化简

⑥ s t ∨ ⑤附加

()s t u ∨→ 前提引入

⑧ u ⑥⑦假言推理 故推理正确。

16、在自然推理系统P 中用归谬法证明下面推理:

(1)前提:

p q →?,r q ?∨,r s ∧? 结论:p ?

证明:用归谬法

① p 结论的否定引入 ② p q →? 前提引入 ③ q ? ①②假言推理 ④ r q ?∨ 前提引入

⑤ r ? ③④析取三段论 ⑥

r s ∧? 前提引入

⑦ r ⑥化简 ⑧r r ∧? ⑤⑦合取 由于0r r

∧??,所以推理正确。

17、在自然推理系统P 中构造下面推理的证明:

只要A 曾到过受害者房间并且11点以前没离开,A 就是谋杀嫌犯。A 曾到过受害者房间。如果A 在11点以前离开,看门人会看见他。看门人没有看见他。所以,A 是谋杀嫌犯。

解:设p :A 到过受害者房间,q :A 在11点以前离开,r :A 是谋杀嫌犯,s :看门人看见过A 。 则前提:()p q r ∧?→,p ,q s →,s ?

结论:r 证明: ① q s → 前提引入

② s ? 前提引入

③ q ? ①②拒取式

④ p 前提引入

⑤ p q ∧? ③④合取引入

⑥ ()p q r ∧?→ 前提引入

⑦ r ⑤⑥假言推理

习题五及答案:(P80-81)

15、在自然推理系统N ξ中,构造下面推理的证明: (3)前提:(()())x F x G x ?∨,()xG x ?? 结论:()xF x ? 证明: ① ()xG x ?? 前提引入 ② ()x G x ?? ①置换 ③ ()G c ? ②UI 规则 ④

(()())x F x G x ?∨ 前提引入

⑤ ()()F c G c ∨ ④UI 规则 ⑥ ()F c ③⑤析取三段论

()xF x ? ⑥EG 规则

22、在自然推理系统N ξ中,构造下面推理的证明:

(2)凡大学生都是勤奋的。王晓山不勤奋。所以王晓山不是大学生。 解:设F(x):x 为大学生,G(x):想是勤奋的,c :王晓山 则前提:(()())x F x G x ?→,()G c ? 结论:()F c ? 证明: ① (()())x F x G x ?→ 前提引入 ② ()()F c G c → ①UI 规则 ③ ()G c ? 前提引入 ④

()F c ? ②③拒取式

25、在自然推理系统N ξ中,构造下面推理的证明:

每个科学工作者都是刻苦钻研的,每个刻苦钻研而又聪明的人在他的事业中都将获得成功。王大海是科学工作者,并且是聪明的。所以,王大海在他的事业中将获得成功。(个体域为人类集合)

解:设F(x):x 是科学工作者,G(x):x 是刻苦钻研的,H(x):x 是聪明的,I(x):x 在他的事业中获得成功,c :王大海 则前提:(()())x F x G x ?→,(()()())x G x H x I x ?∧→,()()F c H c ∧ 结论:()I c 证明: ① ()()F c H c ∧ 前提引入 ② ()F c ①化简

③ ()H c ①化简 ④ (()())x F x G x ?→ 前提引入 ⑤ ()()F c G c → ④UI 规则 ⑥

()G c ②⑤假言推理

⑦ ()()G c H c ∧ ③⑥合取引入 ⑧ (()()())x G x H x I x ?∧→ 前提引入 ⑨ ()()()G c H c I c ∧→ ⑧UI 规则 ⑩ ()I c ⑦⑨假言推理

习题七及答案:(P132-135) 22、给定

{}1,2,3,4A =,A 上的关系{}1,3,1,4,2,3,2,4,3,4R =,试

(1)画出R 的关系图; (2)说明R 的性质。 解:(1)

(2)R R 是反自反的,不是自反的;

R 的关系图中任意两个顶点如果有边的都是单向边,故R 是反对称的,不是对称的;

R 的关系图中没有发生顶点x 到顶点y 有边、顶点y 到顶点z 有边,但顶点x 到顶点z 没有边的情况,故R 是

传递的。 26 设

{}1,2,3,4,5,6A =,R 为A 上的关系,R 的关系图如图7.13所示:

(1)求2

3,R

R 的集合表达式;

(2)求r(R), s(R), t(R)的集合表达式。 解:(1)由R 的关系图可得{1,5,2,5,3,1,,4,5

R =

所以{2

3,1,3,3,3,5R R R =?=,{3

23,1,3,3,3,5

R

R R =?=,

可得{}3,1,3,3,3,5,n>=2n

R

=当;

(2){}A

r(R)=R I 1,5,2,5,3,1,3,3,4,5,1,1,2,2,4,4,,6,6

= ,

{}1()R 1,5,5,1,2,5,5,2,3,1,1,3,3,3,4,5,5,4s R R -==

{232()R R ...R 1,5,2,5,3,1,,4,5,t R R R ===

46、分别画出下列各偏序集,A R ≤

的哈斯图,并找出A 的极大元、极小元、最大元和最小元。

(1){}A ,,,,,,,,,,,,,I R a d a c a b a e b e c e d e ≤

=

解:哈斯图如下:

A 的极大元为e 、极小元为a ; A 的最大元为e 、最小元为a 。 48、设

,B,S A R 和为偏序集,在集合A B ?上定义关系T 如下:

112211221212

,,,A B,,,a b a b a b T a b a Ra b Sb ?∈??∧

证明T 为A B ?上的偏序关系。 证明:(1)自反性:

1111111111

112212121111,A B R R S b Sb R b Sb ,,,,T a b a a a a a b T a b a Ra b Sb a b T a b ∈?∴∴∴∧?∧∴ 任取,则:

为偏序关系,具有自反性,为偏序关系,具有自反性,又,,故满足自反性

(2)反对称性:

11221122221112122121

1221121221121122,,,A B ,,,,R S b b ,,T a b a b a b T a b a b T a b a Ra b Sb a Ra b Sb a Ra a Ra a a b Sb b Sb a b a b ∈?∧∧∴∧=∴∧=∴=任取,若且,则有:(1)(2)

,又为偏序关系,具有反对称性,所以,又为偏序关系,具有反对称性,所以,故满足反对称性

(3)传递性:

112233112222331122121222332323

12231312231313131133,,,,A B ,,,,,,,,,R ,S b Sb b Sb ,,T a b a b a b a b T a b a b T a b a b T a b a Ra b Sb a b T a b a Ra b Sb a Ra a Ra a Ra b Sb b Sb a Ra a b T a b ∈??∧?∧∴∧∴∧∴∧?任取,,若且,则有:又为偏序关系,具有传递性,所以又为偏序关系,具有传递性,所以,故满足传递性。

综合(1)(2)(3)知T 满足自反性、反对称性和传递性,故T 为A B ?上的偏序关系。

习题九及答案:(P179-180) 8、

S=Q Q,Q S a,b ,x,y a,b x,y ax,ay+b

S ?*?∈*=为有理数集,为上的二元运算,有

(1)S *运算在上是否可交换、可结合?是否为幂等的?

(2)S *运算是否有单位元、零元?如果有,请指出,并求出中所有可逆元素的逆元。 解:(1)

,a,b xa,xb+y ax,bx+y a,b ,x y x y *==≠*∴*运算不具有交换律

()()

(),a,b c,d

ax,bx+y c,d acx,adx+bx+y ,a,b c,d ,*ac,ad+b

xac,xad+xb+y acx,adx+bx+y ,a,b c,d x y x y x y x y **=*=**====**∴*而运算有结合律

2a,b s a,b a,b a ,a,b ad b ∈*=+≠∴*任取,则有:运算无幂等律

(2)

()()a,b *,a,b a,b s ax,ay+b a,b a,b s ax a a x 10a,b ay b b ay 0x 10x 1

y 0y 0101010

x y =?∈=?∈?=?-=?∴????+==???

-==??∴???

==??∴**∴*令对均成立则有:对均成立对成立必定有运算的右单位元为,,可验证,也为运算的左单位元,

运算的单位元为,

()()()a,b *,,,a,b s a,b *,,ax,ay+b ,a 1x 0ax x a 1y+b 0ay b y a 1y+b 0a,b s a,b *,,a,b s x y x y x y x y x y x y

x y x y =?∈=?=?-=?=?????

-=+=????

-=?∈=?∈令,若存在使得对上述等式均成立,则存在零元,否则不存在零元。由由于不可能对均成立,

故不可能对均成立,故不存在零元;

a,b ,a,b *,e 101x ax 1a

a ay

b 0b y a a 0a,b 1b

a a,

b ,a a

x y x y ==?

=?=????≠??+=??=-

??

∴=≠-设元素的逆元为,则令,(当0)

当时,的逆元不存在;

当0时,的逆元是

11

、{}S 12S S ?

=***设,,...,10,问下面的运算能否与构成代数系统,如果能构成代数系统则说明运算是否满足交换律、结合律,并求运算的单位元和零元。

(3)x y x y *=大于等于和的最小整数; 解:(3)由*运算的定义可知:x y=max(x,y)*,

x,y S,x y S S S ∈*∈**有,故运算在上满足封闭性,所以运算与非空集合能构成代数系统; x,y S,x y=max(x,y)=max(y,x)=y ,x ∈***任取有所以运算满足交换律;

x,y,z S,x y)z=max(max(x,y),z)=max(x,y,z)=max(x,max(y,z))=x (y z),∈*****任取有(所以运算满足结合律;

x S x 1=max(x,1)=x=max(1,x)=1x,∈***任取,有所以运算的单位元是1; x S x 10=max(x,10)=10=max(10,x)=10x,∈***任取,有所以运算的零元是10; 16、

}}1212V 1,2,3,,1,x y V 5,6,,6x y V V x y x y =??=**设其中表示取和之中较大的数。,其中表示取和之中较小的数。求出和的所有的子代数。指出哪些是平凡的子代数,哪些是真子代数。

}}}{}{}{}{}{}{}111V 1,2,3,,1,1,,1,1,2,,1,1,3,,1V 1,2,3,,1,1,,1V 1,,1,1,2,,1,1,3,,1?????????解:(1)的所有的子代数是:;

的平凡的子代数是:;的真子代数是:;

{}{}}}}222V 5,6,,66,,6V 5,6,,66,,6V 6,,6*****(2)的所有的子代数是:,;

的平凡的子代数是:,;的真子代数是:。

习题十一及答案:(P218-219)

1、图11.11给出了6个偏序集的哈斯图。判断其中哪些是格。如果不是格,说明理由 解:(a )、(c )、(f )是格;因为任意两个元素构成的集合都有最小上界和最大下界; (b )不是格,因为{d,e}的最大下界不存在; (d )不是格,因为{b,c}的最小上界不存在; (e )不是格,因为{a,b}的最大下界不存在。

2、下列各集合低于整除关系都构成偏序集,判断哪些偏序集是格。 (1)L={1,2,3,4,5}; (2)L={1,2,3,6,12};

解:画出哈斯图即可判断出:(1)不是格,(2)是格。 4、设L 是格,求以下公式的对偶式: (2)()()()a b c a b a c ∨∧≤∨∧∨

解:对偶式为:()()()a b c a b a c ∧∨≥∧∨∧,参见P208页定义11.2。 9、针对图11.11中的每个格,如果格中的元素存在补元,则求出这些补元。 解:

(a )图:a,d 互为补元,其中a 为全下界,d 为全上界,b 和c 都没有补元;

(c )图:a,f 互为补元,其中a 为全下界,f 为全上界,c 和d 的补元都是b 和e ,b 和e 的补元都是c 和d ; (f )图:a,f 互为补元,其中a 为全下界,f 为全上界,b 和e 互为补元,c 和d 都没有补元。 10、说明图11.11中每个格是否为分配格、有补格和布尔格,并说明理由。 解:

(a )图:是一条链,所以是分配格,b 和c 都没有补元,所以不是有补格,所以不是布尔格;

(c )图:a,f 互为补元,c 和d 的补元都是b 和e ,b 和e 的补元都是c 和d ,所以任何元素皆有补元,是有补格;

(),c b d c a c ∨∧=∨= ()()c b c d f d d ∨∧∨=∧=()()()c b d c b c d ∴∨∧≠∨∧∨,所以∨对∧运算

不满足分配律,所以不是分配格,所以不是布尔格;

(f )图:经过分析知图(f )对应的格只有2个五元子格:L1={a,c,d,e,f}, L2={a,b,c,d,f}。画出L1和L2的哈斯图可知L1和L2均不同构于钻石格和五角格,根据分配格的充分必要条件(见P213页的定理11.5)得图(f )对应的格是分配格;c 和d 都没有补元,所以不是有补格,所以不是布尔格。

离散数学答案屈婉玲版第二版 高等教育出版社课后答案

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。 (1)p∨(q∧r)?0∨(0∧1) ?0 (2)(pr)∧(﹁q∨s) ?(01)∧(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?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 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 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 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)

离散数学习题答案(耿素云屈婉玲)

离散数学习题答案 习题二及答案:(P38) 5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ?→∧∧ 解:原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨,此即公式的主析取范式, 所以成真赋值为011,111。 ) 6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨?∨ 解:原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?,此即公式的主合取范式, 所以成假赋值为100。 7、求下列公式的主析取范式,再用主析取范式求主合取范式: (1)()p q r ∧∨ 、 解:原式()(()())p q r r p p q q r ?∧∧?∨∨?∨∧?∨∧ ()()()()()()p q r p q r p q r p q r p q r p q r ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨,此即主析取范式。 主析取范式中没出现的极小项为0m ,2m ,4m ,所以主合取范式中含有三个极大项0M ,2M ,4M ,故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式: (1)()()p q p r ∨∨?∧ 。 解:公式的真值表如下:

由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取范式,故主析取范式 1234567m m m m m m m ?∨∨∨∨∨∨ 习题三及答案:(P52-54) 11、填充下面推理证明中没有写出的推理规则。 前提:,,,p q q r r s p ?∨?∨→ [ 结论:s 证明: ① p 前提引入 ② p q ?∨ 前提引入 ③ q ①②析取三段论 ④ q r ?∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入 } ⑦ s ⑤⑥假言推理 15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论: p u → 证明:用附加前提证明法。 ① p 附加前提引入

屈婉玲版离散数学课后习题答案【2】

第四章部分课后习题参考答案 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 xF ?,在(a )中为假命题,在(b)中为真命题。 (2)在两个个体域中都解释为)(x xG ?,在(a )(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x 能表示成分数 H(x): x 是有理数 命题符号化为: ))()((x H x F x ∧??? (2)F(x): x 是北京卖菜的人 H(x): x 是外地人 命题符号化为: ))()((x H x F x →?? 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x 是火车; G(x): x 是轮船; H(x,y): x 比y 快

命题符号化为: )) F x G x→ ∧ ? ? y y ( )) ( ) , x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x x F y y→ ?? ∧ ? G (y H ( , ( ) ( ( x ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素错误!未找到引用源。=0. (c) 特定函数错误!未找到引用源。(x,y)=x错误!未找到引用源。y,x,y D ∈错误!未找到引用源。. (d) 特定谓词错误!未找到引用源。(x,y):x=y,错误!未找到引用源。(x,y):x

离散数学屈婉玲版课后习题

第一章部分课后习题参考答案 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?1 17.判断下面一段论述是否为真:“π是无理数。并且,如果3是无理数,则2也是无理数。另外6能被2整除,6才能被4整除。” 答:p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 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 1

离散数学课后习题答案左孝凌版

a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解:、- a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。 P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可 作为合式公式) b)是合式公式 c)不是合式公式( d)) e)不是合式公式(R和S之间缺少联结词) f)是合式公式。 (2)解: a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。 这个过程可以简记为: A;(A∨B);(A→(A∨B)) 同理可记 b)A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c)A;┓A ;B;(┓A→B) ;(B→A) ;((┓A→B)→(B→A)) d)A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a)((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b)((B→A)∨(A→B))。 (4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (P→P)代换Q. d) 是由a) 式进行代换得到,在a) 中用P→(Q→P)代换Q.

离散数学课后习题答案(左孝凌版)

离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解:

离散数学课后习题答案_(左孝凌版)

1-1,1-2 (1)解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P:a和b是偶数。Q:a+b是偶数。P→Q

e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨Q)→R (6) 解: a)P:天气炎热。Q:正在下雨。P∧Q b)P:天气炎热。R:湿度较低。P∧R c)R:天正在下雨。S:湿度很高。R∨S d)A:刘英上山。B:李进上山。A∧B e)M:老王是革新者。N:小李是革新者。M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。R:我在睡觉。P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式) b)是合式公式 c)不是合式公式(括弧不配对) d)不是合式公式(R和S之间缺少联结词) e)是合式公式。 (2)解: a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。这个过程可以简记为:A;(A∨B);(A→(A∨B)) 同理可记 b)A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c)A;┓A ;B;(┓A→B) ;(B→A) ;((┓A→B)→(B→A)) d)A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a)((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b)((B→A)∨(A→B))。 (4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (P→P)代换Q.

离散数学习题答案(耿素云屈婉玲)

离散数学习题答案 习题二及答案:(P38) 5、求下列公式的主析取式,并求成真赋值: (2)()()p q q r ?→∧∧ 解:原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨,此即公式的主析取式, 所以成真赋值为011,111。 6、求下列公式的主合取式,并求成假赋值: (2)()()p q p r ∧∨?∨ 解:原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?,此即公式的主合取式, 所以成假赋值为100。 7、求下列公式的主析取式,再用主析取式求主合取式: (1)()p q r ∧∨ 解:原式()(()())p q r r p p q q r ?∧∧?∨∨?∨∧?∨∧ ()()()()()()p q r p q r p q r p q r p q r p q r ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨,此即主析取式。 主析取式中没出现的极小项为0m ,2m ,4m ,所以主合取式中含有三个极大项0M ,2M ,4M ,故原式的主合取式 024M M M ?∧∧。 9、用真值表法求下面公式的主析取式: (1)()()p q p r ∨∨?∧ 解:公式的真值表如下:

由真值表可以看出成真赋值的情况有7种,此7种成真赋值所对应的极小项的析取即为主析取式,故主析取式 1234567m m m m m m m ?∨∨∨∨∨∨ 习题三及答案:(P52-54) 11、填充下面推理证明中没有写出的推理规则。 前提:,,,p q q r r s p ?∨?∨→ 结论:s 证明: ① p 前提引入 ② p q ?∨ 前提引入 ③ q ①②析取三段论 ④ q r ?∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入 ⑦ s ⑤⑥假言推理 15、在自然推理系统P 中用附加前提法证明下面推理: (2)前提:()(),()p q r s s t u ∨→∧∨→ 结论: p u → 证明:用附加前提证明法。 ① p 附加前提引入 ② p q ∨ ①附加 ③ ()()p q r s ∨→∧ 前提引入 ④ r s ∧ ②③假言推理 ⑤ s ④化简 ⑥ s t ∨ ⑤附加 ⑦ ()s t u ∨→ 前提引入 ⑧ u ⑥⑦假言推理 故推理正确。 16、在自然推理系统P 中用归谬法证明下面推理: (1)前提:p q →?,r q ?∨,r s ∧? 结论:p ?

离散数学(屈婉玲版)第四章部分答案

4.1 (1)设S={1,2},R 是S 上的二元关系,且xRy 。如果R=Is ,则(A );如 果R 是数的小于等于关系,则(B ),如果R=Es ,则(C )。 (2)设有序对与有序对<5,2x+y>相等,则 x=(D),y=(E). 供选择的答案 A 、 B 、 C :① x,y 可任意选择1或2;② x=1,y=1;③ x=1,y=1 或 2;x=y=2; ④ x=2,y=2;⑤ x=y=1或 x=y=2;⑥ x=1,y=2;⑦x=2,y=1。 D 、 E :⑧ 3;⑨ 2;⑩-2。 答案: A: ⑤ B: ③ C: ① D: ⑧ E: ⑩ 4.2设S=<1,2,3,4>,R 为S 上的关系,其关系矩阵是 ????? ???????0001100000011001 则(1)R 的关系表达式是(A )。 (2)domR=(B),ranR=(C). (3)R ?R 中有(D )个有序对。 (4)R ˉ1的关系图中有(E )个环。 供选择的答案 A :①{<1,1>,<1,2>,<1,4>,<4,1>,<4,3>}; ②{<1,1>,<1,4>,<2,1>,<4,1>,<3,4>}; B 、 C :③{1,2,3,4};④{1,2,4};⑤{1,4}⑥{1,3,4}。 D 、 E ⑦1;⑧3;⑨6;⑩7。 答案: A:② B:③ C:⑤ D:⑩ E:⑦ 4.3设R 是由方程x+3y=12定义的正整数集Z+上的关系,即 {<x,y >︳x,y ∈Z+∧x+3y=12}, 则 (1)R 中有A 个有序对。 (2)dom=B 。 (3)R ↑{2,3,4,6}=D 。 (4){3}在R 下的像是D 。 (5)R 。R 的集合表达式是E 。 供选择的答案 A:①2;②3;③4. B 、 C 、 D 、E:④{<3,3>};⑤{<3,3>,<6,2>};⑥{0,3,6,9,12};

离散数学(屈婉玲版)第四章部分标准答案

4.1 (1)设S={1,2},R 是S 上的二元关系,且xR y。如果R=Is ,则(A); 如果R 是数的小于等于关系,则(B),如果R=Es ,则(C)。 (2)设有序对<x+2,4>与有序对<5,2x+y>相等,则 x=(D),y=(E). 供选择的答案 A、B 、C :① x ,y 可任意选择1或2;② x=1,y=1;③ x=1,y=1 或 2;x=y=2; ④ x=2,y=2;⑤ x=y=1或 x =y=2;⑥ x=1,y=2;⑦x=2,y =1。 D 、E:⑧ 3;⑨ 2;⑩-2。 答案: A: ⑤ B: ③ C: ① D: ⑧ E: ⑩ 4.2设S =<1,2,3,4>,R 为S 上的关系,其关系矩阵是 ????? ???????0001100000011001 则(1)R 的关系表达式是(A )。 (2)dom R=(B),ranR=(C). (3)R ?R中有(D)个有序对。 (4)R ˉ1的关系图中有(E)个环。 供选择的答案 A :①{<1,1>,<1,2>,<1,4>,<4,1>,<4,3>}; ②{<1,1>,<1,4>,<2,1>,<4,1>,<3,4>}; B、C :③{1,2,3,4};④{1,2,4};⑤{1,4}⑥{1,3,4}。 D、E ⑦1;⑧3;⑨6;⑩7。 答案: A :② B:③ C:⑤ D:⑩ E:⑦ 4.3设R 是由方程x+3y=12定义的正整数集Z+上的关系,即 {︳x,y ∈Z+∧x +3y=12}, 则 (1)R 中有A 个有序对。 (2)d om=B 。 (3)R ↑{2,3,4,6}=D 。 (4){3}在R 下的像是D 。 (5)R 。R 的集合表达式是E 。 供选择的答案 A:①2;②3;③4. B 、 C 、 D 、 E :④{<3,3>};⑤{<3,3>,<6,2>};⑥{0,3,6,9,12};⑦{3,6,

离散数学课后习题答案左孝凌版

离散数学课后习题答案(左孝凌版) 1-1,1-2解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P:a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q f)设P:语法错误。Q:程序错误。R:停机。(P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。R:我在睡觉。P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解:

《2013离散数学课程 》模拟题答案

《离散数学》期末考试考点及模拟题答案 一、考试题型及分值 各种题型所占的比例: 填空题10%,判断题10%,选择题20%,其它题型60% 新出试卷按照如下各种题型所占的比例: 填空题20%,判断题15%,选择题30%,其它题型35% 二、考点 1.命题逻辑 熟练掌握命题及其表示; 掌握常用联结词(?、∧、∨、→、 )的使用; 熟练掌握命题公式的符号化; 熟练掌握使用真值表判别命题等价的方法; 掌握使用等价公式判别命题等价的方法; 掌握重言式与蕴含式的概念及其判别方法;了解其他联结词的使用;了解对偶的概念; 掌握求命题范式的方法; 熟练掌握命题演算推理的基本理论。 2.谓词逻辑 熟练掌握谓词的概念及其表示; 熟练掌握量词的使用; 掌握使用谓词公式翻译命题的方法; 掌握变元的约束; 掌握谓词演算中等价式与蕴含式的判别;了解前束范式的求法; 熟练掌握谓词演算推理的基本理论。 3.集合与关系 熟练掌握集合的概念和表示法; 掌握集合的基本运算; 掌握序偶与笛卡尔积的概念; 熟练掌握关系及其表示; 掌握关系的基本性质;了解复合关系和逆关系的概念; 掌握关系的闭包运算; 了解集合的划分和覆盖; 掌握等价关系与等价类的概念; 了解相容关系的概念; 掌握各种序关系的概念。 4.函数 熟练掌握函数的概念; 掌握逆函数和复合函数的概念;了解基数的概念; 了解可数集与不可数集; 了解基数的比较。 5.代数结构 掌握代数系统的概念; 掌握n元运算及其性质; 掌握半群、群与子群的概念; 了解阿贝尔群和循环群的概念; 了解陪集与拉格朗日定理; 了解同构与同态的概念; 了解环与域的概念。 6.图论

离散数学(左孝凌)课后习题解答(详细)

离散数学~ 习题1.1 1.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。 ⑴中国有四大发明。 ⑵计算机有空吗? ⑶不存在最大素数。 ⑷21+3<5。 ⑸老王是山东人或河北人。 ⑹2与3都是偶数。 ⑺小李在宿舍里。 ⑻这朵玫瑰花多美丽呀! ⑼请勿随地吐痰! ⑽圆的面积等于半径的平方乘以 。 ⑾只有6是偶数,3才能是2的倍数。 ⑿雪是黑色的当且仅当太阳从东方升起。 ⒀如果天下大雨,他就乘班车上班。 解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。 2. 将下列复合命题分成若干原子命题。 ⑴李辛与李末是兄弟。 ⑵因为天气冷,所以我穿了羽绒服。 ⑶天正在下雨或湿度很高。 ⑷刘英与李进上山。 ⑸王强与刘威都学过法语。 ⑹如果你不看电影,那么我也不看电影。 ⑺我既不看电视也不外出,我在睡觉。 ⑻除非天下大雨,否则他不乘班车上班。 解:⑴本命题为原子命题; ⑵p:天气冷;q:我穿羽绒服; ⑶p:天在下雨;q:湿度很高; ⑷p:刘英上山;q:李进上山; ⑸p:王强学过法语;q:刘威学过法语; ⑹p:你看电影;q:我看电影; ⑺p:我看电视;q:我外出;r:我睡觉; ⑻p:天下大雨;q:他乘班车上班。

3. 将下列命题符号化。 ⑴他一面吃饭,一面听音乐。 ⑵3是素数或2是素数。 ⑶若地球上没有树木,则人类不能生存。 ⑷8是偶数的充分必要条件是8能被3整除。 ⑸停机的原因在于语法错误或程序错误。 ⑹四边形ABCD是平行四边形当且仅当它的对边平行。 ⑺如果a和b是偶数,则a+b是偶数。 解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q ⑵p:3是素数;q:2是素数;原命题符号化为:p∨q ⑶p:地球上有树木;q:人类能生存;原命题符号化为:?p→?q ⑷p:8是偶数;q:8能被3整除;原命题符号化为:p?q ⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p ⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p?q。 ⑺p:a是偶数;q:b是偶数;r:a+b是偶数;原命题符号化为:p∧q→r 4. 将下列命题符号化,并指出各复合命题的真值。 ⑴如果3+3=6,则雪是白的。 ⑵如果3+3≠6,则雪是白的。 ⑶如果3+3=6,则雪不是白的。 ⑷如果3+3≠6,则雪不是白的。 ⑸3是无理数当且仅当加拿大位于亚洲。 ⑹2+3=5的充要条件是3是无理数。(假定是10进制) ⑺若两圆O1,O2的面积相等,则它们的半径相等,反之亦然。 ⑻当王小红心情愉快时,她就唱歌,反之,当她唱歌时,一定心情愉快。 解:设p:3+3=6。q:雪是白的。 ⑴原命题符号化为:p→q;该命题是真命题。 ⑵原命题符号化为:?p→q;该命题是真命题。 ⑶原命题符号化为:p→?q;该命题是假命题。 ⑷原命题符号化为:?p→?q;该命题是真命题。 ⑸p:3是无理数;q:加拿大位于亚洲;原命题符号化为:p?q;该命题是假命题。 ⑹p:2+3=5;q:3是无理数;原命题符号化为:p?q;该命题是真命题。 ⑺p:两圆O1,O2的面积相等;q:两圆O1,O2的半径相等;原命题符号化为:p?q;该命题是真命题。 ⑻p:王小红心情愉快;q:王小红唱歌;原命题符号化为:p?q;该命题是真命题。

离散数学 左孝凌 李为鉴 刘永才编著课后习题答案

(1)解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边形ABCD的对边平行。P Q

a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 (1)解: a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式) b)是合式公式 c)不是合式公式(括弧不配对) d)不是合式公式(R和S之间缺少联结词) e)是合式公式。 (2)解: a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。这个过程可以简记为:A;(A∨B);(A→(A∨B)) 同理可记 b)A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c)A;┓A ;B;(┓A→B) ;(B→A) ;((┓A→B)→(B→A)) d)A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a)((((A→C)→((B∧C)→A))→((B∧C)→A))→(A→C)) b)((B→A)∨(A→B))。 (4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (P→P)代换Q. d) 是由a) 式进行代换得到,在a) 中用P→(Q→P)代换Q. e) 是由b) 式进行代换得到,用R代换P, S代换Q, Q代换R, P代换S. (5)解:

离散数学第二版 屈婉玲 1-5章(答案)

《离散数学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→P 6.答: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)

离散数学课后习题答案_(左孝凌版)

习题 1-5 (1)证明: a)(P∧(P→Q))→Q (P∧(┐P∨Q))→Q (P∧┐P)∨(P∧Q)→Q (P∧Q)→Q ┐(P∧Q)∨Q ┐P∨┐Q∨Q ┐P∨T T b)┐P→(P→Q) P∨(┐P∨Q) (P∨┐P)∨Q T∨Q T c)((P→Q)∧(Q→R))→(P→R) 因为(P→Q)∧(Q→R)(P→R) 所以(P→Q)∧(Q→R)为重言式。 d)((a∧b)∨(b∧c) ∨(c∧a))(a∨b)∧(b∨c)∧(c∨a) 因为((a∧b)∨(b∧c)∨(c∧a)) ((a∨c)∧b)∨(c∧a) ((a∨c)∨(c∧a))∧(b∨(c∧a)) (a∨c)∧(b∨c)∧(b∨a) 所以((a∧b)∨(b∧c) ∨(c∧a))(a∨b)∧(b∨c)∧(c∨a)为重言式。 (2)证明: a)(P→Q)P→(P∧Q) 解法1: 设P→Q为T (1)若P为T,则Q为T,所以P∧Q为T,故P→(P∧Q)为T (2)若P为F,则Q为F,所以P∧Q为F,P→(P∧Q)为T 命题得证 解法2: 设P→(P∧Q)为F ,则P为T,(P∧Q)为F ,故必有P为T,Q为F ,所以P→Q为F。 解法3: (P→Q) →(P→(P∧Q)) ┐(┐P∨Q)∨(┐P∨(P∧Q)) ┐(┐P∨Q)∨((┐P∨P)∧(┐P∨Q)) T 所以(P→Q)P→(P∧Q) b)(P→Q)→Q P∨Q

设P∨Q为F,则P为F,且Q为F, 故P→Q为T,(P→Q)→Q为F, 所以(P→Q)→Q P∨Q。 c)(Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q 设R→Q为F,则R为T,且Q为F,又P∧┐P为F 所以Q→(P∧┐P)为T,R→(P∧┐P)为F 所以R→(R→(P∧┐P))为F,所以(Q→(P∧┐P))→(R→(R→(P∧┐P)))为F 即(Q→(P∧┐P))→(R→(R→(P∧┐P)))R→Q成立。 (3)解: a) P→Q表示命题“如果8是偶数,那么糖果是甜的”。 b)a)的逆换式Q→P表示命题“如果糖果是甜的,那么8是偶数”。 c)a)的反换式┐P→┐Q表示命题“如果8不是偶数,那么糖果不是甜的”。 d)a)的逆反式┐Q→┐P表示命题“如果糖果不是甜的,那么8不是偶数”。(4)解: a)如果天下雨,我不去。 设P:天下雨。Q:我不去。P→Q 逆换式Q→P表示命题:如果我不去,则天下雨。 逆反式┐Q→┐P表示命题:如果我去,则天不下雨 b)仅当你走我将留下。 设S:你走了。R:我将留下。R→S 逆换式S→R表示命题:如果你走了则我将留下。 逆反式┐S→┐R表示命题:如果你不走,则我不留下。 c)如果我不能获得更多帮助,我不能完成个任务。 设E:我不能获得更多帮助。H:我不能完成这个任务。E→H 逆换式H→E表示命题:我不能完成这个任务,则我不能获得更多帮助。 逆反式┐H→┐E表示命题:我完成这个任务,则我能获得更多帮助(5)试证明P Q,Q逻辑蕴含P。 证明:解法1: 本题要求证明(P Q) ∧Q P, 设(P Q) ∧Q为T,则(P Q)为T,Q为T ,故由的定义,必有P为T。 所以(P Q) ∧Q P 解法2: 由体题可知,即证((P Q)∧Q)→P是永真式。 ((P Q)∧Q)→P (((P∧Q) ∨(┐P∧┐Q)) ∧Q)→P (┐((P∧Q) ∨(┐P∧┐Q)) ∨┐Q) ∨P (((┐P∨┐Q) ∧(P∨Q)) ∨┐Q) ∨P ((┐Q∨┐P∨┐Q) ∧(┐Q∨P∨Q)) ∨P ((┐Q∨┐P) ∧T) ∨P ┐Q∨┐P∨P

离散数学课后习题答案左孝凌版

离散数学课后习题答案 左孝凌版 标准化工作室编码[XX968T-XX89628-XJ668-XT689N]

1-1,1-2 (1)解: a)是命题,真值为T。 b)不是命题。 c)是命题,真值要根据具体情况确定。 d)不是命题。 e)是命题,真值为T。 f)是命题,真值为T。 g)是命题,真值为F。 h)不是命题。 i)不是命题。 (2)解: 原子命题:我爱北京天安门。 复合命题:如果不是练健美操,我就出外旅游 拉。 (3)解: a)(┓P ∧R)→Q b)Q→R c)┓P d)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 ∧Q b)设P:小李看书。Q:小李听音乐。P∧Q c)设P:气候很好。Q:气候很热。P∨Q d)设P: a和b是偶数。Q:a+b是偶数。P→Q e)设P:四边形ABCD是平行四边形。Q :四边 形ABCD的对边平行。PQ f)设P:语法错误。Q:程序错误。R:停机。 (P∨ Q)→ R (6) 解: a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字 机作输出设备。P∧Q 1-3 (1)解: a)不是合式公式,没有规定运算符次序(若规 定运算符次序后亦可作为合式公式) b)是合式公式 c)不是合式公式(括弧不配对) d)不是合式公式(R和S之间缺少联结词) e)是合式公式。 (2)解: a)A是合式公式,(A∨B)是合式公式, (A→(A∨B))是合式公式。这个过程可以简 记为: A;(A∨B);(A→(A∨B)) 同理可记 b)A;┓A ;(┓A∧B) ;((┓A∧B)∧A) c)A;┓A ;B;(┓A→B) ;(B→A) ; ((┓A→B)→(B→A)) d)A;B;(A→B) ;(B→A) ;((A→B)∨(B→A)) (3)解: a)((((A→C)→((B∧C)→A))→((B∧C)→A))→ (A→C)) b)((B→A)∨(A→B))。 (4)解: a) 是由c) 式进行代换得到,在c) 中用Q代换P, (P→P)代换Q. d) 是由a) 式进行代换得到,在a) 中用 P→(Q→P)代换Q. e) 是由b) 式进行代换得到,用R代换P, S代换 Q, Q代换R, P代换S. (5)解: a) P: 你没有给我写信。 R: 信在途中丢失了。 P Q b) P: 张三不去。Q: 李四不去。R: 他就去。 (P∧Q)→R c) P: 我们能划船。 Q: 我们能跑步。┓(P∧Q) d) P: 你来了。Q: 他唱歌。R: 你伴奏。P→(Q R) (6)解: ∨

相关文档
最新文档