数理逻辑是一种纯形式的、符号化的逻辑，它以人工语言代替自然语言，使思维表达更加精确。
数理逻辑是一种纯形式的、符号化的逻辑，它以人工语言代替自然语言，使思维表达更加精确。
相关考题：
在人工智能中必须使用人工语言符号系统,目前广泛使用的是以数学、数理逻辑符号语言为蓝本的科学语言,也称为“形式化语言”。以下选项属于它基本特征的是()。 A.明确性B.无歧义性C.多义性D.语言保持单一性
以下有关信息揭示中信息组织语言的应用的说法中正确的是（ ）。A.分类信息检索语言是自然语言应用的一种B.全文标引和全文检索是人工语言应用的一种方式C.人工语言在信息揭示中的应用主要是指信息检索语言D.代码型信息检索语言是自然语言应用的一种
下列关于亚里士多德的说法中，正确的是（）A、亚里士多德发明了数理逻辑体系，这是一种演绎推理形式体系B、亚里士多德发明了数理逻辑体系，这是一种归纳推理形式体系C、亚里士多德发明了形式逻辑体系，这是一种归纳推理形式体系D、亚里士多德发明了形式逻辑体系，这是一种演绎推理形式体系
以下有关信息揭示中信息组织语言的应用的说法中正确的是（）A、分类信息检索语言是自然语言应用的一种B、全文标引和全文检索是人工语言应用的一种方式C、人工语言在信息揭示中的应用主要是指信息检索语言D、代码型信息检索语言是自然语言应用的一种
单选题汇编语言是CPU可以执行的全部指令的符号化表示。一个CPU的汇编指令一般与它的机器指令一一对应，汇编语言它使用的是（）。A逻辑语言描述B自然语言C英文单词或它们的缩写D以上都不是