2020 离散数学(牡丹江师范学院) 最新满分章节测试答案

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

【作业】第一部分 数理逻辑 第一单元作业2.1等值式

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

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

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

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

【作业】第一部分 数理逻辑 第一单元作业2.2析取范式与合取范式

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

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

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

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

【作业】第一部分 数理逻辑 第一单元作业2.2析取范式与合取范式（补）

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

【作业】第一部分 数理逻辑 第一单元作业3.2自然推理系统P

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

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

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

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

【作业】第一部分 数理逻辑 第一单元作业5.2一阶逻辑前束范式

1、 问题:设F(x)：x是汽车，G(y)：y是火车，H(x,y)：x比y跑得快。“有的汽车比有的火车跑的快。”符号化为前束范式 。
评分规则: 【
】

2、 问题:设F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y跑得快。“有的火车比所有的汽车跑的快。”符号化为前束范式 。
评分规则: 【
】

3、 问题:设F(x)：x是火车，G(y)：y是汽车，H(x,y)：x比y跑得快。“说所有的火车比所有的汽车跑的快是不对的。”符号化为前束范式 。
评分规则: 【
】

4、 问题:设F(x)：x是飞机，G(y)：y是汽车，H(x,y)：x比y慢。“说有的飞机比有的汽车慢是不对的。”符号化为前束范式 。
评分规则: 【
】

5、 问题:设F(x)：x是火车，G(y)：y是轮船，H(x,y)：x比y快。“火车都比轮船快。”符号化为前束范式 。
评分规则: 【
】

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

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

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

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

第一部分 数理逻辑 第一单元测试2

1、 问题:设p：我们正在听课，q：我们正在睡觉，则命题“我们不能睡着觉听课”符号化为‍
选项：
A:
B:
C:
D:
答案: 【】

2、 问题:设个体域D是整数，则下列公式真值为1的是
选项：
A:
B:
C:
D:
答案: 【】

3、 问题:给定命题公式:与之等值的是
选项：
A:
B:
C:
D:
答案: 【】

4、 问题:设个体域D={a,b}，则公式消去所有的量词应为
选项：
A:
B:
C:
D:
答案: 【】

5、 问题:下列命题不成立的是
选项：
A:若，则。
B:若，则。
C:若，则。
D:若，则。
答案: 【若，则。】

6、 问题:公式的成真赋值为
选项：
A:
B:
C:
D:
答案: 【;
】

7、 问题:设p表示“天下大雨”，q表示“他在室内运动”，将命题“除非天下大雨，否则他不会在室内运动”符号化为
选项：
A:
B:
C:
D:
答案: 【;
】

8、 问题:若命题公式A(p,q,r)的成假赋值为000,010,110，则其主范式为
选项：
A:
B:
C:
D:
答案: 【;
】

9、 问题:下列各选项是的前束范式的是
选项：
A:
B:
C:
D:
答案: 【;
】

10、 问题:下列公式是永真式的是
选项：
A:
B:
C:
D:
答案: 【;
;