2021知到答案 实验逻辑学 智慧树网课章节测试答案
绪论 章节测试
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:存在量词引入规则
答案: 【全称量词引入规则;
存在量词消去规则】[/$]
《2021知到答案 实验逻辑学 智慧树网课章节测试答案》由本站整理发布,如若转载,请注明出处:http://www.qinzicha.com/zhihuishu/567644.html