实验逻辑学知到智慧树章节测试课后答案2024年秋南开大学

实验逻辑学知到智慧树章节测试课后答案2024年秋南开大学绪论单元测试

A:对B:错

答案:对Boole中的语句不能粘贴到Fitch中。（）

A:错B:对

答案:错

第一章单元测试

要打开Tarski’sWorld，点击文件Tarski’sWorld.exe。

A:错B:对

答案:对在Tarski’sWorld中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。

A:对B:错

答案:对在Tarski’sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。

A:对B:错

答案:错在棋盘上放置一个模块，点击工具栏中的（）。

A:New按钮B:PlayGame按钮C:打印按钮D:Verify按钮

答案:New按钮要删除一个世界文件的方法之一是（）。

A:点击New按钮B:在File菜单中，点击Clear命令C:Verify按钮

D:点击PlayGame按钮

答案:在File菜单中，点击Clear命令当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。

A:FB:TC:+D:*

答案:+在Tarski’sWorld中，模块的大小有（）这几种情况。

A:大B:较小C:小D:中

答案:大；小；中在Tarski’sWorld中，模块的形状有（）这几种情况。

A:锥体B:圆C:十二面球体D:立方体

答案:锥体；十二面球体；立方体在Tarski’sWorld中，一个模块的名字可以有（）。

A:两个B:一个C:四个D:三个

答案:两个；一个；四个；三个Tarski’sWorld不允许给一个模块命名多个名字。

A:对B:错

答案:错

第二章单元测试

要打开Fitch，点击文件Fitch.exe.

A:错B:对

答案:对在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。

A:对B:错

答案:对在Fitch中，要保存一份已完成的证明，用SaveAs命令。

A:错B:对

答案:对在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。

A:Delete命令B:AddStepAfter命令C:AddPremise命令D:AddStepBefore命令

答案:AddStepBefore命令

表示焦点滑块的符号是（）。

A:Ö图标B:圆圈图标C:问号图标D:红色的三角形图标

答案:红色的三角形图标

在Fitch的Proof菜单中，CollapseSubproof命令表示（）。

A:压缩子证明B:保存子证明

C:删除子证明D:展开子证明

答案:压缩子证明Fitch中证明窗口的语句可以粘贴到（）中。

A:Tarski’sWorldB:Word文档

C:Fitch的目标窗口D:Boole

答案:Tarski’sWorld；Word文档

；Fitch的目标窗口；BooleFitch中的联结词规则分为（）。

A:引理B:结论规则

C:引入规则D:消去规则

答案:引入规则；消去规则在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，可能出现下面哪些符号？（）

A:?B:×C:√D:c

答案:?；×；√Fitch与Tarski’sWorld不同，它没有自带的练习文件夹。

A:对B:错

答案:错

第三章单元测试

要打开Boole，点击文件Boole.exe。

A:错B:对

答案:对在Boole中，要保存一份已完成的真值表，用SaveAs命令最安全。

A:对B:错

答案:对在Boole中，创建参考列，最好让Boole帮你完成。

A:错B:对

答案:错在Boole中，创建一个新的真值表有：（）。

A:两个步骤B:一个步骤C:三个步骤D:四个步骤

答案:三个步骤在Boole中，验证一个真值表包含：（）。

A:一个步骤B:两个步骤

C:三个步骤D:四个步骤

答案:三个步骤在Boole中，Help菜单可以使你在使用Boole时获得帮助，还可以（）。

A:检查是否可以更新B:构造真值表C:检查真值表是否正确D:建立参考列

答案:检查是否可以更新在Boole中，验证一个真值表包含：（）。

A:检验表的完全性和正确性B:验证表的每一行C:验证参考列D:检验你的评价是否正确

答案:检验表的完全性和正确性；验证表的每一行；验证参考列；检验你的评价是否正确建立参照列的方法有（）。

A:Boole帮你完成

B:自己手动完成C:老师帮你完成D:同学帮你完成

答案:Boole帮你完成

；自己手动完成创建一个新的真值表的步骤有（）。

A:建立参考列B:计算结果

C:填入真值D:指定目标语句

答案:建立参考列；计算结果

；填入真值；指定目标语句

Boole与Fitch相同，也有一个自带的练习文件夹。（）

A:对B:错

答案:错

第四章单元测试

在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。

A:错B:对

答案:对一个个体常项不能命名多个对象。

A:错B:对

答案:对一个对象不能有多个名字。

A:错B:对

答案:错在Tarski’sWorld的模块语言中，只有（）个一元谓词。

A:1B:25C:12D:6

答案:6在Tarski’sWorld的模块语言中，只有（）个三元谓词。

A:6B:12C:1

D:25

答案:1

在Tarski’sWorld的模块语言中，只有（）个二元谓词。

A:6B:25C:1D:12

答案:12在Tarski’sWorld的模块语言中，个体常项是（）。

A:yB:xC:aD:b

答案:a；b在Tarski’sWorld的模块语言中，个体变项是（）。

A:xB:bC:aD:y

答案:x；y在Tarski’sWorld的模块语言中，刻画性质和关系的谓词有（）。

A:二元谓词B:三元谓词C:四元谓词D:一元谓词

答案:二元谓词；三元谓词；一元谓词

A:错B:对

答案:错

第五章单元测试

非形式证明和形式证明在风格上不同。

A:错B:对

答案:对形式证明和非形式证明在严谨性上相同。

A:错B:对

答案:对形式证明比非形式证明严谨。

A:对B:错

答案:错一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（）。

A:前提B:后承C:子结论D:结论

答案:前提如果在前提是真实的任何情况下结论必须是真的，则称论证是（）。

A:可靠的B:有效的C:完全的D:无效的

答案:有效的逻辑上有效的论证的结论是其前提的（）。

A:三个前件

B:一个前件C:两个前件D:一个逻辑后承

答案:一个逻辑后承一个论证是可靠的，需要满足下面的哪些条件。

A:前提和结论都真B:假的C:有效的D:有真有假的

答案:前提和结论都真；有效的每个n元谓词被解释为一个与谓词有相同元数的（）。

A:性质B:个体常项

C:个体词D:关系

答案:性质；关系恒等的自反性是指：（）。

A:a¹aB:b=cC:a=aD:Ø(a¹a)

答案:a=a；Ø(a¹a)

形式证明比非形式证明简单。（）

A:错B:对

答案:错

第六章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:对B:错

答案:对

A:对B:错

答案:错

A:B:C:D:

答案:如果P和Q是FOL语句，那么（）也是。

A:B:C:D:

答案:

A:真、真B:真、假C:假、假D:假、真

答案:真、真

A:B:C:D:

答案:；

A:B:C:D:

答案:；

A:B:C:D:

答案:；；；

第七章单元测试

A:对B:错

答案:对

A:对B:错

答案:对

A:对B:错

答案:错

A:错B:对

答案:错

A:B:C:D:

答案:S是一个重言式当且仅当S的真值表的每一行的真值（）。

A:都为假B:有真有假C:都为真D:有假有真

答案:都为真有一些Tarskis’World必然真语句是（）。

A:永假式

B:重言式C:可满足式

D:矛盾式

答案:重言式如果S是一个重言式，那么S是（）。

A:逻辑不可能的B:Tarskis’World必然真的

C:逻辑真的D:逻辑必然的

答案:逻辑真的；逻辑必然的如果S是一个重言式，那么它也是（）语句。

A:逻辑真B:Tarskis’World必然真C:不可满足的

D:矛盾的

答案:逻辑真；Tarskis’World必然真有些Tarskis’World必然真语句不是（）。

A:逻辑真语句B:重言式C:矛盾式

D:可满足式

答案:逻辑真语句；重言式；矛盾式

第八章单元测试

A:对B:错

答案:对

A:对B:错

答案:对

A:对B:错

答案:错

A:错B:对

答案:对没有前提的一个证明表明它是系统的一条（

）。

A:定理

B:逻辑后承C:可满足式D:矛盾式

答案:定理

A:B:C:D:

答案:

A:B:C:D:

答案:

A:B:C:D:

答案:；

A:假设B:C:证明D:

答案:假设；证明

A:B:C:D:

答案:；

第九章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:错B:对

答案:错

A:对B:错

答案:错没有前提的一个证明表明它的结论是一条（）。

A:可满足式

B:逻辑真理C:矛盾式D:永假式

答案:逻辑真理

A:B:C:D:

答案:

A:B:C:D:

答案:

A:B:C:D:

答案:；

A:QB:S

C:RD:P

答案:Q；S

；R；P

A:B:C:D:

答案:；；；

第十章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:对B:错

答案:错

A:B:C:D:

答案:

A:B:C:D:

答案:

A:重言等值

B:逻辑真语句C:重言式D:矛盾式

答案:重言等值

A:B:C:D:

答案:；

A:B:C:D:

答案:；；德摩根律是指：（）。

A:B:C:D:

答案:；

A:对B:错

答案:对

第十一章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:对B:错

答案:错

A:对B:错

答案:错

A:B:C:D:

答案:

A:B:C:D:

答案:

A:B:C:D:

答案:

A:B:C:D:

答案:；；

A:B:C:D:

答案:；；；在Fitch中，等值引入规则要求给出两个子证明，它们表明（）。

A:P可以从Q推出B:P不能从Q推出C:Q可以从P推出D:Q不能从P推出

答案:P可以从Q推出；Q可以从P推出

第十二章单元测试

一阶语言FOL有无穷多个变项。

A:错B:对

答案:对一个语句（闭公式）是一个没有自由变项的公式。

A:对B:错

答案:对每个逻辑真语句都是重言式。

A:对B:错

答案:错一个一阶语言FOL不可以没有常项。（）

A:错B:对

答案:错

A:约束出现，但不是自由出现B:自由出现C:出现

D:不出现

答案:自由出现

A:自由出现B:不出现C:出现D:约束出现，但不是自由出现

答案:自由出现一个量化语句是一个重言式当且仅当它的真值函项形式是一个（）。

A:永假式

B:可满足式C:矛盾式D:重言式

答案:重言式

A:B:C:D:

答案:；所有重言式都是（）。

A:一阶有效的B:逻辑真的C:塔斯基世界必然真的D:不是一阶有效式

答案:一阶有效的；逻辑真的；塔斯基世界必然真的下面哪些公式是亚里士多德语句形式。

A:B:C:D:

答案:；；

第十三章单元测试

一阶语言FOL有无穷多个常项。

A:对B:错

答案:错一个语句（闭公式）是一个没有自由变项的公式。

A:对B:错

答案:对每个逻辑真语句都是Tarski’sWorld必然真语句。

A:错B:对

答案:对

A:出现B:不出现C:自由出现D:约束出现，但不是自由出现

答案:自由出现

A:自由出现B:出现C:约束出现，但不是自由出现D:不出现

答案:自由出现在Tarski’sWorld中，（）表示个体常项。

A:PB:wC:yD:a

答案:a

A:B:C:D:

答案:；；

下面哪些公式是亚里士多德语句形式。

A:B:C:D:

答案:；一个语言FOL可以没有谓词。（）

A:错B:对

答案:对一个开公式是至少有一个自由变项的公式。（）

A:错B:对

答案:对

第十四章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:对B:错

答案:对

A:错B:对

答案:错

A:某一立方体都在每一锥体的左边B:每一立方体都在某一锥体的左边C:每一立方体都在每一锥体的左边

D:某一立方体在某一锥体的左边

答案:某一立方体在某一锥体的左边

A:某一立方体在某一锥体的左边B:每一立方体都在每一锥体的左边C:每一立方体都在某一锥体的左边D:某一立方体都在每一锥体的左边

答案:每一立方体都在每一锥体的左边

A:B:

C:D:

答案:在Fitch中，系统F的全称量词规则有（）。

A:全称量化词规则

B:全称量词规则C:全称量词消去规则D:全称量词引入规则

答案:全称量词消去规则；全称量词引入规则在Fitch中，系统F的存在量词规则有（）。

A:存在量词消去规则B:存在量词规则C:存在量词引入规则D:存在量化词规则

答案:存在量词消去规则；存在量词引入规则

A:B:C:D:

答案:；；

第十五章单元测试

A:对B:错

答案:对

A:错B:对

答案:对

A:对B:错

答案:对

A:错B:对

答案:错

A:

c是Tarski’sWorld模块语言中的个体变项

B:c是Tarski’sWorld模块语言中的个体常项C:这里c是定义域中的一个对象D:c必须是个体常项

答案:c必须是个体常项

A:c是Tarski’sWorld模块语言中的个体常项B:c必须是个体常项C:这里c是定义域中的一个对象D:c是Tarski’sWorld模块语言中的个体变项

答案:c必须是个体常项

A:B:C:D:

答案:

A:B:C:D:

答案:；；；在Fitch中，系统F的存在量词规则有（）。

A:存在量词引入规则B:存在量词消去规则C:存在量词化规则

D:存在量词规则

答案:存在量词引入