实验逻辑学 知到智慧树网课答案

实验逻辑学-知到答案、智慧树答案绪论单元测试1、问题：选项：A:对B:错答案:【对】2、问题：Boole中的语句不能粘贴到Fitch中。（）选项：A:对B:错答案:【错】第一章单元测试1、问题：要打开，点击文件。选项：A:对B:错答案:【对】2、问题：在中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。选项：A:对B:错答案:【对】3、问题：在中，要保存一份世界文件，最安全的命令是。选项：A:对B:错答案:【错】4、问题：在棋盘上放置一个模块，点击工具栏中的（）。选项：A:New按钮按钮C:PlayGame按钮D:打印按钮答案:【New按钮】5、问题：要删除一个世界文件的方法之一是（）。选项：A:点击New按钮B:在File菜单中，点击Clear命令C:点击PlayGame按钮D:按钮答案:【在File菜单中，点击Clear命令】6、问题：当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。选项：A:FB:TC:+D:*答案:【+】7、问题：在中，模块的大小有（）这几种情况。选项：A:大B:中C:小D:较小答案:【大;中;小】8、问题：在中，模块的形状有（）这几种情况。选项：A:锥体B:立方体C:十二面球体D:圆答案:【锥体;立方体;十二面球体】9、问题：在中，一个模块的名字可以有（）。选项：A:一个B:两个C:三个D:四个答案:【一个;两个;三个;四个】10、问题：不允许给一个模块命名多个名字。选项：A:对B:错答案:【错】第二章单元测试1、问题：要打开Fitch，点击文件Fitch.exe.选项：A:对B:错答案:【对】2、问题：在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。选项：A:对B:错答案:【对】3、问题：在Fitch中，要保存一份已完成的证明，用SaveAs命令。选项：A:对B:错答案:【对】4、问题：在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。选项：A:AddStepAfter命令B:AddStepBefore命令C:Delete命令D:AddPremise命令答案:【AddStepBefore命令】5、问题：表示焦点滑块的符号是（）。选项：A:红色的三角形图标B:圆圈图标C:问号图标D:?图标答案:【红色的三角形图标】6、问题：在Fitch的Proof菜单中，CollapseSubproof命令表示（）。选项：A:展开子证明B:删除子证明C:压缩子证明D:保存子证明答案:【压缩子证明】7、问题：Fitch中证明窗口的语句可以粘贴到（）中。选项：A:B:Fitch的目标窗口C:BooleD:文档答案:【;Fitch的目标窗口;Boole;文档】8、问题：Fitch中的联结词规则分为（）。选项：A:引理B:引入规则C:消去规则D:结论规则答案:【引入规则;消去规则】9、问题：在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，可能出现下面哪些符号？（）选项：A:×B:cC:√D:?答案:【×;√;?】10、问题：Fitch与不同，它没有自带的练习文件夹。选项：A:对B:错答案:【错】第三章单元测试1、问题：要打开Boole，点击文件Boole.exe。选项：A:对B:错答案:【对】2、问题：在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。选项：A:对B:错答案:【对】3、问题：在Boole中，创建参考列，最好让Boole帮你完成。选项：A:对B:错答案:【错】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:检验你的评价是否正确D:验证参考列答案:【验证表的每一行;检验表的完全性和正确性;检验你的评价是否正确;验证参考列】8、问题：建立参照列的方法有（）。选项：A:自己手动完成B:Boole帮你完成C:老师帮你完成D:同学帮你完成答案:【自己手动完成;Boole帮你完成】9、问题：创建一个新的真值表的步骤有（）。选项：A:填入真值B:建立参考列C:指定目标语句D:计算结果答案:【填入真值;建立参考列;指定目标语句;计算结果】10、问题：Boole与Fitch相同，也有一个自带的练习文件夹。（）选项：A:对B:错答案:【错】第四章单元测试1、问题：在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。选项：A:对B:错答案:【对】2、问题：一个个体常项不能命名多个对象。选项：A:对B:错答案:【对】3、问题：一个对象不能有多个名字。选项：A:对B:错答案:【错】4、问题：在的模块语言中，只有（）个一元谓词。选项：A:1B:6C:12D:25答案:【6】5、问题：在的模块语言中，只有（）个三元谓词。选项：A:1B:6C:12D:25答案:【1】6、问题：在的模块语言中，只有（）个二元谓词。选项：A:1B:6C:12D:25答案:【12】7、问题：在的模块语言中，个体常项是（）。选项：A:aB:xC:bD:y答案:【a;b】8、问题：在的模块语言中，个体变项是（）。选项：A:aB:xC:yD:b答案:【x;y】9、问题：在的模块语言中，刻画性质和关系的谓词有（）。选项：A:一元谓词B:二元谓词C:三元谓词D:四元谓词答案:【一元谓词;二元谓词;三元谓词】10、问题：选项：A:对B:错答案:【错】第五章单元测试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、问题：每个n元谓词被解释为一个与谓词有相同元数的（）。选项：A:性质B:关系C:个体词D:个体常项答案:【性质;关系】9、问题：恒等的自反性是指：（）。选项：A:a=aB:b=cC:a1aD:?(a1a)答案:【a=a;?(a1a)】10、问题：形式证明比非形式证明简单。（）选项：A:对B:错答案:【错】第六章单元测试1、问题：选项：A:对B:错答案:【对】2、问题：选项：A:对B:错答案:【对】3、问题：选项：A:对B:错答案:【对】4、问题：选项：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:错答案:【错】5、问题：选项：A:B:C:D:答案:【】6、问题：S是一个重言式当且仅当S的真值表的每一行的真值（）。选项：A:都为假B:都为真C:有真有假D:有假有真答案:【都为真】7、问题：有一些必然真语句是（）。选项：A:永假式B:矛盾式C:可满足式D:重言式答案:【重言式】8、问题：如果S是一个重言式，那么S是（）。选项：A:逻辑真的B:逻辑不可能的C:逻辑必然的D:必然真的答案:【逻辑真的;逻辑必然的】9、问题：如果S是一个重言式，那么它也是（）语句。选项：A:逻辑真必然真C:矛盾的D:不可满足的答案:【逻辑真;必然真】10、问题：有些必然真语句不是（）。选项：A:可满足式B:逻辑真语句C:重言式D:矛盾式答案:【逻辑真语句;重言式;矛盾式】第八章单元测试1、问题：选项：A:对B:错答案:【对】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、问题：从前提P1，P2得到的一个矛盾^的证明，表明（）是不一致的。选项：A:B:C:D:答案:【;】第九章单元测试1、问题：选项：A:对B:错答案:【对】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:PB:QC:SD:R答案:【P;Q;S;R】10、问题：选项：A:B:C:D:答案:【;;;】第十章单元测试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:错答案:【对】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推出】第十二章单元测试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、问题：一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。选项：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、问题：每个逻辑真语句都是必然真语句。选项：A:对B:错答案:【对】4、问题：选项：A:自由出现B:约束出现，但不是自由出现C:不出现D:出现答案:【自由出现】5、问题：选项：A:约束出现，但不是自由出现B:自由出现C:不出现D:出现答案:【自由出现】6、问题：在中，（）表示个体常项。选项：A:PB:wC:aD:y答案:【a】7、问题：选项：A:B:C:D:答案:【;;】8、问题：下面哪些公式是亚里士多德语句形式。选项：A:B:C:D:答案:【;】9、问题：一个语言FOL可以没有谓词。（）选项：A:对B:错答案:【对】10、问题：一个开公式是至少有一个自由变项的公式。（）选项：A:对B:错答案:【对】第十四章单元测试1、问题：选项：A:对B:错答案:【对】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、问题：在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、问题：选项：A:对B:错答案:【对】4、问题：选项：A:对B:错答案:【错】5、问题：选项：A:这里c是定义域中的一个对象B:c必须是个体常项C:c是模块语言中的个体常项D:c是模块语言中的个体变项答案:【这里c是定义域中的一个对象】6、问题：选项：A:c是模块语言中的个体常项B:这里c是定义域中的一个对象C:c必须是个体常项D:c是模块语言中的个体变项答案:【这里c是定义域中的一个对象】7、问题：选项：A:B:C:D:答案:【】8、问题：选项：A:B:C:D:答案:【;;;】9、问题：在Fitch中，系统F的存在量词规则有（）。选项：A:存在量词引入规则B:存在量词消去规则C:存在量词规则D:存在量词化规则答案:【存在量词引入规则;存在量词消去规则】10、问题：