2024知到答案 实验逻辑学 最新知到智慧树满分章节测试答案

绪论 单元测试

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:错
答案: 【
对
】