离散数学习题解答（耿素云屈婉玲）北京大学出版社

来源：用户分享时间：2025/5/17 19:34:59 本文由

loading 分享下载这篇文档手机版

说明：文章内容仅供预览，部分内容可能不全，需要完整文档或者需要复制内容，请下载word后使用。下载word有问题请添加微信号:xxxxxxx或QQ：xxxxxx 处理（尽可能给您提供完整文档），感谢您的支持与谅解。

去找 QQ头像 http://www.7zhao.net

22在自然推理系统F中，构造下面推理的证明：

(1)偶数都能被2整除。6是偶数，所以6能被2整除。答：设F(x)：x是偶数

G(x)：x能被2整除

前提：?x(F(x)?G(x)) F(6) 结论：G(6)

证明：1 ?x(F(x)?G(x))

2 F(6)?G(6) 3 F(6) 4 G(6)

（2）凡大学生都是勤奋的。王晓山不勤奋。所以王晓山不是大学生。答：设F(x)：x是大学生

G(x)：x是勤奋的

C：王晓山

前提：?x(F(x)?G(x)) ?G(c) 结论：?F(c)

证明：1 ?x(F(x)?G(x))

2 F(c)?G(c) 3 ?G(c)??F(c) 4 ?G(c) 5 ?F(c)

文章来源：http://www.7zhao.net

去找 QQ头像 http://www.7zhao.net

23 在自然推理系统F中，构造下面推理的证明：

（1）每个有理数都是实数。有的有理数是整数。因此有的实数是整数。答：设F(x)：x是有理数

G(x)：x是实数

H(x)：x是整数

前提：?x(F(x)?G(x))

?x(F(x)?H(x))

结论：?x(G(x)?H(x)) 证明：1 ?x(F(x)?H(x))

2 F(c)?H(c) 3 ?x(F(x)?G(x)) 4 F(c)?G(c) 5 G(c) 6 G(c)?H(c) 7 ?x(G(x)?H(x))

（2）有理数，无理数都是实数。虚数不是实数，因此虚数既不是有理数也不是无理数。答：设F(x)：x是有理数

G(x)：x是实数 H(x)：x是无理数数 P(x)：x是虚数

前提： ?x(F(x)?G(x))

?x(H(x)?G(x)) ?x(P(x)??G(x))

文章来源：http://www.7zhao.net

离散数学习题解答（耿素云屈婉玲）北京大学出版社.doc 将本文的Word文档下载到电脑，方便复制、编辑、收藏和打印