智慧树知到《实验逻辑学》章节测试答案
智慧树知到《实验逻辑学》章节测试答案
绪论单元测试
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、
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.逻辑不可能的
C.逻辑必然的
D.Tarski s’World必然真的
正确答案：逻辑真的;逻辑必然的
9、如果S是一个重言式，那么它也是（）语句。
A.逻辑真
B.Tarski s’World 必然真
C.矛盾的
D.不可满足的
正确答案：逻辑真;Tarski s’World 必然真
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.P
B.Q
C.S
D.R
正确答案：P;Q;S;R
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.P不能从Q推出
D.Q不能从P推出
正确答案：P可以从Q推出;Q可以从P推出
第十二章单元测试
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.P
B.w
C.a
D.y
正确答案：a
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是定义域中的一个对象
B.c必须是个体常项
C.c是Tarski’s World 模块语言中的个体常项
D.c是Tarski’s World 模块语言中的个体变项
正确答案：这里c是定义域中的一个对象
6、
A.c是Tarski’s World 模块语言中的个体常项
B.这里c是定义域中的一个对象
C.c必须是个体常项
D.c是Tarski’s World 模块语言中的个体变项
正确答案：这里c是定义域中的一个对象
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.存在量词引入规则
正确答案：全称量词引入规则;存在量词消去规则
绪论单元测试
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、
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.逻辑不可能的
C.逻辑必然的
D.Tarski s’World必然真的
正确答案：逻辑真的;逻辑必然的
9、如果S是一个重言式，那么它也是（）语句。
A.逻辑真
B.Tarski s’World 必然真
C.矛盾的
D.不可满足的
正确答案：逻辑真;Tarski s’World 必然真
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.P
B.Q
C.S
D.R
正确答案：P;Q;S;R
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.P不能从Q推出
D.Q不能从P推出
正确答案：P可以从Q推出;Q可以从P推出
第十二章单元测试
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.P
B.w
C.a
D.y
正确答案：a
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是定义域中的一个对象
B.c必须是个体常项
C.c是Tarski’s World 模块语言中的个体常项
D.c是Tarski’s World 模块语言中的个体变项
正确答案：这里c是定义域中的一个对象
6、
A.c是Tarski’s World 模块语言中的个体常项
B.这里c是定义域中的一个对象
C.c必须是个体常项
D.c是Tarski’s World 模块语言中的个体变项
正确答案：这里c是定义域中的一个对象
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.存在量词引入规则
正确答案：全称量词引入规则;存在量词消去规则