离散数学综合练习及答案.docx

. . . . 北京科技大学远程教育学院 《离散数学》综合练习?一?参考答案数理逻辑 一、判断下列句子是否是命题，若是命题判断真值，并将其符号化。 1、今天天气真好！ 解：不是命题。 2、王华和张民是同学。 解：是命题。真值视实际情况而定。p：王华和张民是同学。 3、我一边吃饭，一边看电视。 解：是命题。真值视实际情况而定。p：我吃饭。q：我看电视。p?q 4、没有不呼吸的人。 解：是命题。真值为 1。M?x?：x 是人。F?x?：x 呼吸。?x?M?x??F?x?? 二、求命题公式的真值表和成真赋值、成假赋值。 [( p ? q) ? r] ? ( p ? r) 解： p q r p ? q ( p ? q) ? r p ? r [( p ? q) ? r] ? ( p ? r) 0 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 1 成真赋值：000，001，010，011，101，111；成假赋值 100，110 三、用真值表、等值演算两种方法判别公式类型。 1、[( p ? q) ? q] ? r p p ? q) ? q] ? r p q r p ? q ( p ? q) ? q [( 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 1 1 [( p ? q) ? q] ? r ? ?[(?p ? q) ? q] ? r ? ?(?p ? q) ? ?q ? r ? ( p ? ?q) ? ?q ? r ? [( p ? ?q) ? (?q ? ?q)] ? r ? [( p ? ?q) ? ?q] ? r 可满足式 2、q ? ?((?p ? q) ? p) 解： A ? q ? ?((?p ? q) ? p) p q ?p ? q (?p ? q) ? p ?((?p ? q) ? p ) A 0 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 q ? ?((?p ? q) ? p) ? q ? ?(?p ? q) ? ?p ? ?(?p ? q) ? (?p ? q) ? 1 永真式 四、求命题公式的主析取范式和成真赋值、成假赋值。 p ? (q ? r) r) r) p q r p ? (q ? 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 p ? (q ? r) ? ? (0，1，2，3，4，5，7） 成真赋值：000，001，010，011，100，101，111；成假赋值 110 五、解释 I 如下：D 是实数集，特定元素 a=0；特定函数 f?x，y?=x?y； 特定谓词 F?x，y?：xy。在解释 I 下判别公式真、假。 1、?x?y[?F ( f (x，y)，x)] 解： ?x?y[?F ( f (x，y)，x)] ? ?x?y[?F (x ? y，x)] ? ?x?y[?((x ? y) ? x)] ? ?x?y[(x ? y) ? x)] 真值为假 2、?x?y?z{F (x，y) ? F[ f (x，z)，f ( y，z)] 解： ?x?y?z{F (x，y) ? F[ f (x，z)，f ( y，z)]} ? ?x?y?z[(x ? y) ? (x ? z) ? ( y ? z)] 真值为真六、 1、求前束范式??xF (x) ? ?yG(x，y) 解： ??xF (x) ? ?yG(x，y) ? ?xF (x) ? ?yG(x，y) ? ?xF (x) ? ?yG(t，y) ? ?x?y[F (x) ? G(t，y)] 2、证明： ?x( A(x) ? B) ? ?xA(x) ? B 证明： ?x( A(x) ? B) ? ?x(?A(x) ? B) ? ?x?A(x) ? B ? ??xA(x) ? B ? ?xA(x) ? B 七、写出下面推理的证明，要求写出前提、结论，并注明推理规则。 如果乙不参加篮球赛，那么甲就不参加篮球赛。若乙参加篮球赛，那么甲和丙就参加篮球赛。因此，如果甲参加篮球赛，则丙就参加篮球赛。 解 ： p：甲参加篮球赛。q：乙参加篮球赛。r：丙参加篮球赛。前提： ?q? ?p ，q ? ?p?r? ， 结论：p ? r 证明：① ?q? ?p 前提引入 ②