first-order language
英
美
- 第一等级语言;一阶语言
双语例句
- Stars of the first magnitude are the brightest.
第一等级的星是最明亮的。 - In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。 - Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter.
比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved