实验逻辑学智慧树知到答案章节测试2023年南开大学

绪论单元测试

1.A:错

B:对

答案:B

2.Boole中的语句不能粘贴到Fitch中。（）

A:对

B:错

答案:B

第一章测试

1.要打开Tarski’sWorld，点击文件Tarski’sWorld.exe。

A:对

B:错

答案:A

2.在Tarski’sWorld中，要打开事先保存的世界文件和语句文件，可以点击

File菜单中的Open命令。

A:对

B:错

答案:A

3.在Tarski’sWorld中，要保存一份世界文件，最安全的命令是SaveWorld。

A:对

B:错

答案:B

4.在棋盘上放置一个模块，点击工具栏中的（）。

A:New按钮

B:PlayGame按钮

C:Verify按钮

D:打印按钮

答案:A

5.要删除一个世界文件的方法之一是（）。

A:在File菜单中，点击Clear命令

B:点击PlayGame按钮

C:Verify按钮

D:点击New按钮

答案:A

6.当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示

（）。

A:F

B:+

C:*

D:T

答案:B

7.在Tarski’sWorld中，模块的大小有（）这几种情况。

A:中

B:大

C:较小

D:小

答案:ABD

8.在Tarski’sWorld中，模块的形状有（）这几种情况。

A:立方体

B:圆

C:十二面球体

D:锥体

答案:ACD

9.在Tarski’sWorld中，一个模块的名字可以有（）。

A:三个

B:一个

C:四个

D:两个

答案:ABCD

10.Tarski’sWorld不允许给一个模块命名多个名字。

A:对

B:错

答案:B

第二章测试

1.要打开Fitch，点击文件Fitch.exe.

A:对

B:错

答案:A

2.在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的

Open命令。

A:错

B:对

答案:B

3.在Fitch中，要保存一份已完成的证明，用SaveAs命令。

A:对

B:错

答案:A

4.在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中

的（）。

A:AddPremise命令

B:AddStepAfter命令

C:Delete命令

D:AddStepBefore命令

答案:D

5.表示焦点滑块的符号是（）。

A:Ö图标

B:问号图标

C:红色的三角形图标

D:圆圈图标

答案:C

6.在Fitch的Proof菜单中，CollapseSubproof命令表示（）。

A:压缩子证明

B:删除子证明

C:展开子证明

D:保存子证明

答案:A

7.Fitch中证明窗口的语句可以粘贴到（）中。

A:Word文档

B:Tarski’sWorld

C:Fitch的目标窗口

D:Boole

答案:ABCD

8.Fitch中的联结词规则分为（）。

A:结论规则

B:引入规则

C:引理

D:消去规则

免费下载链接
飞猫云链接地址：https://jmj.cc/s/hkywf8

压缩包解压密码：res.99hah.com_FZ7D9E8y68

下载方法：如果您不是飞猫云会员，请在下载页面滚动到最下方，点击“非会员下载”，网页跳转后再次滚动到最下方，点击“非会员下载”。

解压软件：Bandizip