赋值与真值表fuzhi yu zhenzl'dbiao

确定合式公式的真假值的方法.一个合式公式A，一般不能说它真或假，只有当A所含有的命题变元都用指定的命题代换之后，才能谈论它所表示的命题的真假.
设A所含的所有命题变元为P₁,P₂… ,P_n，则A可表示为A (P₁,P₂，…，P_n). 用真值a_i (a i有两个可能的取值T或者F，表示真或者假)代换P_i,i=1,2，…，n，称对A的一个指派，对于某个确定的 (a₁,a₂，…，a_n)真值n元组，其结果即公式A的真假值，用A (a₁,a₂，…，a_n) 表示，称为公式A (P₁,P₂，…，P_n) 对指派 (a₁,a₂，…，a_n) 的赋值或取值.
因真值n元组共有2ⁿ个，相应地，对A (P₁,P₂，…，P_n)的赋值有2 ⁿ个.这可以通过列表的方法得到：第1行依次写出P₁,P₂，…，P_n,A; 第2到2n+1行依次取2。个真值n元组，且相应地算出A的取值，这个表称为A的真值表. 例如对五个命题联接词表述的基本公式的真值表如下 (我们将P∨Q,P∧Q,P→Q,p↔q写在一个表中).