举啤持禽祭袒诗呐磋懈伟劲卿
下广九违跋犀娟限江趟秒绵泵
实验逻辑学 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:错
答案: 错
完整版答案需支付5元购买，完整答案是全部章节的课后答案。制作这些答案花费了很多心血，希望大家理解，如需购买请点击下方红字：
注意：完整答案是全部的课后答案，无期末答案！
萌面人优惠券
一键领取淘宝，天猫，京东，拼多多无门槛优惠券，购物省省省！
如需了解详情请点击下方红字：
萌面人优惠券APP下载
支持安卓，苹果，PC电脑等设备，可查看各种大学网课答案，可一键领取淘宝，天猫，京东，拼多多无门槛优惠券
详情请点击下方红字：
更多信息：如何找到本平台？
方法一：
点击下方红字，访问萌面人资料铺
方法二：
搜狗搜索：萌面人资料铺 认准域名：www.xuexianswer.com 或者域名：xuexianswer.com 点击进入
方法三：
打开手机微信，扫一扫下方二维码，关注微信公众号：萌面人APP
本公众号可查看各种网课答案，还可免费查看大学教材答案
点击这里，可查看公众号功能介绍
为了下次更快打开本网站，建议在浏览器添加书签收藏本网页。
添加书签方法：
1.电脑按键盘的Ctrl键+D键即可收藏本网页
2.手机浏览器可以添加书签收藏本网页
贪唬疚帕剃深陡巳懈厂粮戈赁
颧沃佳滦沽寇螺小效凉闲幕菲