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

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

离散数学习题答案

习题二及答案:(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 的关系图如图所示:

(1)求2

3,R

R 的集合表达式;

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

所以{}2

3,1,3,3,R R R =?=,{}3

23,1,3,3,3,5R

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,5,5,6,6

=,

@

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

{}2

32()R

R ...R

1,5,2,5,3,1,3,3,4,5,3,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 0

101010

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、图给出了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页定义。 9、针对图中的每个格,如果格中的元素存在补元,则求出这些补元。 解:

(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、说明图中每个格是否为分配格、有补格和布尔格,并说明理由。 解:

(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页的定理)得图(f )对应的格是分配格;c 和d 都没有补元,所以不是有补格,所以不是布尔格。

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

离散数学习题答案 习题二及答案:(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 附加前提引入

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

离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 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)

屈婉玲版离散数学课后习题答案【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

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

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.略 1.3.略 1.4.略 1.5.略 1.6.略 1.7.略 1.8.略 1.9.略 1.10.略 1.11.略 1.12.将下列命题符号化,并给出各命题的真值: (1)2+2=4当且仅当3+3=6.(2)2+2= 4的充要条件是3+3≠6.(3)2+2≠4与 3+3=6互为充要条件.(4)若2+2≠4, 则 3+3≠6,反之亦然. (1)p?q,其中,p: 2+2=4,q: 3+3=6, 真值为 1.(2)p??q,其中,p:2+2=4,q:3+3=6,真值为0. (3)?p?q,其中,p:2+2=4,q:3+3=6,真值为 0.(4)?p??q,其中,p:2+2=4,q:3+3=6,真值为1. 1.13.将下列命题符号化, 并给出各命题的真值:(1) 若今天是星期一,则明天是星期二.(2)只有今天 是星期一,明天才是星期二.(3)今天是星期一当 且仅当明天是星期二. (4)若今天是星期一,则明 天是星期三. 令p: 今天是星期一;q:明天是星期二;r:明天是星期三.(1) p→q ? 1. (2) q→p ? 1. (3) p?q? 1. (4)p→r当p ? 0时为真; p ? 1时为假. 1.14.将下列命题符号化. (1) 刘晓月跑得快,跳得高.(2) 老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小 组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃 饭, 一面听音乐. (8)如果天下大雨,他就乘 班车上班.(9)只有天下大雨,他才乘班车上 班.(10)除非天下大雨,他才乘班车上班.(11) 下雪路滑, 他迟到了. (12)2与4都是素数,这是不对的. (13)“2或4是素数,这是不对的”是不对的.

离散数学第二版 屈婉玲 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)

离散数学最全最新答案 屈婉玲

第一章 命题逻辑基本概念 课后练习题答案 4.将下列命题符号化,并指出真值: (1)p∧q,其中,p:2是素数,q:5是素数,真值为1; (2)p∧q,其中,p:是无理数,q:自然对数的底e 是无理数,真值为1; (3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1; (4)p∧q,其中,p:3是素数,q:3是偶数,真值为0; (5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0. 5.将下列命题符号化,并指出真值: (1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1; (2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1; (3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; (4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1; (5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; 6.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨; (2)(p∧┐q)∨(┐p∧q),其中,p :刘晓月选学英语,q :刘晓月选学日语;. 7.因为p 与q 不能同时为真. 13.设p:今天是星期一,q:明天是星期二,r:明天是星期三: (1)p→q,真值为1(不会出现前件为真,后件为假的情况); (2)q→p,真值为1(也不会出现前件为真,后件为假的情况); (3)p q ,真值为1; (4)p→r,若p 为真,则p→r 真值为0,否则,p→r 真值为1. 16 设p 、q 的真值为0;r 、s 的真值为1,求下列各命题公式的真值。 (1)p ∨(q ∧r)? 0∨(0∧1) ? (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是无理数 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 所以公式类型为永真式 //最后一列全为1 (5)公式类型为可满足式(方法如上例)//最后一列至少有一个1 (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 习题1 1 . 1 . 2 . 1 . 3 . 1 . 4 . 1 . 5 . 1 . 6 . 1 . 7 . 1 . 8 . 1 . 9 . |下列命题用符号表示,并给出其真值: (1) 2+2(2) 2+2 = 4的充要条件是3+3?6.(3)2+2?4和3+3 = 6都是必要和充分的条件。(4)如果2+2?4,然后3+3?6,反之亦然。 (1)p?q,其中p: 2+2 = 4,q: 3+3 = 6,真值为1。(2)p??q,其中p: 2+2 = 4,q: 3+3 = 6,真值为0。(3)?p?q,其中p: 2+2 = 4,q: 3+3 = 6,真值为0。(4)?p??q,其中p: 2+2 = 4,q: 3+3 = 6,真值为1. 1.13。用符号表示下列命题,并给出每个命题的真实值:(1)如果今天是星期一,明天就是星期二。只有今天是星期一。明天是星期二。(3)今天是星期一,只有明天是星期二。(4)如果今天是星期一,明天就是星期三。

订单P:今天是星期一;问:明天是星期二;明天是星期三。问??1.(2) q?p??1.(3) p?问??1. (4) p?r何时p??0为真;p??一小时是假的。 1.14。象征以下命题。 (1)刘跑得快,跳得高。老王来自山东或河北。 (3)因为天气寒冷。所以我穿上了羽绒服。(4)王欢和李乐组成一个小组。 (5)李欣和李默是兄弟。 (6)王强和刘伟都学过法语。他一边吃饭一边听音乐。如果下大雨,他就乘公共汽车去上班。只有下大雨时,他才乘公共汽车去上班。除非下大雨。他刚刚乘公共汽车去上班。雪很滑,他迟到了。(12)2和4是质数,这是错误的。(13)“2或4是质数,这是错误的”是错误的。离散数学习题解答 (1)p?其中,刘跑得快,刘跳得高。(2)p?其中,p:老王来自山东,q:老王来自河北。(3)p?问:那里的天气很冷,问:我穿着羽绒服。(4)p,其中P:王欢和李乐组成一个组,这是一个简单的命题。(5)p,其中P:李欣和李默是兄弟。 (6)p?其中,王强学的是法语,刘伟学的是法语。其中,p:他吃饭,q:他听音乐。其中,p:雨下得很大,q:他乘公共汽车去上班。其中,

最新离散数学(屈婉玲版)第一章部分习题

第一章习题 1.1&1.2 判断下列语句是否为命题,若是命题请指出是简单命题还 是复合命题.并将命题符号化,并讨论它们的真值. (1) √2是无理数. 是命题,简单命题.p:√2是无理数.真值:1 (2) 5能被2整除. 是命题,简单命题.p:5能被2整除.真值:0 (3)现在在开会吗? 不是命题. (4)x+5>0. 不是命题. (5) 这朵花真好看呀! 不是命题. (6) 2是素数当且仅当三角形有3条边. 是命题,复合命题.p:2是素数.q:三角形有3条边.p?q真值:1 (7) 雪是黑色的当且仅当太阳从东方升起. 是命题,复合命题.p:雪是黑色的.q:太阳从东方升起. p?q真值:0 (8) 2008年10月1日天气晴好. 是命题,简单命题.p:2008年10月1日天气晴好.真值唯 一. (9) 太阳系以外的星球上有生物. 是命题,简单命题.p:太阳系以外的星球上有生物.真值唯一. (10) 小李在宿舍里. 是命题,简单命题.P:小李在宿舍里.真值唯一. (11) 全体起立! 不是命题. (12) 4是2的倍数或是3的倍数. 是命题,复合命题.p:4是2的倍数.q:4是3的倍数.p∨q 真值:1 (13) 4是偶数且是奇数.

是命题,复合命题.P:4是偶数.q:4是奇数.p∧q真值:0 (14) 李明与王华是同学. 是命题,简单命题.p: 李明与王华是同学.真值唯一. (15) 蓝色和黄色可以调配成绿色. 是命题,简单命题.p: 蓝色和黄色可以调配成绿色.真值:1 1.3 判断下列各命题的真值. (1)若 2+2=4,则 3+3=6. (2)若 2+2=4,则 3+3≠6. (3)若 2+2≠4,则 3+3=6. (4)若 2+2≠4,则 3+3≠6. (5)2+2=4当且仅当3+3=6. (6)2+2=4当且仅当3+3≠6. (7)2+2≠4当且仅当3+3=6. (8)2+2≠4当且仅当3+3≠6. 答案: 设p:2+2=4,q:3+3=6,则p,q都是真命题. (1)p→q,真值为1. (2)p→┐q,真值为0. (3)┐p→q,真值为1. (4)┐p→┐q,真值为1. (5)p?q,真值为1. (6)p?┐q,真值为0. (7)┐p?q,真值为0. (8)┐p?┐q,真值为1. 1.4将下列命题符号化,并讨论其真值。 (1)如果今天是1号,则明天是2号。 p:今天是1号。 q:明天是2号。 符号化为:p→q 真值为:1 (2)如果今天是1号,则明天是3号。 p:今天是1号。

离散数学屈婉玲版第二章习题答案

设解释I为:个体域D I ={-2,3,6},一元谓词F(X):X≤3,G(X):X>5,R(X):X≤7。在I下求下列各式的真值。 (1)?x(F(x)∧G(x)) 解:?x(F(x)∧G(x)) ?(F(-2) ∧G(-2)) ∧(F(3) ∧G(3)) ∧(F(6) ∧G(6)) ?((-2≤3) ∧(-2>5)) ∧((3≤3) ∧(3>5)) ∧((6≤3) ∧(6<5)) ?((1 ∧0))∧((1 ∧0)) ∧((0 ∧0)) ?0∧0∧0 ?0 (2) ?x(R(x)→F(x))∨G(5) 解:?x(R(x)→F(x))∨G(5) ?(R(-2)→F(-2))∧ (R(3)→F(3))∧ (R(6)→F(6))∨ G(5) ?((-2≤7) →(-2≤3))∧ (( 3≤7) →(3≤3))∧ (( 6≤7) →(6≤3)) ∨ (5>5) ?(1 →1)∧ (1 →1)∧ (1→0) ∨ 0 ?1∧ 1∧ 0 ∨ 0 ?0 (3)?x(F(x)∨G(x)) 解:?x(F(x)∨G(x)) ?(F(-2) ∨ G(-2)) ∨ (F(3) ∨G(3)) ∨ (F(6) ∨G(6)) ?((-2≤3) ∨ (-2>5)) ∨ ((3≤3) ∨ (3>5)) ∨ ((6≤3) ∨ (6>5)) ?(1 ∨ 0) ∨ (1 ∨ 0) ∨ (0 ∨ 1) ?1 ∨ 1 ∨ 1

?1 求下列各式的前束范式,要求使用约束变项换名规则。 (1)??xF(x)→?yG(x,y) (2) ?(?xF(x,y) ∨?yG(x,y) ) 解:(1)??xF(x)→?yG(x,y) ???xF(x)→?yG(z,y) 代替规则 ??x?F(x)→?yG(z,y) 定理(2 ) ??x(?F(x)→?yG(z,y) 定理(2)③ ??x?y(?F(x)→G(z,y)) 定理(1)④ (2)?(?xF(x,y) ∨?yG(x,y) ) ??(?zF(z,y) ∨?tG(x,t)) 换名规则 ??(?zF(z,y) )∧?(?tG(x,t) ) ??z?F(z,y) ∧?t?G(x,z) ??z (?F(z,y) ∧?t?G(x,z)) ??z ?t(?F(z,y) ∧?G(x,t)) 求下列各式的前束范式,要求使用自由变项换名规则。(代替规则)(1)?xF(x)∨?yG(x,y) ??xF(x)∨?yG(z,y) 代替规则 ??x(F(x)∨?yG(z,y))定理(1)① ??x?y(F(x)∨G(z,y))定理(2)① (2)?x(F(x)∧?yG(x,y,z))→?zH(x,y,z) ??x(F(x)∧?yG(x,y,t))→?zH(s,r,z) 代替规则 ??x?y (F(x)∧G(x,y,t))→?zH(s,r,z) 定理(1)② ??x(?y (F(x)∧G(x,y,t))→?zH(s,r,z))定理(2)③ ??x?y((F(x)∧G(x,y,t))→?zH(s,r,z))定理(1)③ ??x?y?z((F(x)∧G(x,y,t))→H(s,r,z))定理(2)④ 构造下面推理的证明。

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

列各组数中,那些能构成无向图的度数列那些能构成无向简单图的度数列 (1)1,1,1,2,3 (2)2,2,2,2,2 (3)3,3,3,3 (4)1,2,3,4,5 (5)1,3,3,3 解答:(1),(2),(3),(5)能构成无向图的度数列。 (1),(2),(3)能构成五项简单图的度数列。 设有向简单图D 的度数列为2,2,3,3,入度列为0,0,2,3,试求D 的出度列。 解:因为 出度=度数-入度,所以出度列为2,2,1,0。 设D 是4阶有向简单图,度数列为3,3,3,3。它的入度列(或出度列)能为1,1, 1,1吗 解:由定理可知,有向图的总入度=总出度。该有向图的总入度=1+1+1+1=4,总出度=2+2+2+2=8,4!=8,所以它的出度列(或入度列)不能为1,1,1,1。 35条边,每个顶点的度数至少为3的图最多有几个顶点 解:根据握手定理,所有顶点的度数之和为70,假设每个顶点的度数都为3,则 n 为小于等于3 70的最大整数,即:23 ∴ 最多有23个顶点 7.7 设n 阶无向简单图G 中,δ(G )=n-1,问△(G )应为多少 解: 假设n 阶简单图图n 阶无向完全图,在K n 共有 2)1(-n n 条边,各个顶点度数之和为n (n-1) ∴每个顶点的度数为n n n )1(-=n-1 ∴△(G )=δ(G )=n-1 一个n (n ≥2)阶无向简单图G中,n 为奇数,有r 个奇度数顶点,问G的补图G 中有几个奇度顶点 解:在K n 图中,每个顶点的度均为(n-1),n 为奇数,在G中度为奇数的顶点在G 中仍然为奇数, ∴共有r 个奇度顶点在G 中 7.9 设D是n 阶有向简单图,D’是D的子图,已知D’的边数m ’=n (n-1),问D的边数m 为多少 解: 在D’中m ’=n (n-1) 可见D’为有个n 阶有向完全图,则D=D’ 即D’就是D本身, ∴m=n (n-1) 有向图D 入图所示。求D 中长度为4 的通路总数,并指出其中有多少条是回路

离散数学屈婉玲版课后答案

3 习题一 1.1.略 1.2.略 1.3.略 1.4.略 1.5.略 1.6.略 1.7.略 1.8.略 1.9.略1.10.1.11.1.12.略 略 将下列命题符号化, 并给出各命题的真值: (1)2+2=4当且仅当3+3=6. (2)2+2=4的充要条件是3+3?6. (3)2+2?4与3+3=6互为充要条件. (4)若2+2?4, 则3+3?6, 反之亦然. (1)p q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. (2)p ←q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (3) ←p q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (4) ←p ←q, 其中, p: 2+2=4, q: 3+3=6, 真值为1. 将下列命题符号化, 并给出各命题的真值: (1)若今天是星期一, 则明天是星期二. (2)只有今天是星期一, 明天才是星期二. (3)今天是星期一当且仅当明天是星期二. (4)若今天是星期一, 则明天是星期三. 令p: 今天是星期一; q: 明天是星期二; r: 明天是星期三. (1) p q ? 1. (2) q p ? 1. (3) p q ? 1. (4) p r当p ? 0时为真; p ? 1 时为假. 将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的.

离散数学最全课后答案(屈婉玲版)

习题一 1.1.略 1.2.略 1.3.略 1.4.略 1.5.略 1.6.略 1.7.略 1.8.略 1.9.略 1.10.略 1.11.略 1.12.将下列命题符号化, 并给出各命题的真值: (1) 2+2 = 4 当且仅当3+3 = 6. (2)2+2 =4 的充要条件是3+3 6. (3)2+2 4 与3+3 = 6 互为充要条 件. (4) 若2+2 4, 则3+3 6, 反之亦然. (1) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为 1. (2) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (3) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为0. (4) p q, 其中, p: 2+2=4, q: 3+3=6, 真值为 1. 1.13.将下列命题符号化, 并给出各命题的真值 (1) 若今天是星期一, 则明天是星期二. (2)只有今天是星期一, 明天才是星期二. (3)今天是星期一 当且仅当明天是星期二. (4)若今天是星期一, 则明天是星期三. 令p: 今天是星期一; q: 明天是星期二; r: 明天是星期三 (1) p q 1. (2) q p 1. (3) p q 1. (4) p r 当p 0 时为真; p 1 时为假 1.14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2) 老王是山东人或河北人. (3) 因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5) 李辛与李末是兄弟. (6) 王强与刘威都学过法语. (7) 他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9) 只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2 与4 都是素数, 这是不对的. (13) “或24 是素数, 这是不对的”是不对的. (1) p q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2) p q, 其中, p: 老王是山东人, q: 老王是河北人. (3) p q, 其中, p: 天气冷, q: 我穿了羽绒服. (4) p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5) p, 其中, p: 李辛与李末是兄弟. (6) p q, 其中, p: 王强学过法语, q: 刘威学过法语. (7) p q, 其中, p: 他吃饭, q: 他听音乐. (8) p q, 其中, p: 天下大雨, q: 他乘班车上班.

高等教育出版社《离散数学》屈婉玲_耿素云_张立昂版最全答案

第一章命题逻辑基本概念 课后练习题答案 1.将下列命题符号化,并指出真值: (1)p∧q,其中,p:2是素数,q:5是素数,真值为1; (2)p∧q,其中,p:是无理数,q:自然对数的底e是无理数,真值为1; (3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1; (4)p∧q,其中,p:3是素数,q:3是偶数,真值为0; (5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0. 2.将下列命题符号化,并指出真值: (1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1; (2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1; (3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; (4)p∨q,其中 (5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0; 3.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q:小丽从筐里拿一个梨; (2)(p∧┐q)∨(┐p∧q),其中,p:刘晓月选学英语,q:刘晓月选学日语;. 4.因为p与q不能同时为真. 5.设p:今天是星期一,q:明天是星期二,r:明天是星期三: (1)p→q,真值为1(不会出现前件为真,后件为假的情况); (2)q→p,真值为1(也不会出现前件为真,后件为假的情况); (3)p q,真值为1; (4)p→r,若p为真,则p→r真值为0,否则,p→r真值为1. 返回 第二章命题逻辑等值演算 本章自测答案 5.(1):∨∨,成真赋值为00、10、11; (2):0,矛盾式,无成真赋值; (3):∨∨∨∨∨∨∨,重言式,000、001、010、011、100、101、110、111全部为成真赋值; 7.(1):∨∨∨∨?∧∧; (2):∨∨∨?∧∧∧; 8.(1):1?∨∨∨,重言式; (2):∨?∨∨∨∨∨∨; (3):∧∧∧∧∧∧∧?0,矛盾式. 11.(1):∨∨?∧∧∧∧;

相关文档
最新文档