查看“︁解释（谓词逻辑）”︁的源代码

[[分类:谓词逻辑]]{{DEFAULTSORT:jie3shi4}}
{{#seo:
|keywords=解释, 谓词逻辑, 赋值, 语义解释
|description=本文介绍解释的定义、性质与应用，包括解释作为谓词逻辑中语义赋值概念，其在确定谓词公式真值中的核心作用，及其在谓词语义学中的重要性。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-07-15
}}
{{InfoBox
|name=解释
|eng_name=interpretation
}}
'''解释'''('''interpretation''')在[[:分类:谓词逻辑|谓词逻辑]]中指通过[[结构（谓词逻辑）|结构]]或[[赋值（谓词逻辑）|赋值]]为[[谓词公式]]提供语义内容的动作。

结构指定了论域以及公式中每个个体常项、函项、谓词的语义后，[[闭式]]成为了[[命题]]，通过 [[Tarski 真理定义]]获得了一个真值（语义）；而赋值除了结构外还指定了公式中的每个自由的个体变项的取值，此时任意谓词公式都成为了命题。

“解释”一词也被用于指代结构本身，即使用的论域及替换用的[[映射]]关系，这一含义见[[结构（谓词逻辑）]]。

说明：谓词公式及闭式是纯语法形式的概念，符合这样语法的符号串是一个谓词公式或闭式，没有直接绑定语义。
结构是从其中每个个体常项、函项、谓词到论域中的个体对象及其关系的映射，赋值是一个结构加上其中个体变项到个体对象的映射。
解释是给谓词公式赋予结构或赋值的过程，也就是赋予如下语义的过程：当每个非逻辑符号按照结构中的取值代表论域中的对象及其关系时，这个公式所构成的命题是论域中的一个什么具体命题。


{{谓词逻辑}}