指派（命题逻辑）
| 真值指派 | |
|---|---|
| 术语名称 | 真值指派 |
| 英语名称 | truth assignment |
| 别名 | 指派, 赋值, assignment |
指派(assignment)指对其中每一个命题变元赋予其真值，这会使得命题公式也按照真理定义获得一个真值。 命题逻辑中指派与真值指派(truth assignment)相同，可通用。
定义
一般有以单个命题公式中涉及的命题变元和全体命题变元出发的两个定义方式，其含义相同。
对一个命题公式 [math]\displaystyle{ A }[/math] ，其中有 [math]\displaystyle{ P_1, P_2, \dots, P_n }[/math] 共 [math]\displaystyle{ n }[/math] 个命题变元，按照每个命题变元为真假，一共有 [math]\displaystyle{ 2^n }[/math] 种取值，其中的每种取值称为一个指派(assignment)/赋值。
对全体命题变元，给定从命题变元的集合到真值的集合的映射 [math]\displaystyle{ \sigma: V \to \mathbb{B} }[/math] ，称为一个真值指派(truth assignment)，也称为指派或赋值。