A:× B: c  C:√ D:? 答案: ×;√;? Fitch与Tarski’s World不同，它没有自带的练习文件夹。

要打开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:错
答案: 错

A:对
B:错
答案: 对

A:对
B:错
答案: 对

A:对
B:错
答案: 对

A:对
B:错
答案: 错

A:

B:

C:

D:

答案:

如果P和Q是FOL语句，那么（ ）也是。

A:

B:

C:

D:

答案:

A:真假
B:假真
C:真真
D:假假
答案: 真真

A:

B:

C:

D:

答案:

;

A:

B:

C:

D:

答案:

;

;

A:

B:

C:

D:

答案:

;

;

;