.WORD
完美格式
.
.
技术资æ–?/p>
.
专业整理
.
离散数学答案
屈婉玲版
第二ç‰?/p>
高等教育出版社课后答æ¡?/p>
第一章部分课后习题参考答æ¡?/p>
16
è®?/p>
p
�/p>
q
的真值为
0
ï¼?/p>
r
�/p>
s
的真值为
1
,求下列各命题公式的真值ã€?/p>
ï¼?/p>
1
ï¼?/p>
p
�/p>
(q
�/p>
r)
�/p>
0
�/p>
(0
�/p>
1)
�/p>
0
ï¼?/p>
2
ï¼?/p>
ï¼?/p>
p
�/p>
r
)∧
(
ï¹?/p>
q
�/p>
s)
�/p>
ï¼?/p>
0
�/p>
1
)∧
(1
�/p>
1)
�/p>
0
�/p>
1
�/p>
0.
ï¼?/p>
3
ï¼?/p>
ï¼?/p>
�/p>
p
�/p>
�/p>
q
�/p>
r
ï¼?/p>
�/p>
(p
�/p>
q
∧﹁
r)
�/p>
ï¼?/p>
1
�/p>
1
�/p>
1
ï¼?/p>
�/p>
(0
�/p>
0
�/p>
0)
�/p>
0
(4)
ï¼?/p>
�/p>
r
�/p>
s
)→
(p
�/p>
�/p>
q)
�/p>
ï¼?/p>
0
�/p>
1
)→
(1
�/p>
0)
�/p>
0
�/p>
0
�/p>
1
17
.判断下面一段论述是否为真:
�/p>
�/p>
是无理数。并且,如果
3
是无理数,则
2
也是æ—?/p>
理数。另å¤?/p>
6
能被
2
整除ï¼?/p>
6
才能è¢?/p>
4
整除ã€?/p>
�/p>
答:
p:
�/p>
是无理数
1
q:
3
是无理数
0
r:
2
是无理数
1
s:
6
能被
2
整除
1
t:
6
能被
4
整除
0
命题符号化为ï¼?/p>
p
�/p>
(q
�/p>
r)
�/p>
(t
�/p>
s)
的真值为
1
ï¼?/p>
所以这一段的论述为真
�/p>
19
.用真值表判断下列公式的类型:
ï¼?/p>
4
ï¼?/p>
(p
�/p>
q)
�/p>
(
�/p>
q
�/p>
�/p>
p)
ï¼?/p>
5
ï¼?/p>
(p
�/p>
r)
ï‚?/p>
(
�/p>
p
�/p>
�/p>
q)
ï¼?/p>
6
ï¼?/p>
((p
�/p>
q)
�/p>
(q
�/p>
r))
�/p>
(p
�/p>
r)
答:
ï¼?/p>
4
ï¼?/p>
p
q
p
�/p>
q
�/p>
q
�/p>
p
�/p>
q
�/p>
�/p>
p
(p
�/p>
q)
�/p>
(
�/p>
q
�/p>
�/p>
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
所以公式类型为永真å¼?/p>
ï¼?/p>
5
)公式类型为可满足式(方法如上例ï¼?/p>
ï¼?/p>
6
)公式类型为永真式(方法如上例)
第二章部分课后习题参考答æ¡?/p>