| 释义 |
first-order language
基本例句
第一等级语言; 一阶语言
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 languagegets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter.比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。 |