2020 数理逻辑(哈尔滨工业大学（威海）) 最新满分章节测试答案

文章目录[隐藏]

3 数理逻辑-命题逻辑及形式系统单元3测验
4 数理逻辑-谓词逻辑及形式系统谓词逻辑基本概念小测
4 数理逻辑-谓词逻辑及形式系统一阶逻辑等值演算
4 数理逻辑-谓词逻辑及形式系统单元4测验

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

3 数理逻辑-命题逻辑及形式系统单元3测验

1、问题:下列哪个是的主析取范式?
选项：
A:
B:
C:
D:
E:
答案: 【】

2、问题:某案件有四名嫌疑犯，经调查得知（1）只有B是罪犯，C才是罪犯（2）如果C不是罪犯，那么D是罪犯（3）或者A是罪犯，或者B不是罪犯（4）A不是罪犯那么谁是罪犯？
选项：
A:D
B:B
C:C
D:没有人是罪犯
E:C和D都是
F:A和C都是
答案: 【D】

3、问题:A，B，C，D四人中派两人出差，若A去则C，D中要去一人，B和C不能都去，C去则D要留下，那么一共有多少种派法？
选项：
A:3
B:2
C:1
D:4
E:0
答案: 【3】

4、问题:张三说李四在说谎，李四说王五在说谎，王五说张三和李四都在说谎。到底谁在说谎？
选项：
A:只有张三
B:只有李四
C:张三和王五
D:只有王五
E:李四和王五
F:张三和李四
答案: 【张三和王五】

5、问题:以下选项错误的为
选项：
A:
B:
C:(t代表永真式)
D:
答案: 【】

6、问题:勾选下列命题公式中的重言式
选项：
A:
B:
C:
D:
E:
答案: 【;
;
】

7、问题:勾选下列所有正确的逻辑等价式
选项：
A:
B:
C:
D:
答案: 【;
;
】

8、问题:以下说法正确的有
选项：
A:悉非记号是功能完备的
B:是功能完备集
C:是功能完备集，且是极小的
D:是功能完备集
E:是功能完备集
答案: 【悉非记号是功能完备的;
是功能完备集;
是功能完备集，且是极小的】

9、问题:以下说法错误的有
选项：
A:主析取范式中的极小项只有唯一的成假赋值
B: 如果命题公式 A 是永真式，那么¬A 不是永假式，而是可满足式
C:（第二个符号代表异或，也就是）不是功能完备集
D:是重言式
答案: 【主析取范式中的极小项只有唯一的成假赋值;
如果命题公式 A 是永真式，那么¬A 不是永假式，而是可满足式】