实验逻辑学 知到智慧树答案2024 z13700

绪论 单元测试

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

下方是付费阅读内容：本平台商品均为虚拟商品，无法用作二次销售，不支持退换货，请在购买前确认您需要购买的资料准确无误后再购买，望知悉！

完整答案需点击上方按钮支付5元购买,所有答案均为章节测试答案，无期末答案。购买后上方矩形框将出现已付费的隐藏内容。

不知道怎么购买？点此查看购买教程！