智慧树知到《实验逻辑学》章节测试答案

绪论单元测试

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中证明窗口的语句可以粘贴到（）中。