离散数学(屈婉玲)答案_1-5章
第一章部分课后习题参考答案
16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。
（1）p∨(q∧r)? 0∨(0∧1) ?0
（2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0.
（3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1）? (0∧0∧0)?0
(4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?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
所以公式类型为永真式 //最后一列全为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 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)?(p→q)∧q∧r
(3)(p∨(q∧r))→(p∨q∨r)
解：
（1）主析取范式
(?p→q)→(?q∨p)
??(p ∨q)∨(?q ∨p)
?(?p ∧?q)∨(?q ∨p)
? (?p ∧?q)∨(?q ∧p)∨(?q ∧?p)∨(p ∧q)∨(p ∧?q)
?
(?p ∧?q)∨(p ∧?q)∨(p ∧q) ?320m m m ∨∨
?∑(0,2,3)
主合取范式：
(?p →q)→(?q ∨p)
??(p ∨q)∨(?q ∨p)
?(?p ∧?q)∨(?q ∨p)
?(?p ∨(?q ∨p))∧(?q ∨(?q ∨p))
?1∧(p ∨?q)
?(p ∨?q) ? M 1
?∏(1)
(2) 主合取范式为：
?(p →q)∧q ∧r ??(?p ∨q)∧q ∧r
?(p ∧?q)∧q ∧r ?0
所以该式为矛盾式.
主合取范式为∏(0,1,2,3,4,5,6,7)
矛盾式的主析取范式为 0
(3)主合取范式为：
(p ∨(q ∧r))→(p ∨q ∨r)
??(p ∨(q ∧r))→(p ∨q ∨r)
?(?p ∧(?q ∨?r))∨(p ∨q ∨r)
?(?p ∨(p ∨q ∨r))∧((?q ∨?r))∨(p ∨q ∨r))
?1∧1
?1
所以该式为永真式.
永真式的主合取范式为 1
主析取范式为∑(0,1,2,3,4,5,6,7)
第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明：
(2)前提：p→q,?(q∧r),r
结论：?p
(4)前提：q→p,q?s,s?t,t∧r
结论：p∧q
证明：（2）
①?(q∧r) 前提引入
②?q∨?r ①置换
③q→?r ②蕴含等值式
④r 前提引入
⑤?q ③④拒取式
⑥p→q 前提引入
⑦￢p ⑤⑥拒取式
证明（4）：
①t∧r 前提引入
②t ①化简律
③q?s 前提引入
④s?t 前提引入
⑤q?t ③④等价三段论
⑥（q→t）∧(t→q) ⑤置换
⑦（q→t）⑥化简
⑧q ②⑥假言推理
⑨q→p 前提引入
⑩p ⑧⑨假言推理
(11)p∧q ⑧⑩合取
15在自然推理系统P中用附加前提法证明下面各推理：
(1)前提：p→(q→r),s→p,q
结论：s→r
证明
①s 附加前提引入
②s→p 前提引入
③p ①②假言推理
④p→(q→r) 前提引入
⑤q→r ③④假言推理
⑥q 前提引入
⑦r ⑤⑥假言推理
16在自然推理系统P中用归谬法证明下面各推理：
(1)前提：p→?q,?r∨q,r∧?s
结论：?p
证明：
①p 结论的否定引入
②p→﹁q 前提引入
③﹁q ①②假言推理
④￢r∨q 前提引入
⑤￢r ④化简律
⑥r∧￢s 前提引入
⑦r ⑥化简律
⑧r∧﹁r ⑤⑦合取
由于最后一步r∧﹁r 是矛盾式,所以推理正确.
第四章部分课后习题参考答案
3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:
(1) 对于任意x,均有2=(x+)(x).
(2) 存在x,使得x+5=9.
其中(a)个体域为自然数集合.
(b)个体域为实数集合.
解：
F(x): 2=(x+)(x).
G(x): x+5=9.
(1)在两个个体域中都解释为)
(x
?，在（a）中为假命题，在(b)中为真命
xF
题。
(2)在两个个体域中都解释为)
?，在（a）(b)中均为真命题。
xG
(x
4. 在一阶逻辑中将下列命题符号化:
(1) 没有不能表示成分数的有理数.
(2) 在北京卖菜的人不全是外地人.
解:
(1)F(x): x能表示成分数
H(x): x是有理数
命题符号化为: ))
F
x∧
x
??
?
)
(
H
(
(x
(2)F(x): x是北京卖菜的人
H(x): x是外地人
命题符号化为: ))
F
x→
x
??
)
(
H
(
(x
5. 在一阶逻辑将下列命题符号化:
(1) 火车都比轮船快.
(3) 不存在比所有火车都快的汽车.
解:
(1)F(x): x是火车; G(x): x是轮船; H(x,y): x比y快
命题符号化为: ))
x
F
G
y
∧
?
?
y
x→
x
))
(
,
H
(
((y
(
)
(2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快
命题符号化为: )))
y
x
F
G
y→
??
∧
?
,
x
(
)
(
H
(
)
(y
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 ∈. 说明下列公式在I下的含义,并指出各公式的真值: (1))) y x? G y ? ? → x , ) ( ( (y , x F (2))) x y a f F G x→ y ? ? ) ( , x ), (y , ( ( 答:(1) 对于任意两个实数x,y,如果x (2) 对于任意两个实数x,y,如果x-y=0, 那么x 10. 给定解释I如下： （a）个体域D=N(N为自然数集合). （b） D中特定元素=2. （c） D上函数=x+y,(x,y)=xy. （d） D上谓词(x,y):x=y. 说明下列各式在I下的含义，并讨论其真值. (1)xF(g(x,a),x) (2)x y(F(f(x,a),y)→F(f(y,a),x) 答:(1) 对于任意自然数x, 都有2x=x, 真值0. (2) 对于任意两个自然数x,y,使得如果x+2=y, 那么y+2=x. 真值0. 11. 判断下列各式的类型: (1) (3) yF(x,y). 解:(1)因为1 ) →p → p p p为永真式； q ? q ) ( (? ∨ ∨ ? ? 所以为永真式； (3)取解释I个体域为全体实数 F(x,y)：x+y=5 所以,前件为任意实数x存在实数y使x+y=5，前件真； 后件为存在实数x对任意实数y都有x+y=5，后件假，] 此时为假命题 再取解释I个体域为自然数N， F(x,y)：:x+y=5 所以,前件为任意自然数x 存在自然数y 使x+y=5，前件假。此时为假命题。 此公式为非永真式的可满足式。 13. 给定下列各公式一个成真的解释，一个成假的解释。 (1) (F(x) (2) x(F(x)G(x)H(x)) 解:(1)个体域:本班同学 F(x)：x 会吃饭, G(x)：x 会睡觉.成真解释 F(x)：x 是泰安人,G(x)：x 是济南人.（2）成假解释 (2)个体域:泰山学院的学生 F(x)：x 出生在山东,G(x):x 出生在北京,H(x):x 出生在江苏,成假解释. F(x)：x 会吃饭,G(x)：x 会睡觉,H(x)：x 会呼吸. 成真解释. 第五章部分课后习题参考答案 5.给定解释Ｉ如下: (a)个体域D={3,4}; (b))(x f 为3)4(,4)3(==f f (c)1)3,4()4,3(,0)4,4()3,3(),(====F F F F y x F 为. 试求下列公式在Ｉ下的真值. (1)),(y x yF x ?? (3))))(),((),((y f x f F y x F y x →?? 解:(1) ))4,()3,((),(x F x F x y x yF x ∨???? ? ))4,4()3,4(())4,3()3,3((F F F F ∨∧∨ ?1)01()10(?∨∧∨ (2) )))(),((),((y f x f F y x F y x →?? ))))4(),(()4,(()))3(),(()3,(((f x f F x F f x f F x F x →∧→?? )))3),(()4,(())4),(()3,(((x f F x F x f F x F x →∧→?? )))3),3(()4,3(())4),3(()3,3(((f F F f F F →∧→? )))3),4(()4,4(())4),4(()3,4(((f F F f F F →∧→∧ )))3,4()4,3(())4,4(0((F F F →∧→?)))3,3(0())4,3(1((F F →∧→∧ )11()00(→∧→?)00()11(→∧→∧1? 12.求下列各式的前束范式。 (1)),()(y x yG x xF ?→? (5))),()((),(2121211x x G x x H x x F x ??→→? (本题课本上有错误) 解:(1) ),()(y x yG x xF ?→?),()(y t yG x xF ?→??)),()((y t G x F y x →??? (5) )),()((),(2121211x x G x x H x x F x ??→→? )),()((),(2323211x x G x x H x x F x ??→→?? )),()((),(2332411x x G x H x x x F x ?→?→?? ))),()((),((2334121x x G x H x x F x x ?→→??? 15.在自然数推理系统F 中,构造下面推理的证明: (1) 前提: ))())()((()(y R y G y F y x xF →∨?→?,)(x xF ? 结论: ?xR(x) (2) 前提: ?x(F(x)→(G(a)∧R(x))), xF(x) 结论:x(F(x)∧R(x)) 证明(1) ①)(x xF ? 前提引入 ②F(c) ①EI ③))())()((()(y R y G y F y x xF →∨?→? 前提引入 ④))())()(((y R y G y F y →∨? ①③假言推理 ⑤(F(c)∨G(c))→R(c)) ④UI ⑥F(c)∨G(c) ②附加 ⑦R(c) ⑤⑥假言推理 ⑧?xR(x) ⑦EG (2) ①?xF(x) 前提引入 ②F(c) ①EI ③?x(F(x)→(G(a)∧R(x))) 前提引入 ④F(c)→(G(a)∧R(c)) ③UI ⑤G(a)∧R(c) ②④假言推理 ⑥R(c) ⑤化简 ⑦F(c)∧R(c) ②⑥合取引入 ⑧ x(F(x)∧R(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 所以公式类型为永真式 //最后一列全为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 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)?(p→q)∧q∧r 第一章习题 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号。 离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 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 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)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 第四章部分课后习题参考答案 3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值: (1) 对于任意x,均有错误！未找到引用源。2=(x+错误！未找到引用源。)(x 错误！未找到引用源。). (2) 存在x,使得x+5=9. 其中(a)个体域为自然数集合. (b)个体域为实数集合. 解： F(x): 错误！未找到引用源。2=(x+错误！未找到引用源。)(x 错误！未找到引用源。). G(x): x+5=9. (1)在两个个体域中都解释为)(x 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）设有序对 第一章命题逻辑基本概念 课后练习题答案 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,其中，p:3是偶数，q:4是偶数,真值为1； （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)：∨∨?∧∧∧∧； 《离散数学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.1 &1.2 判断下列语句是否为命题,若是命题请指出是简单命题还是复合命 题?并将命题符号化，并讨论它们的真值. (1) V 2是无理数. 是命题,简单命题.p:V2是无理数?真值:1 (2) 5能被2整除. 是命题,简单命题.p:5能被2整除?真值:0 (3) 现在在开会吗？ 不是命题. ⑷ x+5>0. 不是命题. (5) 这朵花真好看呀！ 不是命题. (6) 2是素数当且仅当三角形有3条边. 是命题,复合命题.p:2是素数.q:三角形有3条边.旷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 V q 真值:1 (13) 4 是偶数且是奇数. 是命题,复合命题P:4是偶数.q:4是奇数.p A q真值:0 (14) 李明与王华是同学. 是命题,简单命题.p:李明与王华是同学.真值唯一. (15) 蓝色和黄色可以调配成绿色. 是命题,简单命题.p: 蓝色和黄色可以调配成绿色.真值:1 1.3 判断下列各命题的真值. (1) 若2+2=4,则3+3=6. ⑵若2+2=4,则3+3工6. (3)若2+2 工4,则3+3=6. ⑷若2+2工4,则3+3工6. ⑸2+2=4当且仅当3+3=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. ⑶门p-q,真值为1. ⑷门p-n q,真值为1. (5) p「q,真值为1. (6) p?门q,真值为0. ⑺门p q,真值为0. (8) n p n q,真值为1. 1. 4将下列命题符号化，并讨论其真值。 (1)如果今天是1号，贝V明天是2号。 p：今天是1号。 q:明天是2号。 符号化为：旷q 真值为：1 (2)如果今天是1号，则明天是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.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是素数,这是不对的”是不对的. 6.1(5) 5S =n M (R),+为矩阵加法，则S 是（群） 答：满足封闭性，因为矩阵加法可结合所以为半群，且幺元为e ＝0的矩阵,故为独异点。又因为以任一n 阶矩阵的逆元存在是它的负矩阵，所以是群。 评语：答案太简单 6.2 （1）因为可结合，交换，幺元为1，但不存在逆元 所以是半群 （2）因为可交换，结合，幺元为0，是有限阶群并且是循环群，G 中的2阶元是2，4阶元是1和3 6.4 设Z 为正数集合，在Z 上定义二元运算 ° ，? x,y ∈Z 有 x ° y=x+y-2, 那么Z 与运算 ° 能否构成群？为什么？ 解： 设 ? a,b,c ∈Z （a ° b ）° c = (a+b-2) ° c = a+b- 2+ c-2 =a+b+c-4 a ° ( b ° c) = a ° (b+c-2) =a + b+c-2-2 =a+b+c-4 对2∈Z ，? x ∈Z 有 x ° 2=x+2-2=x=2° x, 可见 , 存在幺元，幺元为2。 对? x ∈Z 有4-x ∈Z,使x ° （4-x ）= (4-x) ° x=2 所以 x-1 = 4-x 所以Z 与运算 ° 能构成群 。 6.7 下列各集合对于整除关系都构成偏序集，判断哪些偏序集是格？ （1）L={1,2,3,4,5}. （2）L={1,2,3,6,12}. （3）L={1,2,3,4,6,9,12,18,36}. （4）L={1,2,2(2),…,2(n)}. （1）L={1,2,3,4,5}. 解：由它的哈斯图可以知道，该偏序集不是格，因为3和4、5和4 、3和5有最大下届是1，但是没有最小上届。 （2）L={1,2,3,6,12}. 解：由它的哈斯图可以知道，该偏序集是格。因为L 中的任意俩个元素都有最大下结和最小上届。 （3）L={1,2,3,4,6,9,12,18,36}. 解：由它的哈斯图可以知道，该偏序集是格。因为L 中的任意俩个元素都有最大下结和最小上届。 （4）L={1,2,2(2),…,2(n)}. 3.6从1到300的整数中 （1）同时能被3、5、和7这3个数整除的数有A个。 （2）不能被3、5，也不能被7整除的数有B个。 （3）可以被3整除，但不能被5和7整除的数有C个。 （4）可被3或5整除，但不能被7整除的数有D个。 （5）只能被3、5和7之中的一个数整除的数有E个。 供选择的答案 A、B、C、D、E：①2；②6；③56；④68；⑤80；⑥102；⑦120；⑧124；⑨138；⑩162。 解：设1到300之间的整数构成全集E，A、B、C分别表示其中可被3、5或7整除的数的集合。文氏图如下图： 在A∩B∩C中的数一定可以被3、5和7的最小公倍数105整除，即 ∣A∩B∩C∣=?300/105?=2，同样可得 ∣A∩B∣=?300/15?=20， ∣A∩C∣=?300/21?=14， ∣B∩C∣=?300/35?=8. 然后将20-2=18，14-2=12，8-2=6分别填入邻近的3块区域. 再计算∣A∣=?300/3?=100， ∣B∣=?300/5?=60， ∣C∣=?300/7?=42. 所以 ∣A∪B∪C∣=162. 所以本题的答案是：A=①2；B=⑨138；C=④68；D=⑦120；E=⑧124. 3.10列元素法表示下列集合。 （1）A={ x | x ∈N ∧x2 ≤7}. （2）A={ x | x ∈N ∧|3-x|<3}. （3）A={ x | x ∈R ∧(x+1)2≤0}. （4）A={ 第一章 命题逻辑基本概念 课后练习题答案 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 4.1 （1）设S={1，2}，R 是S 上的二元关系，且xRy 。如果R=Is ，则（A ）；如 果R 是数的小于等于关系，则（B ），如果R=Es ，则（C ）。 （2）设有序对 设解释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.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号。 第六章作业 评分要求： 1. 合计57分 2. 给出每小题得分(注意: 写出扣分理由). 3. 总得分在采分点1处正确设置. 一有限集合计数问题 (合计20分: 每小题10分, 正确定义集合得4分, 方法与过程4分, 结果2分) 要求: 掌握集合的定义方法以及处理有限集合计数问题的基本方法 1 对60个人的调查表明, 有25人阅读《每周新闻》杂志, 26人阅读《时代》杂志, 26人阅读《财富》杂志, 9人阅读《每周新闻》和《财富》杂志, 11人阅读《每周新闻》和《时代》杂志, 8人阅读《时代》和《财富》杂志, 还有8人什么杂志也不读. (1) 求阅读全部3种杂志的人数; (2) 分别求只阅读《每周新闻》、《时代》和《财富》杂志的人数. 解定义集合: 设E={x|x是调查对象}, A={x|x阅读《每周新闻》}, B={x|x阅读《时代》}, C={x|x阅读《财富》} 由条件得|E|=60, |A|=25, |B|=26, |C|=26, |A∩C|=9, |A∩B|=11, |B∩C|=8, |E-A∪B∪C|=8 (1) 阅读全部3种杂志的人数=|A∩B∩C| =|A∪B∪C|－(|A|+|B|+|C|)+(|A∩B|+|A∩C|+|B∩C|) =(60-8)－(25+26+26)+(11+9+8)=3 (2) 只阅读《每周新闻》的人数=|A－B∪C|=|A－A∩(B∪C)|=|A－(A∩B)∪(A∩C)| =|A|－(|A∩B|+|A∩C|－|A∩B∩C|)=25－(11+9-3)=8 同理可得只阅读《时代》的人数为10, 只阅读《财富》的人数为12. 2 使用容斥原理求不超过120的素数个数. 分析:本题有一定难度, 难在如何定义集合. 考虑到素数只有1和其自身两个素因子, 而不超过120的合数的最小素因子一定是2,3,5或7(比120开方小的素数), 也就是说, 不超过120的合数一定是2,3,5或7的倍数. 因此, 可定义4条性质分别为2,3,5或7的倍数, 先求出不超过120的所有的合数, 再得出素数的个数. 解定义集合: 设全集E={x|x∈Z∧1≤x∧x≤120} A={2k|k∈Z∧k≥1∧2k≤120}, B={3k|k∈Z∧k≥1∧3k≤120}, C={5k|k∈Z∧k≥1∧5k≤120}, D={7k|k∈Z∧k≥1∧7k≤120}. 则不超过120的合数的个数=|A∪B∪C∪D|－4 (因为2,3,5,7不是合数) =(|A|+|B|+|C|+|D|)－(|A∩B|+|A∩C|+|A∩D|+|B∩C|+|B∩D|+|C∩D|)+ (|A∩B∩C|+|A∩B∩D|+|A∩C∩D|+|B∩C∩D|)－|A∩B∩C∩D|－4 =(60+40+24+17)－(20+12+8+8+5+3)+(4+2+1+1)－0－4 (理由见说明部分) =89 因此不超过120的素数个数=120－1－89=30 (因为1不是素数) 说明: |A|=int(120/2); |A?B|=int(120/lcd(2,3)); |A?B?C|=int(120/lcd(2,3,5)); |A?B?C?D|=int(120/lcd(2,3,5,7)). 习题一 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: 他乘班车上班.离散数学(屈婉玲)答案说课讲解
离散数学屈婉玲版第一章部分习题汇总
离散数学答案解析屈婉玲版第二版高等教育出版社课后答案解析
屈婉玲版离散数学课后习题答案【2】
离散数学屈婉玲版课后习题
离散数学(屈婉玲版)第四章部分答案
高等教育出版社《离散数学》屈婉玲 耿素云 张立昂版最全答案
离散数学版屈婉玲(答案)
离散数学(屈婉玲版)第一章部分习题分解
离散数学最全课后答案(屈婉玲版)
离散数学(屈婉玲版)第六章部分答案
离散数学(屈婉玲版)第三章部分答案
离散数学最全最新答案 屈婉玲
最新离散数学(屈婉玲版)第四章部分答案
离散数学屈婉玲版第二章习题答案
离散数学(屈婉玲版)第一章部分习题汇总(完整资料).doc
离散数学-第六章集合代数课后练习习题及答案
离散数学最全课后答案(屈婉玲版)