习吕茨唐奋肥加互歉突峦盎把
绪论 单元测试
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.按键盘的ctrl键+D键，收藏本页面
2.下次如何查看收藏的网页？
点击浏览器右上角-【工具】或者【收藏夹】查看收藏的网页
手机浏览器添加/查看书签方法
一、百度APP添加/查看书签方法
1.点击底部五角星收藏本网页
2.下次如何查看收藏的网页？
点击右上角【┇】-再点击【收藏中心】查看
二、其他手机浏览器添加/查看书签方法
1.点击【设置】-【添加书签】收藏本网页
2.下次如何查看收藏的网页？
点击【设置】-【书签/历史】查看收藏的网页
胆邦付界瓮翱宽歉连馁看陕揣