离散数学习题答案.doc

离散数学习题答案 习题一及答案：（P14-15） 14、将下列命题符号化： （5）李辛与李末是兄弟 解：设p：李辛与李末是兄弟，则命题符号化的结果是p （6）王强与刘威都学过法语 解：设p：王强学过法语；q：刘威学过法语；则命题符号化的结果是 （9）只有天下大雨，他才乘班车上班 解：设p：天下大雨；q：他乘班车上班；则命题符号化的结果是 （11）下雪路滑，他迟到了 解：设p：下雪；q：路滑；r：他迟到了；则命题符号化的结果是 15、设p：2+3=5. q：大熊猫产在中国. r：太阳从西方升起. 求下列复合命题的真值： （4） 解：p=1，q=1，r=0， ， 19、用真值表判断下列公式的类型： （2） 解：列出公式的真值表，如下所示： 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 由真值表可以看出公式有3个成真赋值，故公式是非重言式的可满足式。 20、求下列公式的成真赋值： （4） 解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是： 所以公式的成真赋值有：01，10，11。 习题二及答案：（P38） 5、求下列公式的主析取范式，并求成真赋值： （2） 解：原式 ，此即公式的主析取范式， 所以成真赋值为011，111。 6、求下列公式的主合取范式，并求成假赋值： （2） 解：原式，此即公式的主合取范式， 所以成假赋值为100。 7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1） 解：原式 ，此即主析取范式。 主析取范式中没出现的极小项为，，，所以主合取范式中含有三个极大项，，，故原式的主合取范式。 9、用真值表法求下面公式的主析取范式： （1） 解：公式的真值表如下： 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 0 1 0 1 由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式 习题三及答案：（P52-54） 11、填充下面推理证明中没有写出的推理规则。 前提： 结论：s 证明： ① p 前提引入 ② 前提引入 ③ q ①②析取三段论 ④ 前提引入 ⑤ r ③④析取三段论 ⑥ 前提引入 ⑦ s ⑤⑥假言推理 15、在自然推理系统P中用附加前提法证明下面推理： （2）前提： 结论： 证明：用附加前提证明法。 ① p 附加前提引入 ② ①附加 ③ 前提引入 ④ ②③假言推理 ⑤ s ④化简 ⑥ ⑤附加 ⑦ 前提引入 ⑧ u ⑥⑦假言推理 故推理正确。 16、在自然推理系统P中用归谬法证明下面推理： （1）前提：，， 结论： 证明：用归谬法 ① p 结论的否定引入 ② 前提引入 ③ ①②假言推理 ④ 前提引入 ⑤ ③④析取三段论 ⑥ 前提引入 ⑦ r ⑥化简 ⑧ ⑤⑦合取 由于，所以推理正确。 17、在自然推理系统P中构造下面推理的证明： 只要A曾到过受害者房间并且11点以前没离开，A就是谋杀嫌犯。A曾到过受害者房间。如果A在11点以前离开，看门人会看见他。看门人没有看见他。所以，A是谋杀嫌犯。 解：设p：A到过受害者房间，q：A在11点以前离开，r：A是谋杀嫌犯，s：看门人看见过A。 则前提：，，， 结论： 证明： ① 前提引入 ② 前提引入 ③ ①②拒取式 ④ 前提引入 ⑤ ③④合取引入 ⑥ 前提引入 ⑦ ⑤⑥假言推理 习题四及答案：（P65-67） 5、在一阶逻辑中将下列命题符号化： （2）有的火车比有的汽车快。 解：设F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y快；则命题符号化的结果是： （3）不存在比所有火车都快得汽车。 解：设F(x)：x是汽车，G(y)：y是火车，H(x,y)：x比y快；则命题符号化的结果是： 或 9、给定解释I如下： (a) 个体域为实数集合R。 (b) 特定元素。 (c) 函数。 (d) 谓词。 给出