绪论 单元测试
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:
同学帮你完成
答案:
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
答案:
5、单选题：
在Tarski’s World的模块语言中，只有（ ）个三元谓词。
选项：
A:6
B:12
C:25
D:1
答案:
6、单选题：
在Tarski’s World的模块语言中，只有（ ）个二元谓词。
选项：
A:25
B:6
C:1
D:12
答案:
7、多选题：
在Tarski’s World的模块语言中，个体常项是（）。
选项：
A:x
B:b
C:a
D:
y
答案:
8、多选题：
在Tarski’s World的模块语言中，个体变项是（）。
选项：
A:a
B:x
C:y
D:
b
答案:
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
答案:
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:
答案:
6、单选题：
S是一个重言式当且仅当S的真值表的每一行的真值（ ）。
选项：
A:都为假
B:都为真
C:有假有真
D:有真有假
答案:
7、单选题：
有一些Tarski s’World 必然真语句是（ ）。
选项：
A:重言式
B:可满足式
C:矛盾式
D:永假式
答案:
8、多选题：
如果S是一个重言式，那么S是（ ）。
选项：
A:逻辑必然的
B:
Tarski s’World 必然真的
C:逻辑真的
D:逻辑不可能的
答案:
9、多选题：
如果S是一个重言式，那么它也是（ ）语句。
选项：
A:Tarski s’World 必然真
B:不可满足的
C:矛盾的
D:逻辑真
答案:
10、多选题：
有些Tarski s’World 必然真语句不是（ ）。
选项：
A:重言式
B:
矛盾式
C:逻辑真语句
D:可满足式
答案:
第八章 单元测试
1、判断题：
选项：
A:错
B:对
答案:
2、判断题：
选项：
A:错
B:对
答案:
3、判断题：
选项：
A:错
B:对
答案:
4、判断题：
选项：
A:对
B:错
答案:
5、单选题：
没有前提的一个证明表明它是系统的一条（ ）。
选项：
A:矛盾式
B:定理
C:可满足式
D:逻辑后承
答案:
6、单选题：
选项：
A:
B:
C:
D:
答案:
7、单选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
选项：
A:
B:
C:
D:
答案:
9、多选题：
选项：
A:
B:
C:
D:
答案:
10、多选题：
从前提P1，P2得到的一个矛盾^的证明，表明（ ）是不一致的。
选项：
A:
B:
C:
D:
答案:
第九章 单元测试
1、判断题：
选项：
A:对
B:错
答案:
2、判断题：
选项：
A:对
B:错
答案:
3、判断题：
选项：
A:对
B:错
答案:
4、判断题：
选项：
A:对
B:错
答案:
5、单选题：
没有前提的一个证明表明它的结论是一条（ ）。
选项：
A:矛盾式
B:可满足式
C:逻辑真理
D:永假式
答案:
6、单选题：
选项：
A:
B:
C:
D:
答案:
7、单选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
选项：
A:
B:
C:
D:
答案:
9、多选题：
选项：
A:R
B:P
C:Q
D:S
答案:
10、多选题：
选项：
A:
B:
C:
D:
答案:
第十章 单元测试
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、多选题：
选项：
A:
B:
C:
D:
答案:
9、多选题：
德摩根律是指：（ ）。
选项：
A:
B:
C:
D:
答案:
10、判断题：
选项：
A:错
B:对
答案:
第十一章 单元测试
1、判断题：
选项：
A:错
B:对
答案:
2、判断题：
选项：
A:错
B:对
答案:
3、判断题：
选项：
A:对
B:错
答案:
4、判断题：
选项：
A:对
B:错
答案:
5、单选题：
选项：
A:
B:
C:
D:
答案:
6、单选题：
选项：
A:
B:
C:
D:
答案:
7、单选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
选项：
A:
B:
C:
D:
答案:
9、多选题：
选项：
A:
B:
C:
D:
答案:
10、多选题：
在Fitch中，等值引入规则要求给出两个子证明，它们表明（ ）。
选项：
A:P不能从Q推出
B:Q可以从P推出
C:Q不能从P推出
D:P可以从Q推出
答案:
第十二章 单元测试
1、判断题：
一阶语言FOL有无穷多个变项。
选项：
A:错
B:对
答案:
2、判断题：
一个语句（闭公式）是一个没有自由变项的公式。
选项：
A:错
B:对
答案:
3、判断题：
每个逻辑真语句都是重言式。
选项：
A:对
B:错
答案:
4、判断题：
一个一阶语言FOL不可以没有常项。（ ）
选项：
A:对
B:错
答案:
5、单选题：
选项：
A:自由出现
B:不出现
C:约束出现，但不是自由出现
D:
出现
答案:
6、单选题：
选项：
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、判断题：
一阶语言FOL有无穷多个常项。
选项：
A:对
B:错
答案:
2、判断题：
一个语句（闭公式）是一个没有自由变项的公式。
选项：
A:对
B:错
答案:
3、判断题：
每个逻辑真语句都是Tarski’s World必然真语句。
选项：
A:错
B:对
答案:
4、单选题：
选项：
A:约束出现，但不是自由出现
B:自由出现
C:不出现
D:出现
答案:
5、单选题：
选项：
A:自由出现
B:不出现
C:出现
D:约束出现，但不是自由出现
答案:
6、单选题：
在Tarski’s World中，（ ）表示个体常项。
选项：
A:a
B:w
C:y
D:P
答案:
7、多选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
下面哪些公式是亚里士多德语句形式。
选项：
A:
B:
C:
D:
答案:
9、判断题：
一个语言FOL可以没有谓词。（ ）
选项：
A:错
B:对
答案:
10、判断题：
一个开公式是至少有一个自由变项的公式。（ ）
选项：
A:对
B:错
答案:
第十四章 单元测试
1、判断题：
选项：
A:错
B:对
答案:
2、判断题：
选项：
A:错
B:对
答案:
3、判断题：
选项：
A:错
B:对
答案:
4、判断题：
选项：
A:对
B:错
答案:
5、单选题：
选项：
A:每一立方体都在某一锥体的左边
B:某一立方体在某一锥体的左边
C:某一立方体都在每一锥体的左边
D:每一立方体都在每一锥体的左边
答案:
6、单选题：
选项：
A:每一立方体都在每一锥体的左边
B:每一立方体都在某一锥体的左边
C:某一立方体都在每一锥体的左边
D:某一立方体在某一锥体的左边
答案:
7、单选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
在Fitch中，系统F的全称量词规则有（ ）。
选项：
A:全称量化词规则
B:全称量词消去规则
C:全称量词引入规则
D:全称量词规则
答案:
9、多选题：
在Fitch中，系统F的存在量词规则有（ ）。
选项：
A:存在量词消去规则
B:存在量词规则
C:存在量化词规则
D:存在量词引入规则
答案:
10、多选题：
选项：
A:
B:
C:
D:
答案:
第十五章 单元测试
1、判断题：
选项：
A:错
B:对
答案:
2、判断题：
选项：
A:错
B:对
答案:
3、判断题：
选项：
A:错
B:对
答案:
4、判断题：
选项：
A:对
B:错
答案:
5、单选题：
选项：
A:
c是Tarski’s World 模块语言中的个体变项
B:c必须是个体常项
C:这里c是定义域中的一个对象
D:c是Tarski’s World 模块语言中的个体常项
答案:
6、单选题：
选项：
A:这里c是定义域中的一个对象
B:
c是Tarski’s World 模块语言中的个体变项
C:c必须是个体常项
D:c是Tarski’s World 模块语言中的个体常项
答案:
7、单选题：
选项：
A:
B:
C:
D:
答案:
8、多选题：
选项：
A:
B:
C:
D:
答案:
9、多选题：
在Fitch中，系统F的存在量词规则有（ ）。
选项：
A:存在量词规则
B:存在量词化规则
C:存在量词消去规则
D:存在量词引入规则
答案:
10、多选题：
在Fitch中，系统F的全称量词规则有（ ）。
选项：
A:全称量词引入规则
B:全称量词消去规则
C:全称量词规则
D:全称量词化规则
答案:
第十六章 单元测试
1、判断题：
一个好的策略是找到一个非形式的证明然后试着形式化它。
选项：
A:错
B:对
答案:
2、判断题：
在证明中,如果你遇到困难,请考虑用矛盾证明法。
选项：
A:对
B:错
答案:
3、判断题：
倒推的方法在证明全称断言时不是非常有用的。
选项：
A:错
B:对
答案:
4、判断题：
系统F不具有可靠性。（ ）
选项：
A:对
B:错
答案:
5、单选题：
在使用全称量词引入规则时,要求引入的常项c( )出现在引入它的子证明的外面。
选项：
A:
有时不能
B:有时能
C:不能
D:可以
答案:
6、单选题：
在使用存在量词消去规则时,要求引入的常项c( )出现在引入它的子证明的外面。
选项：
A:有时能
B:不能
C:有时不能
D:可以
答案:
7、单选题：
倒推的方法在证明全称断言时，对于下面哪种形式的公式有用？
选项：
A:
B:
C:
D:
答案:
8、多选题：
可靠性断言：在系统F中，从前提P我们可以证明的任意事情，实际上，是这个前提的一个（ ）。
选项：
A:重言后承
B:一阶后承
C:塔斯基后承
D:逻辑后承
答案:
9、多选题：
倒推的方法在证明（）。
选项：
A:
有时有用
B:
全称断言时非常有用
C:
在证明存在断言时没有用
D:有时没用
答案:
10、多选题：
在使用量词规则时，下面哪条规则需要引入不出现在子证明外面的常项c。
选项：
A:全称量词引入规则
B:全称量词消去规则
C:存在量词消去规则
D:存在量词引入规则
答案:
请先 ！