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

绪论 章节测试

1、选择题:
选项：
A:对
B:错
答案: 【对】
2、选择题:Boole中的语句不能粘贴到Fitch中。（ ）
选项：
A:对
B:错
答案: 【错】

第一章 章节测试

1、选择题:

要打开Tarski’s World，点击文件Tarski’s World.exe。
选项：
A:对
B:错
答案: 【对】

2、选择题:在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
选项：
A:对
B:错
答案: 【对】
3、选择题:在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
选项：
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:F
B:T
C:+
D:

*
答案: 【+】
7、选择题:

在Tarski’s World中，模块的大小有（ ）这几种情况。
选项：
A:大
B:中
C:小
D:

较小
答案: 【大;
中;
小】
8、选择题:

在Tarski’s World中，模块的形状有（ ）这几种情况。
选项：
A:锥体
B:立方体
C:十二面球体
D:

圆
答案: 【锥体;
立方体;
十二面球体】
9、选择题:

在Tarski’s World中，一个模块的名字可以有（ ）。
选项：
A:一个
B:两个
C:三个
D:

四个
答案: 【一个;
两个;
三个;

四个
】
10、选择题:Tarski’s World不允许给一个模块命名多个名字。
选项：
A:对
B:错
答案: 【错】

第二章 章节测试

1、选择题:要打开Fitch，点击文件Fitch.exe.
选项：
A:对
B:错
答案: 【对】
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:圆圈图标
C:问号图标
D:

Ö 图标
答案: 【红色的三角形图标 】
6、选择题:

在Fitch的Proof菜单中，Collapse Subproof命令表示（ ）。
选项：
A:展开子证明
B:删除子证明
C:压缩子证明
D:

保存子证明

 
答案: 【压缩子证明】
7、选择题:

Fitch中证明窗口的语句可以粘贴到（ ）中。
选项：
A:

Tarski’s World
B:
Fitch的目标窗口
C:
Boole
D:
Word 文档
 
答案: 【
Tarski’s World
;
Fitch的目标窗口
;
Boole
;
Word 文档
 
】
8、选择题:

Fitch中的联结词规则分为（ ）。
选项：
A:引理
B:引入规则
C:消去规则
D:

结论规则

 
答案: 【引入规则;
消去规则】
9、选择题:

在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（ ）
选项：
A:×
B: c 
C:√
D:?
答案: 【×;
√;
?】

10、选择题:Fitch与Tarski’s World不同，它没有自带的练习文件夹。
选项：
A:对
B:错
答案: 【错】

第三章 章节测试

1、选择题:要打开Boole，点击文件Boole.exe。
选项：
A:对
B:错
答案: 【对】[$]
2、选择题:在Boole中，要保存一份已完成的真值表，用Save As命令最安全。
选项：
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、选择题:

在Tarski’s World的模块语言中，只有（ ）个一元谓词。
选项：
A:1
B:6
C:12
D:25
答案: 【6】

5、选择题:

在Tarski’s World的模块语言中，只有（ ）个三元谓词。
选项：
A:1
B:6
C:12
D:25
答案: 【1
】

6、选择题:

在Tarski’s World的模块语言中，只有（ ）个二元谓词。
选项：
A:1
B:6
C:12
D:25
答案: 【12】

7、选择题:

在Tarski’s World的模块语言中，个体常项是（）。
选项：
A:a
B:x
C:b
D:

y
答案: 【a;
b】
8、选择题:

在Tarski’s World的模块语言中，个体变项是（）。
选项：
A:a
B:x
C:y
D:

b
答案: 【x;
y】
9、选择题:

在Tarski’s World的模块语言中，刻画性质和关系的谓词有（ ）。
选项：
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=a
B:b=c
C:a¹a
D:Ø(a¹a)
答案: 【a=a;
Ø(a¹a)
】
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、选择题:

有一些Tarski s’World 必然真语句是（ ）。

选项：
A:永假式 
B:矛盾式
C:可满足式  
D:重言式
答案: 【重言式】

8、选择题:

如果S是一个重言式，那么S是（ ）。
选项：
A:逻辑真的
B:逻辑不可能的
C:逻辑必然的
D:

Tarski s’World 必然真的

 
答案: 【逻辑真的;
逻辑必然的】
9、选择题:

如果S是一个重言式，那么它也是（ ）语句。
选项：
A:逻辑真
B:Tarski s’World 必然真
C:矛盾的
D:不可满足的

 
答案: 【逻辑真;
Tarski s’World 必然真】
10、选择题:

有些Tarski s’World 必然真语句不是（ ）。
选项：
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、选择题:

从前提P₁，P₂得到的一个矛盾^的证明，表明（ ）是不一致的。
选项：
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:P
B:Q
C:S 
D: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、选择题:每个逻辑真语句都是Tarski’s World必然真语句。
选项：
A:对
B:错
答案: 【对】
4、选择题:

选项：
A:自由出现
B:约束出现，但不是自由出现
C:不出现
D:出现
答案: 【自由出现】

5、选择题:
选项：
A:约束出现，但不是自由出现
B:自由出现
C:不出现
D:出现
答案: 【自由出现】
6、选择题:

在Tarski’s World中，（ ）表示个体常项。
选项：
A:P
B:w
C:a
D: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是Tarski’s World 模块语言中的个体常项
D:

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

 
答案: 【这里c是定义域中的一个对象】
6、选择题:
选项：
A:c是Tarski’s World 模块语言中的个体常项
B:这里c是定义域中的一个对象
C:c必须是个体常项
D:

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

 
答案: 【这里c是定义域中的一个对象】
7、选择题:
选项：
A:
B:
C:
D:
答案: 【】
8、选择题:
选项：
A:
B:
C:
D:
答案: 【;
;
;
】
9、选择题:

在Fitch中，系统F的存在量词规则有（ ）。
选项：
A:存在量词引入规则
B:存在量词消去规则
C:存在量词规则
D:存在量词化规则

 
答案: 【存在量词引入规则;
存在量词消去规则】
10、选择题:

 在Fitch中，系统F的全称量词规则有（ ）。
选项：
A:全称量词引入规则
B:全称量词规则
C:全称量词消去规则
D:全称量词化规则

 
答案: 【全称量词引入规则;
全称量词消去规则】

第十六章 章节测试

1、选择题:一个好的策略是找到一个非形式的证明然后试着形式化它。
选项：
A:对
B:错
答案: 【对】
2、选择题:在证明中,如果你遇到困难,请考虑用矛盾证明法。
选项：
A:对
B:错
答案: 【对】
3、选择题:倒推的方法在证明全称断言时不是非常有用的。
选项：
A:对
B:错
答案: 【错】
4、选择题:系统F不具有可靠性。（ ）
选项：
A:对
B:错
答案: 【错】
5、选择题:

在使用全称量词引入规则时,要求引入的常项c(  )出现在引入它的子证明的外面。
选项：
A:不能
B:可以
C:有时能
D:

有时不能
答案: 【不能】
6、选择题:

在使用存在量词消去规则时,要求引入的常项c(  )出现在引入它的子证明的外面。
选项：
A:有时能
B:不能
C:可以
D:有时不能

 
答案: 【不能】
7、选择题:倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？
选项：
A:
B:
C:
D:
答案: 【】
8、选择题:

可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（ ）。
选项：
A:一阶后承
B:逻辑后承
C:重言后承
D:塔斯基后承

 
答案: 【一阶后承;
逻辑后承】
9、选择题:倒推的方法在证明（）。
选项：
A:
全称断言时非常有用 
B:
在证明存在断言时没有用
C:
有时有用
D:有时没用
答案: 【
全称断言时非常有用 
;
在证明存在断言时没有用
】
10、选择题:

在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
选项：
A:全称量词消去规则
B:全称量词引入规则
C:存在量词消去规则
D:存在量词引入规则

 
答案: 【全称量词引入规则;
存在量词消去规则】[/$]