模型

相关tags:

模型名词解释：形式语言的语义解释。最常用的形式语言是一阶语言。任一一阶语言Ｌ的模型，指某一有序二元组〈Ａ，C〉。Ａ为一非空集合，称为模型的论域；X为一解释函数，在Ｌ的非逻辑常项和模型的论域之间建立起对应关系。在模型中，形式语言中无意义的符号、公式、公式间的变换，成为有具体内容的概念、命题和命题间的推导。