查看“︁指派（命题逻辑）”︁的源代码

[[分类:命题逻辑]]
{{InfoBox
|name=真值指派
|eng_name=truth assignment
|aliases=指派,赋值,assignment
}}
'''指派'''('''assignment''')指对其中每一个[[命题|命题变元]]赋予其[[真值]]，这会使得[[命题公式]]也按照[[真理定义]]获得一个真值。
[[:分类:命题逻辑|命题逻辑]]中指派与'''真值指派'''('''truth assignment''')相同，可通用。

== 定义 ==

一般有以单个命题公式中涉及的命题变元和全体命题变元出发的两个定义方式，其含义相同。

对一个命题公式 <math>A</math> ，其中有 <math>P_1, P_2, \dots, P_n</math> 共 <math>n</math> 个[[命题|命题变元]]，按照每个命题变元为真假，一共有 <math>2^n</math> 种取值，其中的每种取值称为一个'''指派'''('''assignment''')/'''赋值'''。

对全体命题变元，给定从命题变元的集合到真值的集合的映射 <math>\sigma: V \to \mathbb{B}</math> ，称为一个'''真值指派'''('''truth assignment''')，也称为指派或赋值。


{{命题逻辑}}