数理逻辑是一种纯形式的、符号化的逻辑，它以人工语言代替自然语言，使思维表达更加精确。
第1题：
A.图形语言
B.形象语言
C.未来语言
D.“形式化语言”
第2题：
关系演算的基础是(28)。
A．形式逻辑中的逻辑演算
B．形式逻辑中的关系演算
C．数理逻辑中的谓词演算
D．数理逻辑中的形式演算
第3题：
此题为判断题(对，错)。
第4题：
自然语言与人工语言
第5题：
结构化语言是介于自然语言和形式语言之间的一种（）。
A半形式语言
B计算机语言
C低级语言
D高级语言
第6题：
结构化语言是介于自然语言和形式语言之间的一种半形式语言。
此题为判断题(对，错)。
第7题：
第8题：
A.明确性
B.无歧义性
C.多义性
D.语言保持单一性
第9题：
现代逻辑主要使用的语言是：（）
第10题：
“数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（）。用（），是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科：（）。