知道智慧树实验逻辑学满分测试答案

绪论单元测试1【判断题】(10分)A.对B.错2【判断题】(10分)Boole中的语句不能粘贴到Fitch中。（）A.对B.错第一章测试1【判断题】(10分)要打开Tarski’sWorld，点击文件Tarski’sWorld.exe。A.对B.错2【判断题】(10分)在Tarski’sWorld中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。A.错B.对3【判断题】(10分)在Tarski’sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。A.对B.错4【单选题】(10分)在棋盘上放置一个模块，点击工具栏中的（）。A.PlayGame按钮B.Verify按钮C.New按钮D.打印按钮5【单选题】(10分)要删除一个世界文件的方法之一是（）。A.在File菜单中，点击Clear命令B.Verify按钮C.点击PlayGame按钮D.点击New按钮6【单选题】(10分)当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。A.TB.+C.FD.*7【多选题】(10分)在Tarski’sWorld中，模块的大小有（）这几种情况。A.较小B.中C.小D.大8【多选题】(10分)在Tarski’sWorld中，模块的形状有（）这几种情况。A.圆B.十二面球体C.锥体D.立方体9【多选题】(10分)在Tarski’sWorld中，一个模块的名字可以有（）。A.三个B.一个C.四个D.两个10【判断题】(10分)Tarski’sWorld不允许给一个模块命名多个名字。A.对B.错第二章测试1【判断题】(10分)要打开Fitch，点击文件Fitch.exe.A.错B.对2【判断题】(10分)在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。A.错B.对3【判断题】(10分)在Fitch中，要保存一份已完成的证明，用SaveAs命令。A.对B.错4【单选题】(10分)在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。A.AddStepBefore命令B.AddPremise命令C.Delete命令D.AddStepAfter命令5【单选题】(10分)表示焦点滑块的符号是（）。A.Ö图标B.问号图标C.圆圈图标D.红色的三角形图标6【单选题】(10分)在Fitch的Proof菜单中，CollapseSubproof命令表示（）。A.展开子证明B.保存子证明C.压缩子证明D.删除子证明7【多选题】(10分)Fitch中证明窗口的语句可以粘贴到（）中。A.BooleB.Tarski’sWorldC.Word文档D.Fitch的目标窗口8【多选题】(10分)Fitch中的联结词规则分为（）。A.引理B.结论规则C.引入规则D.消去规则9【多选题】(10分)在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，可能出现下面哪些符号？（）A.cB.√C.×D.?10【判断题】(10分)Fitch与Tarski’sWorld不同，它没有自带的练习文件夹。A.对B.错第三章测试1【判断题】(10分)要打开Boole，点击文件Boole.exe。A.对B.错2【判断题】(10分)在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。A.对B.错3【判断题】(10分)在Boole中，创建参考列，最好让Boole帮你完成。A.错B.对4【单选题】(10分)在Boole中，创建一个新的真值表有：（）。A.四个步骤B.两个步骤C.一个步骤D.三个步骤5【单选题】(10分)在Boole中，验证一个真值表包含：（）。A.一个步骤B.三个步骤C.四个步骤D.两个步骤6【单选题】(10分)在Boole中，Help菜单可以使你在使用Boole时获得帮助，还可以（）。A.检查真值表是否正确B.检查是否可以更新C.构造真值表D.建立参考列7【多选题】(10分)在Boole中，验证一个真值表包含：（）。A.检验你的评价是否正确B.验证参考列C.检验表的完全性和正确性D.验证表的每一行8【多选题】(10分)建立参照列的方法有（）。A.同学帮你完成B.老师帮你完成C.Boole帮你完成D.自己手动完成9【多选题】(10分)创建一个新的真值表的步骤有（）。A.建立参考列B.指定目标语句C.计算结果D.填入真值10【判断题】(10分)Boole与Fitch相同，也有一个自带的练习文件夹。（）A.错B.对第四章测试1【判断题】(10分)在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。A.对B.错2【判断题】(10分)一个个体常项不能命名多个对象。A.错B.对3【判断题】(10分)一个对象不能有多个名字。A.对B.错4【单选题】(10分)在Tarski’sWorld的模块语言中，只有（）个一元谓词。A.12B.6C.1D.255【单选题】(10分)在Tarski’sWorld的模块语言中，只有（）个三元谓词。A.12B.6C.25D.16【单选题】(10分)在Tarski’sWorld的模块语言中，只有（）个二元谓词。A.12B.6C.1D.257【多选题】(10分)在Tarski’sWorld的模块语言中，个体常项是（）。A.aB.yC.xD.b8【多选题】(10分)在Tarski’sWorld的模块语言中，个体变项是（）。A.aB.xC.yD.b9【多选题】(10分)在Tarski’sWorld的模块语言中，刻画性质和关系的谓词有（）。A.三元谓词B.一元谓词C.四元谓词D.二元谓词10【判断题】(10分)A.错B.对第五章测试1【判断题】(10分)非形式证明和形式证明在风格上不同。A.对B.错2【判断题】(10分)形式证明和非形式证明在严谨性上相同。A.错B.对3【判断题】(10分)形式证明比非形式证明严谨。A.错B.对4【单选题】(10分)一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（）。A.结论B.子结论C.后承D.前提5【单选题】(10分)如果在前提是真实的任何情况下结论必须是真的，则称论证是（）。A.无效的B.有效的C.可靠的D.完全的6【单选题】(10分)逻辑上有效的论证的结论是其前提的（）。A.三个前件B.一个前件C.两个前件D.一个逻辑后承7【多选题】(10分)一个论证是可靠的，需要满足下面的哪些条件。A.有效的B.有真有假的C.前提和结论都真D.假的8【多选题】(10分)每个n元谓词被解释为一个与谓词有相同元数的（）。A.关系B.个体常项C.个体词D.性质9【多选题】(10分)恒等的自反性是指：（）。A.b=cB.a¹aC.Ø(a¹a)D.a=a10【判断题】(10分)形式证明比非形式证明简单。（）A.错B.对第六章测试1【判断题】(10分)A.对B.错2【判断题】(10分)A.对B.错3【判断题】(10分)A.错B.对4【判断题】(10分)A.错B.对5【单选题】(10分)A.B.C.D.6【单选题】(10分)如果P和Q是FOL语句，那么（）也是。A.B.C.D.7【单选题】(10分)A.假、假B.假、真C.真、假D.真、真8【多选题】(10分)A.B.C.D.9【多选题】(10分)A.B.C.D.10【多选题】(10分)A.B.C.D.第七章测试1【判断题】(10分)A.错B.对2【判断题】(10分)A.错B.对3【判断题】(10分)A.对B.错4【判断题】(10分)A.错B.对5【单选题】(10分)A.B.C.D.6【单选题】(10分)S是一个重言式当且仅当S的真值表的每一行的真值（）。A.有真有假B.都为真C.都为假D.有假有真7【单选题】(10分)有一些Tarskis’World必然真语句是（）。A.矛盾式B.永假式C.可满足式D.重言式8【多选题】(10分)如果S是一个重言式，那么S是（）。A.Tarskis’World必然真的B.逻辑真的C.逻辑必然的D.逻辑不可能的9【多选题】(10分)如果S是一个重言式，那么它也是（）语句。A.逻辑真B.矛盾的C.不可满足的D.Tarskis’World必然真10【多选题】(10分)有些Tarskis’World必然真语句不是（）。A.重言式B.逻辑真语句C.矛盾式D.可满足式第八章测试1【判断题】(10分)A.对B.错2【判断题】(10分)A.错B.对3【判断题】(10分)A.对B.错4【判断题】(10分)A.错B.对5【单选题】(10分)没有前提的一个证明表明它是系统的一条（）。A.可满足式B.矛盾式C.逻辑后承D.定理6【单选题】(10分)A.B.C.D.7【单选题】(10分)A.B.C.D.8【多选题】(10分)A.B.C.D.9【多选题】(10分)A.B.C.D.10【多选题】(10分)从前提P1，P2得到的一个矛盾^的证明，表明（）是不一致的。A.B.C.D.第九章测试1【判断题】(10分)A.对B.错2【判断题】(10分)A.对B.错3【判断题】(10分)A.对B.错4【判断题】(10分)A.对B.错5【单选题】(10分)没有前提的一个证明表明它的结论是一条（）。A.逻辑真理B.矛盾式C.可满足式D.永假式6【单选题】(10分)A.B.C.D.7【单选题】(10分)A.B.C.D.8【多选题】(10分)A.B.C.D.9【多选题】(10分)A.PB.SC.QD.R10【多选题】(10分)A.B.C.D.第十章测试1【判断题】(10分)A.对B.错2【判断题】(10分)A.对B.错3【判断题】(10分)A.对B.错4【单选题】(10分)A.B.C.D.5【单选题】(10分)A.B.C.D.6【单选题】(10分)A.重言等值B.重言式C.逻辑真语句D.矛盾式7【多选题】(10分)A.B.C.D.8【多选题】(10分)A.B.C.D.9【多选题】(10分)德摩根律是指：（）。A.B.C.D.10【判断题】(10分)A.对B.错第十一章测试第1部分总题数:101【判断题】(10分)A.错B.对2【判断题】(10分)A.对B.错3【判断题】(10分)A.错B.对4【判断题】(10分)A.错B.对5【单选题】(10分)A.B.C.D.6【单选题】(10分)A.B.C.D.7【单选题】(10分)A.B.C.D.8【多选题】(10分)A.B.C.D.9【多选题】(10分)A.B.C.D.10【多选题】(10分)在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。A.Q不能从P推出B.Q可以从P推出C.P可以从Q推出D.P不能从Q推出第十二章测试1【判断题】(10分)一阶语言FOL有无穷多个变项。A.对B.错2【判断题】(10分)一个语句（闭公式）是一个没有自由变项的公式。A.对B.错3【判断题】(10分)每个逻辑真语句都是重言式。A.对B.错4【判断题】(10分)一个一阶语言FOL不可以没有常项。（）A.错B.对5【单选题】(10分)A.不出现B.约束出现，但不是自由出现C.自由出现D.出现6【单选题】(10分)A.不出现B.自由出现C.约束出现，但不是自由出现D.出现7【单选题】(10分)一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。A.可满足式B.矛盾式C.永假式D.重言式8【多选题】(10分)A.B.C.D.9【多选题】(10分)所有重言式都是（）。A.逻辑真的B.不是一阶有效式C.一阶有效的D.塔斯基世界必然真的10【多选题】(10分)下面哪些公式是亚里士多德语句形式。A.B.C.D.第十三章测试1【判断题】(10分)一阶语言FOL有无穷多个常项。A.对B.错2【判断题】(10分)一个语句（闭公式）是一个没有自由变项的公式。A.对B.错3【判断题】(10分)每个逻辑真语句都是Tarski’sWorld必然真语句。A.对B.错4【单选题】(10分)A.出现B.自由出现C.不出现D.约束出现，但不是自由出现5【单选题】(10分)A.约束出现，但不是自由出现B.不出现C.出现D.自由出现6【单选题】(10分)在Tarski’sWorld中，（）表示个体常项。A.yB.PC.aD.w7【多选题】(10分)A.B.C.D.8【多选题】(10分)下面哪些公式是亚里士多德语句形式。A.B.C.D.9【判断题】(10分)一个语言FOL可以没有谓词。（）A.错B.对10【判断题】(10分)一个开公式是至少有一个自由变项的公式。（）A.对B.错第十四章测试1【判断题】(10分)A.对B.错2【判断题】(10分)A.对B.错3【判断题】(10分)A.错B.对4【判断题】(10分)A.错B.对5【单选题】(10分)A.某一立方体都在每一锥体的左边B.某一立方体在某一锥体的左边C.每一立方体都在某一锥体的左边D.每一立方体都在每一锥体的左边6【单选题】(10分)A.每一立方体都在每一锥体的左边B.某一立方体都在每一锥体的左边C.某一立方体在某一锥体的左边D.每一立方体都在某一锥体的左边7【单选题】(10分)A.B.C.D.8【多选题】(10分)在Fitch中，系统F的全称量词规则有（）。A.全称量词规则B.全称量词消去规则C.全称量化词规则D.全称量词引入规则9【多选题】(10分)在Fitch中，系统F的存在量词规则有（）。A.存在量词规则B.存在量词消去规则C.存在量化词规则D.存在量词引入规则10【多选题】(10分)A.B.C.D.第十五章测试1【判断题】(10分)A.错B.对2【判断题】(10分)A.对B.错3【判断题】(10分)A.对B.错4【判断题】(10分)A.对B.错5【单选题】(10分)A.c必须是个体常项B.c是Tarski’sWorld模块语言中的个体常项C.这里c是定义域中的一个对象D.c是Tarski’sWorld模块语言中的个体变项6【单选题】(10分)A.c是Tarski’sWorld模块语言中的个体变项B.c必须是个体常项C.c是Tarski’sWorld模块语言中的个体常项D.这里c是定义域中的一个对象7【单选题】(10分)A.B.C.D.8【多选题】(10分)A.B.C.D.9【多选题】(10分)在Fitch中，系统F的存在量词规则有（）。A.存在量词引入规