2021知到答案【 实验逻辑学】智慧树网课章节测试答案

1、第 页2021知到答案【 实验逻辑学 】智慧树网课章节测试答案 绪论 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:Boole中的语句不能粘贴到Fitch中。（ ）选项：A:对B:错答案: 【错】第一章 章节测试 1、选择题: 要打开Tarskis World，点击文件Tarskis World.exe。选项：A:对B:错答案: 【对】 2、选择题:在Tarskis World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。选项：A:对B:错答案: 【对】3、选择题:在Tarskis World中，要保存一份世界文件，最平安的命令是Save W

2、orld 。选项：A:对B:错答案: 【错】4、选择题: 在棋盘上放置一个模块，点击工具栏中的（ ）。选项：A:New按钮B:Verify按钮C:Play Game按钮D:打印按钮答案: 【New按钮】 5、选择题: 要删除一个世界文件的方法之一是（ ）。选项：A:点击New按钮B:在File菜单中，点击Clear命令C:点击Play Game按钮D: Verify按钮 答案: 【在File菜单中，点击Clear命令】6、选择题: 当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（ ）。选项：A:FB:TC:+D: *答案: 【+】7、选择题: 在Tarskis World中，

3、模块的大小有（ ）这几种情况。选项：A:大B:中C:小D: 较小答案: 【大;中;小】8、选择题: 在Tarskis World中，模块的样子有（ ）这几种情况。选项：A:锥体B:立方体C:十二面球体D: 圆答案: 【锥体;立方体;十二面球体】9、选择题: 在Tarskis World中，一个模块的名字可以有（ ）。选项：A:一个B:两个C:三个D: 四个答案: 【一个;两个;三个;四个】10、选择题:Tarskis World不允许给一个模块命名多个名字。选项：A:对B:错答案: 【错】第二章 章节测试 1、选择题:要打开Fitch，点击文件Fitch.exe.选项：A:对B:错答案: 【对

4、】2、选择题:在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。选项：A:对B:错答案: 【对】3、选择题:在Fitch中，要保存一份已完成的证明，用Save As命令。选项：A:对B:错答案: 【对】4、选择题: 在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（ ）。选项：A:Add Step After命令B:Add Step Before命令C:Delete命令D: Add Premise命令 答案: 【Add Step Before命令】5、选择题: 表示焦点滑块的符号是（ ）。选项：A:红色的三角形图标B:圆圈图标

5、C:问号图标D: 图标答案: 【红色的三角形图标】6、选择题: 在Fitch的Proof菜单中，Collapse Subproof命令表示（ ）。选项：A:展开子证明B:删除子证明C:压缩子证明D: 保存子证明 答案: 【压缩子证明】7、选择题: Fitch中证明窗口的语句可以粘贴到（ ）中。选项：A: Tarskis WorldB:Fitch的目标窗口C:BooleD:Word 文档答案: 【Tarskis World;Fitch的目标窗口;Boole;Word 文档】8、选择题: Fitch中的联结词规章分为（ ）。选项：A:引理B:引入规章C:消去规章D: 结论规章 答案: 【引入规章;

6、消去规章】9、选择题: 在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能消失下面哪些符号？（ ）选项：A:B: cC:D:?答案: 【;?】 10、选择题:Fitch与Tarskis World不同，它没有自带的练习文件夹。选项：A:对B:错答案: 【错】第三章 章节测试 1、选择题:要打开Boole，点击文件Boole.exe。选项：A:对B:错答案: 【对】$2、选择题:在Boole中，要保存一份已完成的真值表，用Save As命令最平安。选项：A:对B:错答案: 【对】3、选择题:在Boole中，创建参考列，最好让Boole帮你完成。选项：A:对B:错答案

7、: 【错】4、选择题: 在Boole中，创建一个新的真值表有：（ ）。选项：A:一个步骤B:两个步骤C:三个步骤D: 四个步骤答案: 【三个步骤】5、选择题: 在Boole中，验证一个真值表包含：（ ）。选项：A:三个步骤B:两个步骤C:一个步骤D:四个步骤答案: 【三个步骤】 6、选择题: 在Boole中，Help菜单可以使你在使用Boole时获得帮忙，还可以（ ）。选项：A:构造真值表B:建立参考列C:检查是否可以更新D: 检查真值表是否正确答案: 【检查是否可以更新】7、选择题: 在Boole中，验证一个真值表包含：（ ）。选项：A:验证表的每一行B:检验表的完全性和正确性C:检验你的评

8、价是否正确D: 验证参考列答案: 【验证表的每一行;检验表的完全性和正确性;检验你的评价是否正确;验证参考列】8、选择题: 建立参照列的方法有（ ）。选项：A:自己手动完成B:Boole帮你完成C:老师帮你完成D: 同学帮你完成答案: 【自己手动完成;Boole帮你完成】9、选择题: 创建一个新的真值表的步骤有（ ）。选项：A:填入真值B:建立参考列C:指定目标语句D: 计算结果 答案: 【填入真值;建立参考列;指定目标语句; 计算结果 】10、选择题:Boole与Fitch相同，也有一个自带的练习文件夹。（ ）选项：A:对B:错答案: 【错】第四章 章节测试 1、选择题:在一阶逻辑的语言FO

9、L中，每个个体常项必需命名一个实际存在的对象。选项：A:对B:错答案: 【对】2、选择题:一个个体常项不能命名多个对象。选项：A:对B:错答案: 【对】3、选择题:一个对象不能有多个名字。选项：A:对B:错答案: 【错】4、选择题: 在Tarskis World的模块语言中，只有（ ）个一元谓词。选项：A:1B:6C:12D:25答案: 【6】 5、选择题: 在Tarskis World的模块语言中，只有（ ）个三元谓词。选项：A:1B:6C:12D:25答案: 【1】 6、选择题: 在Tarskis World的模块语言中，只有（ ）个二元谓词。选项：A:1B:6C:12D:25答案: 【1

10、2】 7、选择题: 在Tarskis World的模块语言中，个体常项是（）。选项：A:aB:xC:bD: y答案: 【a;b】8、选择题: 在Tarskis World的模块语言中，个体变项是（）。选项：A:aB:xC:yD: b答案: 【x;y】9、选择题: 在Tarskis World的模块语言中，刻画性质和关系的谓词有（ ）。选项：A:一元谓词B:二元谓词C:三元谓词D: 四元谓词答案: 【一元谓词;二元谓词;三元谓词】10、选择题:选项：A:对B:错答案: 【错】第五章 章节测试 1、选择题:非形式证明和形式证明在风格上不同。选项：A:对B:错答案: 【对】2、选择题:形式证明和非形

11、式证明在严谨性上相同。选项：A:对B:错答案: 【对】3、选择题:形式证明比非形式证明严谨。选项：A:对B:错答案: 【错】4、选择题: 一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（ ）。选项：A:后承B:前提C:结论D:子结论答案: 【前提】 5、选择题: 假如在前提是真实的任何情况下结论必需是真的，则称论证是（ ）。选项：A:有效的B:牢靠的C:完全的D: 无效的 答案: 【有效的】6、选择题: 逻辑上有效的论证的结论是其前提的（ ）。选项：A:一个前件B:两个前件C:一个逻辑后承D: 三个前件 答案: 【一个逻辑后承】7、选择题: 一个论证是牢靠的

12、，需要满意下面的哪些条件。选项：A:有真有假的B:有效的C:前提和结论都真D: 假的答案: 【有效的;前提和结论都真】8、选择题: 每个n元谓词被解释为一个与谓词有相同元数的（ ）。选项：A:性质B:关系C:个体词D: 个体常项 答案: 【性质;关系】9、选择题:恒等的自反性是指：（）。选项：A:a=aB:b=cC:aa D:(aa)答案: 【a=a;(aa)】10、选择题:形式证明比非形式证明简洁。（）选项：A:对B:错答案: 【错】第六章 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【对】4、选择题

13、:选项：A:对B:错答案: 【错】5、选择题: 选项：A:B:C:D:答案: 【】 6、选择题: 假如P和Q是FOL语句，那么（ ）也是。选项：A:B:C:D:答案: 【】 7、选择题: 选项：A:真、假B:假、真C:真、真D:假、假答案: 【真、真】 8、选择题: 选项：A:B:C:D:答案: 【;】 9、选择题:选项：A:B:C:D:答案: 【;】10、选择题: 选项：A:B:C:D:答案: 【;】第七章 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】4、选择题:选项：A:对B:错答案: 【错】

14、5、选择题: 选项：A:B:C:D:答案: 【】 6、选择题: S是一个重言式当且仅当S的真值表的每一行的真值（ ）。选项：A:都为假B:都为真C:有真有假D:有假有真答案: 【都为真】 7、选择题: 有一些Tarski sWorld 必定真语句是（ ）。 选项：A:永假式B:抵触式C:可满意式D:重言式答案: 【重言式】 8、选择题: 假如S是一个重言式，那么S是（ ）。选项：A:逻辑真的B:逻辑不可能的C:逻辑必定的D: Tarski sWorld 必定真的 答案: 【逻辑真的;逻辑必定的】9、选择题: 假如S是一个重言式，那么它也是（ ）语句。选项：A:逻辑真B:Tarski sWorl

15、d 必定真C:抵触的D:不可满意的 答案: 【逻辑真;Tarski sWorld 必定真】10、选择题: 有些Tarski sWorld 必定真语句不是（ ）。选项：A:可满意式B:逻辑真语句C:重言式D: 抵触式 答案: 【逻辑真语句;重言式; 抵触式 】第八章 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】4、选择题:选项：A:对B:错答案: 【对】5、选择题:没有前提的一个证明表明它是系统的一条（ ）。选项：A:逻辑后承B:抵触式C:可满意式D:定理答案: 【定理】6、选择题: 选项：A:B:

16、C:D:答案: 【】 7、选择题:选项：A:B:C:D:答案: 【】8、选择题:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】4、选择题:选项：A:对B:错答案: 【错】5、选择题: 没有前提的一个证明表明它的结论是一条（ ）。选项：A:逻辑真理B:抵触式C:可满意式 D:永假式答案: 【逻辑真理】 6、选择题: 选项：A:B:C:D:答案: 【】 7、选择题: 选项：A:B:C:D:答案: 【】 8、选择题: 选项：A:B:C:D:答案: 【;】 9、选择题:选项：A:PB:QC:SD:R答案: 【P;Q;S;R】10、选择题: 选项：A:B:C:D:答案: 【;】第十章 章节

17、测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】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:错答案: 【对】第十一章 章节测试 1、选择题:选项：A:对B:

18、错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】4、选择题:选项：A:对B:错答案: 【错】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、选择题: 在Fitch中，等值引入规章要求给出两个子证明，它们表明（ ）。选项：A:P可以从Q推出B:Q可以从P推出C:P不能从Q推出D:Q不能从P推出 答案: 【P可以从Q推出;Q可以从P推出】第十二章 章节测

19、试 1、选择题:一阶语言FOL有无穷多个变项。选项：A:对B:错答案: 【对】2、选择题:一个语句（闭公式）是一个没有自由变项的公式。选项：A:对B:错答案: 【对】3、选择题:每个逻辑真语句都是重言式。选项：A:对B:错答案: 【错】4、选择题:一个一阶语言FOL不可以没有常项。（ ）选项：A:对B:错答案: 【错】5、选择题: 选项：A:自由消失B:约束消失，但不是自由消失C:不消失D: 消失 答案: 【自由消失】6、选择题: 选项：A:约束消失，但不是自由消失B:自由消失C:不消失D:消失答案: 【自由消失】 7、选择题: 一个量化语句是一个重言式当且仅当它的真值函项形式是一个（ ）。选

20、项：A:抵触式B:可满意式C:重言式D:永假式 答案: 【重言式】8、选择题:选项：A:B:C:D:答案: 【;】9、选择题: 全部重言式都是（ ）。选项：A:一阶有效的B:逻辑真的C:不是一阶有效式D:塔斯基世界必定真的答案: 【逻辑真的;塔斯基世界必定真的】 10、选择题: 下面哪些公式是亚里士多德语句形式。选项：A:B:C:D:答案: 【;】第十三章 章节测试 1、选择题:一阶语言FOL有无穷多个常项。选项：A:对B:错答案: 【错】2、选择题:一个语句（闭公式）是一个没有自由变项的公式。选项：A:对B:错答案: 【对】3、选择题:每个逻辑真语句都是Tarskis World必定真语句。

21、选项：A:对B:错答案: 【对】4、选择题: 选项：A:自由消失B:约束消失，但不是自由消失C:不消失D:消失答案: 【自由消失】 5、选择题:选项：A:约束消失，但不是自由消失B:自由消失C:不消失D:消失答案: 【自由消失】6、选择题: 在Tarskis World中，（ ）表示个体常项。选项：A:PB:wC:aD:y答案: 【a】 7、选择题: 选项：A:B:C:D:答案: 【;】 8、选择题: 下面哪些公式是亚里士多德语句形式。选项：A:B:C:D:答案: 【;】 9、选择题:一个语言FOL可以没有谓词。（ ）选项：A:对B:错答案: 【对】10、选择题:一个开公式是至少有一个自由变项

22、的公式。（ ）选项：A:对B:错答案: 【对】第十四章 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:选项：A:对B:错答案: 【错】4、选择题:选项：A:对B:错答案: 【错】5、选择题:选项：A:某一立方体在某一锥体的左边B:每一立方体都在某一锥体的左边C:某一立方体都在每一锥体的左边D:每一立方体都在每一锥体的左边答案: 【某一立方体在某一锥体的左边】6、选择题:选项：A:某一立方体在某一锥体的左边B:每一立方体都在每一锥体的左边C:每一立方体都在某一锥体的左边D:某一立方体都在每一锥体的左边答案: 【每一立方体都在每一锥体

23、的左边】7、选择题:选项：A:B:C:D:答案: 【】8、选择题: 在Fitch中，系统F的全称量词规章有（ ）。选项：A:全称量词引入规章B:全称量词规章C:全称量词消去规章D:全称量化词规章 答案: 【全称量词引入规章;全称量词消去规章】9、选择题: 在Fitch中，系统F的存在量词规章有（ ）。选项：A:存在量词引入规章B:存在量词消去规章C:存在量词规章D:存在量化词规章 答案: 【存在量词引入规章;存在量词消去规章】10、选择题:选项：A:B:C:D:答案: 【;】第十五章 章节测试 1、选择题:选项：A:对B:错答案: 【对】2、选择题:选项：A:对B:错答案: 【对】3、选择题:

24、选项：A:对B:错答案: 【对】4、选择题:选项：A:对B:错答案: 【错】5、选择题:选项：A:这里c是定义域中的一个对象B:c必需是个体常项C:c是Tarskis World 模块语言中的个体常项D: c是Tarskis World 模块语言中的个体变项 答案: 【这里c是定义域中的一个对象】6、选择题:选项：A:c是Tarskis World 模块语言中的个体常项B:这里c是定义域中的一个对象C:c必需是个体常项D: c是Tarskis World 模块语言中的个体变项 答案: 【这里c是定义域中的一个对象】7、选择题:选项：A:B:C:D:答案: 【】8、选择题:选项：A:B:C:D:答案: 【;】9、选择题: 在Fitch中，系统F的存在量词规章有（ ）。选项：A:存在量词引入规章B:存在量词消去规章C: