离散数学综合练习及答案分析.doc

北京科技大学远程教育学院 《离散数学》综合练习(一(参考答案 数理逻辑 一、判断下列句子是否是命题，若是命题判断真值，并将其符号化。 1、今天天气真好！ 解：不是命题。 2、王华和张民是同学。 解：是命题。真值视实际情况而定。p：王华和张民是同学。 3、我一边吃饭，一边看电视。 解：是命题。真值视实际情况而定。p：我吃饭。q：我看电视。p(q 4、没有不呼吸的人。 解：是命题。真值为1。M(x(：x是人。F(x(：x呼吸。(x(M(x((F(x(( 二、求命题公式的真值表和成真赋值、成假赋值。 解： ( 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、 解： ( 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 可满足式 2、 解： 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 永真式 四、求命题公式的主析取范式和成真赋值、成假赋值。 解： 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 成真赋值：000，001，010，011，100，101，111；成假赋值110 五、解释I如下：D是实数集，特定元素a=0；特定函数f(x，y(=x(y； 特定谓词F(x，y(：xy。在解释I下判别公式真、假。 1、 解： 真值为假 2、 解： 真值为真 六、 1、求前束范式 解： 2、证明： 证明： 七、写出下面推理的证明，要求写出前提、结论，并注明 推理规则。 （1）如果乙不参加篮球赛，那么甲就不参加篮球赛。若乙参加篮球赛，那么甲和丙就参加篮球赛。因此，如果甲参加篮球赛，则丙就参加篮球赛。 解： p：甲参加篮球赛。q：乙参加篮球赛。r：丙参加篮球赛。 前提： (q( (p ，q ( (p(r( ， 结论：p ( r 证明：① (q( (p 前提引入 ② p(q ①置换 ③ q ( (p(r( 前提引入 ④ (q ( (p(r( ③置换 ⑤ ((q ( p ( (((q ( r( ④置换 ⑥ (q ( r ⑤化简 ⑦ q ( r ⑥置换 ⑧ p ( r ②⑦假言三段论 推理正确 （2）学会的成员都是专家。有些成员是青年人。所以，有些成员是青年专家。(个体域是人的集合( F(x(：x 是学会成员。G(x(：x 是专家。H(x(：x 是青年人。 前提：(x( F(x(( G(x((，(x( F(x(( H(x(( 结论：(x( F(x(( H(x(( G(x(( 证明：① (x( F(x(( H(x(( 前提引入 ② F(c(( H(c( ①EI ③ (x( F(x(( G(x(( 前提引入 ④ F(c(( G(c( ③UI ⑤ F(c( ②化简 ⑥ G(c( ⑤④假言推理 ⑦ F(c(( H(c(( G(c( ②⑥ 合取 ⑧ (x( F(x(( H(x(( G(x(( ⑦EG 推理正确 《离散数学》综合练习(二(参考答案 集合、关系、函数 一、判断题 1、对任意集合A，都有A(A和A( A，不能同时成立。 （ F ） 2、R1、R2是A上的具有自反性的二元关系，R1－R2也具有自反性。 （ F ）