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、