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