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:Play Game按钮
B:打印按钮
C:Verify按钮
D:New按钮
答案: 【New按钮】

5、单选题：
要删除一个世界文件的方法之一是（）。
选项：
A:在File菜单中，点击Clear命令
B:点击New按钮
C:Verify按钮
D:点击Play Game按钮
答案: 【在File菜单中，点击Clear命令】

6、单选题：
当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。
选项：
A:T
B:*
C:F
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 Premise命令
B:Add Step After命令
C:Delete命令
D:Add Step Before命令
答案: 【Add Step Before命令】

5、单选题：
表示焦点滑块的符号是（）。
选项：
A:红色的三角形图标
B:问号图标
C:圆圈图标
D:Ö 图标
答案: 【红色的三角形图标】

6、单选题：
在Fitch的Proof菜单中，Collapse Subproof命令表示（）。
选项：
A:删除子证明
B:压缩子证明
C:展开子证明
D:保存子证明
答案: 【压缩子证明】

7、多选题：
Fitch中证明窗口的语句可以粘贴到（）中。
选项：
A:Word 文档
B:Tarski’s World
C:Fitch的目标窗口
D:Boole
答案: 【Word 文档;
Tarski’s World;
Fitch的目标窗口;
Boole】

8、多选题：
Fitch中的联结词规则分为（）。
选项：
A:结论规则
B:引入规则
C:消去规则
D:引理
答案: 【引入规则;
消去规则】

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

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