数理逻辑是一种纯形式的、符号化的逻辑,它以人工语言代替自然语言,使思维表达更加精确。
第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题:
“数理逻辑,又称符号逻辑,它是从形式逻辑分化出来的一门学科。数理逻辑()。用(),是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科:()。