绪论 单元测试
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:Verify按钮
B:打印按钮
C:New按钮
D:Play Game按钮
正确答案:【New按钮】
5、单选题：
要删除一个世界文件的方法之一是（）。
A:点击Play Game按钮
B:在File菜单中，点击Clear命令
C:点击New按钮
D:
Verify按钮
正确答案:【在File菜单中，点击Clear命令】
6、单选题：
当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。
A:
*
B:F
C:+
D:T
正确答案:【+】
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 Before命令
B:Add Step After命令
C:
Add Premise命令
D:Delete命令
正确答案:【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:
Boole
D:
Fitch的目标窗口
正确答案:【
Word 文档
;
Tarski’s World
;
Boole
;
Fitch的目标窗口
】
8、多选题：
Fitch中的联结词规则分为（）。
A:引入规则
B:
结论规则
C:引理
D:消去规则
正确答案:【引入规则;消去规则】
9、多选题：
在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（）
A:√
B:×
C:?
D: c
正确答案:【√;×;?】
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:Boole帮你完成
B:自己手动完成
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:25
B:1
C:12
D:6
正确答案:【6】
5、单选题：
在Tarski’s World的模块语言中，只有（）个三元谓词。
A:6
B:12
C:25
D:1
正确答案:【1
】
6、单选题：
在Tarski’s World的模块语言中，只有（）个二元谓词。
A:25
B:6
C:1
D:12
正确答案:【12】
7、多选题：
在Tarski’s World的模块语言中，个体常项是（）。
A:x
B:b
C:a
D:
y
正确答案:【b;a】
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:Ø(a¹a)
C:b=c
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、判断题：
A:对
B:错
正确答案:【对】
2、判断题：
A:错
B:对
正确答案:【对】
3、判断题：
A:错
B:对
正确答案:【错】
4、判断题：
A:错
B:对
正确答案:【错】
5、单选题：
A:
B:
C:
D:
正确答案:【】
如有任何疑问请及时联系QQ 50895809反馈
