2020 离散结构（普教）(哈尔滨商业大学) 最新满分章节测试答案

本答案对应课程为:点我自动跳转查看
本课程起止时间为:2020-03-02到2020-07-25
本篇答案更新状态:已完结

第一周 命题逻辑(一) 测验

1、 问题:令P：今天晚上我在家看书，Q：今天晚上我去电影院看电影。则命题“今天晚上我在家看书或去电影院看电影。”可以符号化为：?
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:下列命题公式不是永真式的是（ ）
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:下列式子为矛盾式的是？
选项：
A:
B:
C:
D:
答案: 【】

4、 问题:下面哪一组命题公式不是等值的?
选项：
A:
B:
C:
D:
答案: 【】

5、 问题:
选项：
A:
B:
C:
D:
答案: 【】

6、 问题:下列语句是命题的有？
选项：
A:明年中秋节的晚上是晴天
B:x+5>6
C:xy>0,当且仅当x和y都大于0
D:我正在说谎
答案: 【明年中秋节的晚上是晴天;
xy>0,当且仅当x和y都大于0】

7、 问题:若p：今天天气好；q：他去爬山；则“如果今天天气不好，他不去爬山”，可符号化为()
选项：
A:
B:
C:
D:
答案: 【;
】

8、 问题:下列各命题中真值为真的命题有?
选项：
A:如果太阳从西边出来，那么地球自转
B:如果地球自转，那么太阳从西边出来
C:如果太阳从东边出来，那么地球自转
D:如果地球自转，那么太阳从东边出来
答案: 【如果太阳从西边出来，那么地球自转;
如果太阳从东边出来，那么地球自转;
如果地球自转，那么太阳从东边出来】

9、 问题:下列各命题中真值为假的命题有?
选项：
A:2+2=4当且仅当3是奇数
B:2+2=4当且仅当3不是奇数
C:2+2≠4当且仅当3是奇数
D:2+2≠4当且仅当3不是奇数
答案: 【2+2=4当且仅当3不是奇数;
2+2≠4当且仅当3是奇数】

10、 问题:命题公式的成真赋值为?
选项：
A:00
B:01
C:10
D:11
答案: 【00;
01;
10】

【作业】第一周 命题逻辑(一) 作业

1、 问题:1、判断公式：¬ ( ( p Ù q ) ® p) 的类型，请写出过程。2、用等值演算证明等值式：( p Ù q) Ú (pÙØ q) Û p
评分规则: 【 1 ¬ ( (pÙq)®p)¬(¬(pÙq)Úp) （1分）(pÙq)Ù¬p（1分）(pÙ¬p)Ùq（1分）0Ùq（1分）0永假式（矛盾式）（1分）
2 ： (p Ù q)Ú(pÙ¬ q) pÙ(qÚ¬q)（2分）pÙ1（2分）p（1分）
】

第二周 命题逻辑(二） 测验

1、 问题:下面哪一个命题是假命题？
选项：
A:如果2是偶数，那么一个公式的析取范式唯一
B:如果2是偶数，那么一个公式的析取范式不唯一
C:如果2是奇数，那么一个公式的析取范式唯一
D:如果2是奇数，那么一个公式的析取范式不唯一
答案: 【如果2是偶数，那么一个公式的析取范式唯一】

2、 问题:命题公式 的主合取范式中极大项的个数为?
选项：
A:0
B:1
C:2
D:3
答案: 【3】

3、 问题:称由前提 推出结论的推理正确，则应为下列4个中哪一个？
选项：
A:重言式或可满足式
B:矛盾式
C:可满足式
D:重言式
答案: 【重言式】

4、 问题:的主析取范式中含有哪些极小项？
选项：
A:m0, m1, m3, m7
B:m0, m1, m2, m7
C:m0, m1, m2, m5
D:m3, m4, m5, m6
答案: 【m0, m1, m2, m7】

5、 问题:对于前提： ， ， ，，其有效结论为?
选项：
A:
B:
C:
D:
答案: 【;
】

6、 问题:下列叙述正确的是（ ）
选项：
A:含有3个命题变项的命题公式，如果它的主析取范式中含有8个极小项，则该命题公式为永真式（重言式）。
B:任何命题公式的主析取范式都是存在且唯一的。
C:命题公式的主析取范式中每个极小项的成真赋值都是该命题公式的成真赋值。
D:命题公式的主合取范式中每个极大项的成假赋值都是该命题公式的成假赋值。
答案: 【含有3个命题变项的命题公式，如果它的主析取范式中含有8个极小项，则该命题公式为永真式（重言式）。;
任何命题公式的主析取范式都是存在且唯一的。;
命题公式的主析取范式中每个极小项的成真赋值都是该命题公式的成真赋值。;
命题公式的主合取范式中每个极大项的成假赋值都是该命题公式的成假赋值。】

【作业】第二周 命题逻辑(二） 作业

1、 问题:构造下面推理的证明：如果今天是星期六，我们就去公园或去爬山；如果公园人太多，我们就不去公园；今天是星期六，公园人太多，所以我们去爬山.
评分规则: 【
】

2、 问题:求的主析取范式。
评分规则: 【
】

第三周 谓词逻辑(一) 测验

1、 问题:命题“有的学生不踢足球”的逻辑符号化表示为?设D：全总个体域，F(x)：x是足球，M(x) ：x是学生，H(x,y)：x不踢y
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:“不是每一个实数都是有理数”的逻辑符号化为? 设R(x):x是实数,Q(x):x是有理数。
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:公式可换名为?
选项：
A:
B:
C:
D: