查看“︁解释（命题逻辑）”︁的源代码

[[分类:命题逻辑]]{{DEFAULTSORT:jie3shi5}}
{{#seo:
|keywords=解释, 命题逻辑, 真值赋值, 语义解释
|description=本文介绍解释的定义、性质与应用，包括解释作为命题逻辑中语义赋值概念，其在确定命题公式真值中的核心作用，及其在逻辑语义学中的重要性。
|modified_time={{REVISIONYEAR}}-{{REVISIONMONTH}}-{{REVISIONDAY2}}
|published_time=2023-07-01
}}
{{InfoBox
|name=解释
|eng_name=interpretation
|aliases=语义解释,semantic interpretation
}}
'''解释'''('''interpretation''')在[[:分类:命题逻辑]]中指通过[[指派（命题逻辑）|指派]]为[[命题公式]]提供语义内容。
指派指定了每个命题变元的真假后，命题公式成为了[[命题]]，通过 [[Tarski 真理定义]]获得了一个真值（语义）；
在这个指派下，命题变元的真值和命题公式的真值共同构成命题公式的一个'''解释'''('''interpretation''')。

== 定义 ==

在每种指派下，命题变元的真值和命题公式的真值共同构成命题公式的一个'''解释'''('''interpretation''')。

说明：命题公式是一个纯语法形式的概念，符合这样语法的符号串是一个命题公式，没有直接绑定语义。
指派是将其中每个命题变元映射到真值的过程。
解释是给命题公式赋予如下语义的过程：当每个变元按照指派的真值代表任意一个真命题或假命题时，这个公式所构成的命题是一个真命题还是假命题。


{{命题逻辑}}