实验逻辑学 2024智慧树满分答案

莫窗阶锤骨翠坏派佩胶浪显剂

(。◕‿◕。)

绪论 单元测试

1、判断题:
 实验逻辑学 2024智慧树满分答案

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:
D:?
答案: ×;;?

10、判断题:
Fitch与Tarski’s World不同,它没有自带的练习文件夹。

A:对
B:错
答案:


完整版答案需支付5元购买,完整答案是全部章节的课后答案。制作这些答案花费了很多心血,希望大家理解,如需购买请点击下方红字:

点击这里,购买完整版答案

注意:完整答案是全部的课后答案,无期末答案!


萌面人优惠券

一键领取淘宝,天猫,京东,拼多多无门槛优惠券,购物省省省!

如需了解详情请点击下方红字:

点击这里,查看淘宝天猫优惠券


萌面人优惠券APP下载

支持安卓,苹果,PC电脑等设备,可查看各种大学网课答案,可一键领取淘宝,天猫,京东,拼多多无门槛优惠券

详情请点击下方红字:

点击这里,查看app详情


更多信息:如何找到本平台?

方法一:

点击下方红字,访问萌面人资料铺

点击这里,访问萌面人资料铺

方法二:

搜狗搜索:萌面人资料铺 认准域名:www.xuexianswer.com 或者域名:xuexianswer.com 点击进入

renzhunyuming

方法三:

打开手机微信,扫一扫下方二维码,关注微信公众号:萌面人APP

本公众号可查看各种网课答案,还可免费查看大学教材答案

点击这里,可查看公众号功能介绍

实验逻辑学 2024智慧树满分答案第3张zhiding


为了下次更快打开本网站,建议在浏览器添加书签收藏本网页。

添加书签方法:

1.电脑按键盘的Ctrl键+D键即可收藏本网页

2.手机浏览器可以添加书签收藏本网页


 

滔锤壤汐茧癸钨卜埃染努猾彤