实验逻辑学智慧树知到课后章节答案2023年下南开大学

实验逻辑学智慧树知到课后章节答案2023年下南开大学南开大学

绪论单元测试

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:PlayGame按钮B:打印按钮C:New按钮D:Verify按钮

答案:New按钮

要删除一个世界文件的方法之一是（）。

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

C:点击New按钮D:点击PlayGame按钮

答案:在File菜单中，点击Clear命令

当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。

A:*B:TC:FD:+

答案:+

在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:AddPremise命令C:AddStepAfter命令D:AddStepBefore命令

答案:AddStepBefore命令

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

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

D:问号图标

答案:红色的三角形图标

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

A:展开子证明B:保存子证明

C:删除子证明D:压缩子证明

答案:压缩子证明

Fitch中证明窗口的语句可以粘贴到（）中。

A:BooleB:Word文档

C:Fitch的目标窗口D:Tarski’sWorld

答案:Boole;Word文档

;Fitch的目标窗口;Tarski’sWorld

Fitch中的联结词规则分为（）。

A:引入规则B:消去规则C:结论规则

D:引理

答案:引入规则;消去规则

在Fitch中，检查一个步骤是否正确，点击工具栏中的CheckStep后，可能出现下面哪些符号？（）

A:×B:c

C:√D:?

答案:×;√;?

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:12B:6C:25D:1

答案:6

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

A:25B:1

C:6D:12

答案:1

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

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

答案:12

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

A:aB:xC:yD:b

答案:a;b

在Tarski’sWorld的模块语言中，个体变项是（）。

A:yB:aC:bD:x

答案:y;x

在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¹a)

B: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:逻辑不可能的C:逻辑真的D:Tarskis’World必然真的

答案:逻辑必然的;逻辑真的

如果S是一个重言式，那么它也是（）语句。

A:逻辑真B:不可满足的

C:矛盾的D:Tarskis’World必然真

答案:逻辑真;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:S

B:QC:RD:P

答案:S

;Q;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:Q可以从P推出C:P不能从Q推出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:yC:wD: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必须是个体常项B:这里c是定义域中的一个对象C:c是Tarski’sWorld模块语言中的个体变项

D:c是Tarski’sWorld模块语言中的个体常项

答案:c必须是个体常项

A:B:C:D:

答案:

A:B:C:D:

答案:;;;

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

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

答