脯烧炉呻如俗稗许备祭廷蹈微
柒跨疼枫芦蓬两拈独渐嗅妮才
答案: 引入规则;消去规则在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（ ）
答案：点击这里查看答案
如需获取更多网课答案，可在浏览器访问我们的网站：http://www.mengmianren.com/
注：请切换至英文输入法输入域名，如果没有成功进入网站，请输入完整域名：http://www.mengmianren.com/
A:对
B:错
答案: 对
Boole中的语句不能粘贴到Fitch中。（ ）
A:对
B:错
答案: 错
要打开Tarski’s World，点击文件Tarski’s World.exe。
A:对
B:错
答案: 对
在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
A:对
B:错
答案: 对
在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
A:对
B:错
答案: 错
在棋盘上放置一个模块，点击工具栏中的（ ）。
A:New按钮
B:Verify按钮
C:Play Game按钮
D:打印按钮
答案: New按钮
要删除一个世界文件的方法之一是（ ）。
A:点击New按钮
B:在File菜单中，点击Clear命令
C:点击Play Game按钮
D:
Verify按钮
答案: 在File菜单中，点击Clear命令
当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（ ）。
A:F
B:T
C:+
D:
*
答案: +
在Tarski’s World中，模块的大小有（ ）这几种情况。
A:大
B:中
C:小
D:
较小
答案: 大;中;小
在Tarski’s World中，模块的形状有（ ）这几种情况。
A:锥体
B:立方体
C:十二面球体
D:
圆
答案: 锥体;立方体;十二面球体
在Tarski’s World中，一个模块的名字可以有（ ）。
A:一个
B:两个
C:三个
D:
四个
答案: 一个;两个;三个;
四个
Tarski’s World不允许给一个模块命名多个名字。
A:对
B:错
答案: 错
要打开Fitch，点击文件Fitch.exe.
A:对
B:错
答案: 对
在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
A:对
B:错
答案: 对
在Fitch中，要保存一份已完成的证明，用Save As命令。
A:对
B:错
答案: 对
在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（ ）。
A:Add Step After命令
B:Add Step Before命令
C:Delete命令
D:
Add Premise命令
答案: Add Step Before命令
表示焦点滑块的符号是（ ）。
A:红色的三角形图标
B:圆圈图标
C:问号图标
D:
Ö 图标
答案: 红色的三角形图标
在Fitch的Proof菜单中，Collapse Subproof命令表示（ ）。
A:展开子证明
B:删除子证明
C:压缩子证明
D:
保存子证明
答案: 压缩子证明
Fitch中证明窗口的语句可以粘贴到（ ）中。
A:
Tarski’s World
B:
Fitch的目标窗口
C:
Boole
D:
Word 文档
答案:
Tarski’s World
;
Fitch的目标窗口
;
Boole
;
Word 文档
Fitch中的联结词规则分为（ ）。
A:引理
B:引入规则
C:消去规则
D:
结论规则
答案: 引入规则;消去规则
在Fitch中，检查一个步骤是否正确，点击工具栏中的Check Step后，可能出现下面哪些符号？（ ）
A:×
B: c
C:√
D:?
答案: ×;√;?
Fitch与Tarski’s World不同，它没有自带的练习文件夹。
A:对
B:错
答案: 错
要打开Boole，点击文件Boole.exe。
A:对
B:错
答案: 对
在Boole中，要保存一份已完成的真值表，用Save As命令最安全。
A:对
B:错
答案: 对
在Boole中，创建参考列，最好让Boole帮你完成。
A:对
B:错
答案: 错
在Boole中，创建一个新的真值表有：（ ）。
A:一个步骤
B:两个步骤
C:三个步骤
D:
四个步骤
答案: 三个步骤
在Boole中，验证一个真值表包含：（ ）。
A:三个步骤
B:两个步骤
C:一个步骤
D:四个步骤
答案: 三个步骤
在Boole中，Help菜单可以使你在使用Boole时获得帮助，还可以（ ）。
A:构造真值表
B:建立参考列
C:检查是否可以更新
D:
检查真值表是否正确
答案: 检查是否可以更新
在Boole中，验证一个真值表包含：（ ）。
A:验证表的每一行
B:检验表的完全性和正确性
C:检验你的评价是否正确
D:
验证参考列
答案: 验证表的每一行;检验表的完全性和正确性;检验你的评价是否正确;
验证参考列
建立参照列的方法有（ ）。
A:自己手动完成
B:Boole帮你完成
C:老师帮你完成
D:
同学帮你完成
答案: 自己手动完成;Boole帮你完成
创建一个新的真值表的步骤有（ ）。
A:填入真值
B:建立参考列
C:指定目标语句
D:
计算结果
答案: 填入真值;建立参考列;指定目标语句;
计算结果
Boole与Fitch相同，也有一个自带的练习文件夹。（ ）
A:对
B:错
答案: 错
在一阶逻辑的语言FOL中，每个个体常项必须命名一个实际存在的对象。
A:对
B:错
答案: 对
一个个体常项不能命名多个对象。
A:对
B:错
答案: 对
一个对象不能有多个名字。
A:对
B:错
答案: 错
在Tarski’s World的模块语言中，只有（ ）个一元谓词。
A:1
B:6
C:12
D:25
答案: 6
在Tarski’s World的模块语言中，只有（ ）个三元谓词。
A:1
B:6
C:12
D:25
答案: 1
在Tarski’s World的模块语言中，只有（ ）个二元谓词。
A:1
B:6
C:12
D:25
答案: 12
在Tarski’s World的模块语言中，个体常项是（）。
A:a
B:x
C:b
D:
y
答案: a;b
在Tarski’s World的模块语言中，个体变项是（）。
A:a
B:x
C:y
D:
b
答案: x;y
在Tarski’s World的模块语言中，刻画性质和关系的谓词有（ ）。
A:一元谓词
B:二元谓词
C:三元谓词
D:
四元谓词
答案: 一元谓词;二元谓词;三元谓词
A:对
B:错
答案: 错
非形式证明和形式证明在风格上不同。
A:对
B:错
答案: 对
形式证明和非形式证明在严谨性上相同。
A:对
B:错
答案: 对
形式证明比非形式证明严谨。
A:对
B:错
答案: 错
一个论证是一系列陈述，其中一个陈述称为结论，结论意味着其他陈述的后承，其他陈述称为（ ）。
A:后承
B:前提
C:结论
D:子结论
答案: 前提
如果在前提是真实的任何情况下结论必须是真的，则称论证是（ ）。
A:有效的
B:可靠的
C:完全的
D:
无效的
答案: 有效的
逻辑上有效的论证的结论是其前提的（ ）。
A:一个前件
B:两个前件
C:一个逻辑后承
D:
三个前件
答案: 一个逻辑后承
一个论证是可靠的，需要满足下面的哪些条件。
A:有真有假的
B:有效的
C:前提和结论都真
D:
假的
答案: 有效的;前提和结论都真
每个n元谓词被解释为一个与谓词有相同元数的（ ）。
A:性质
B:关系
C:个体词
D:
个体常项
答案: 性质;关系
恒等的自反性是指：（）。
A:a=a
B:b=c
C:a¹a
D:Ø(a¹a)
答案: a=a;Ø(a¹a)
形式证明比非形式证明简单。（）
A:对
B:错
答案: 错
馈戊干处辫屯弓藤洪暗睡疵蓖
祷葡粳纱苦尖莲眷妇查融该阑