2021 离散数学(九江学院) 最新满分章节测试答案

本答案对应课程为:点我自动跳转查看
本课程起止时间为:2021-09-01到2022-01-10
本篇答案更新状态:已完结

【作业】第二讲 命题逻辑 （第一部分） 命题逻辑（第一部分）作业

1、 问题:下列哪些语句不是命题？1）热干面是成都名小吃。2）x的3次幂等于y3）注意后方！4）你想报考电子科技大学吗？5）2不是素数当且仅当火星人会飞。
评分规则: 【  2）3）4）不是命题 
】

2、 问题:设A,B,C为任意命题公式，用真值表判断下列公式类型1）2）
评分规则: 【 1），可见该公式为永假公式。2）画出真值表如下，可见该公式为可满足公式。
】

3、 问题:符号化下列命题1）若a和b是奇数，则a+b是偶数。2）这个苹果虽然甜，但我不打算买。3）只有天下大雨，他才乘班车上班。
评分规则: 【 1）P：a是奇数  Q：b是奇数  R：a+b是偶数，则命题符号化为2）P：这个苹果甜  Q：我打算买，则命题符号化为3）P：天下大雨  Q：他乘班车上班  ，则命题符号化为 Q—>P
】

【作业】第三讲 命题逻辑 （第二部分） 命题逻辑（第二部分等值演算）作业

1、 问题:
评分规则: 【 主合取范式25分主析取范式25分
】

2、 问题:
评分规则: 【
】

3、 问题:
评分规则: 【
】

【作业】第三讲 命题逻辑 （第二部分） 命题逻辑（第三部分推理理论）

1、 问题:1.在自然推理系统P中证明下面推理。
评分规则: 【 证明推理成立。
】

2、 问题:2.在自然推理系统P中构造下面推理的证明。
评分规则: 【 简单命题指定10分。符号化10分。推理20分。
】

3、 问题:
评分规则: 【 简单命题指定10分。符号化10分。推理20分。
】

【作业】第五讲 谓词逻辑 （第二部分） 谓词逻辑（第二部分）作业

1、 问题:判断下列公式类型（有效公式、矛盾公式或是可满足公式）（要求写出具体步骤）
评分规则: 【 重言式   
】

2、 问题: 符号化下列语句，并使用演绎法进行推理。 没有一个成功的商人是不懂成本核算的，有些没上大学的人是成功的商人。因此，有些懂成本核算的人没上过大学。
评分规则: 【 令个体域为全体人的集合。 设    P(x)：x是成功的商人；Q(x)：x懂成本核算；R(x)：上过大学；
】

3、 问题:求下列公式的前束范式
评分规则: 【 需要使用换名规则。
】

【作业】第四讲 谓词逻辑 （第一部分） 谓词逻辑（第一部分）作业

1、 问题:符号化下列命题：1）每个中国人都会唱国歌。
评分规则: 【 1）设C(x)：x是中国人，S(x)：x会唱国歌。则命题符号化成
】

2、 问题:2）有些植物的叶子上有倒刺。
评分规则: 【 2）设Z(x)：x是植物，L(x)：x的叶子上有倒刺。则命题符号化成
】

3、 问题:3）尽管有的程序员会使用Ada语言，但不是所有程序员都会使用Ada语言。
评分规则: 【 3）设P(x)：x是程序员，A(x)：x会使用Ada语言。则命题符号化成
】

4、 问题:4）不管黑猫白猫，抓住耗子就是好猫。
评分规则: 【 4）设C(x)：x是猫，M(x)：x是耗子，W(x)：x是白色的，B(x)：x是黑色的，P(x,y)：x抓住y，G(x)：x是好的。则命题符号化为
】

第五讲 谓词逻辑 （第二部分） 集合论和数理逻辑单元测验

1、 问题:下列句子为真命题的是(     )。
选项：
A:雪是黑色的，当且仅当5<0
B:自然数中存在最大素数
C:今天天气真好呀
D:只有5<0,雪才是白色的
答案: 【雪是黑色的，当且仅当5<0】

2、 问题:下列语句是假命题的是(       )。
选项：
A:如果3是偶数，那么1/3就是有理数
B:只要3是偶数，1/3就是有理数
C:除非1/3是有理数，否则3不是偶数
D:只有3是偶数，1/3才是有理数
答案: 【只有3是偶数，1/3才是有理数】

3、 问题:设：天下大雨 ：他在室内运动，命题“除非天下大雨，否则他不在室内运动”可符号化为(    )。
选项：
A:
B:
C:
D:
答案: 【】

4、 问题:设：他聪明，：他成绩好，命题“他虽聪明但成绩不好”可符号化为(         )。
选项：
A:
B:
C:
D:
答案: 【】

5、 问题:设：他怕困难 ,：他获得成功，命题“只要他怕困难，他就不会获得成功”可符号化为(     )。
选项：
A:
B:
C:
D:
答案: 【】

6、 问题:设：他怕困难 ,：他获得成功，命题“他只有不怕困难，才能获得成功”可符号化为(       )。
选项：
A:
B:
C:
D:
答案: 【】

7、 问题:下列式子为重言式的是 (       )。
选项：
A:
B:
C:
D:
答案: 【】

8、 问题: 下列式子不是永真式的是(       )。
选项：
A:
B:
C:
D:
答案: 【】

9、 问题:下列命题公式为永假式的是(         )。
选项：
A:
B:
C:
D:
答案: 【】

10、 问题:下列为两个命题变元，的极小项是(       )。
选项：
A:
B:
C:
D:
答案: 【】

11、 问题:设个体域为,则与公式等价的是(        )。
选项：
A:
B:
C:
D:
答案: 【】

12、 问题:设个体域为整数集，下列谓词公式中真值为假的是(      )。
选项：
A:
B:
C:
D:
答案: 【】

13、 问题:设个体域为整数集，下列谓词公式中真值为真的是(      )。
选项：
A:
B:
C:
D:
答案: 【】

14、 问题:下列公式中与公式等价的是(      )。
选项：
A:
B: