A
、(A∧B), (A∨B), (A→B)和(A
B)。例如，下列符号串都是合式公式：
Q，P∧Q，(P)∨Q，P∨(P)，(P∧P)→(P(P∨R))。若合式公式P中含有n个不同的命题变元，则说P是n元合式公式。
合式公式代表了所有命题，n元合式公式表示此命题由n个简单命题复合而成，此命题的真假就由这n个简单命题的真假完全确定。怎样表示命题形式的真假值呢？我们给出如下定义。
设P为一个合式公式，P中出现的所有命题变项都在p1，p2，…，pn中，对序列（p1，p2，…，pn）指定的任一真假值序列（t1，t2，…，tn）称为P的关于p1，p2，…，pn的一个指派（assignment）或解释（其中ti=T或F，i∈N，1≤i≤n）。若p1，p2，…，pn的一个指派使P为真，则称此指派为P的一个成真指派；若p1，p2，…，pn的一个指派使P为假，则称此指派为P的一个成假指派。
由定义可得：
P关于P的成真指派为F，成假指派为T。P∧Q关于P、Q的成真指派为（T,T），成假指派为（T,F）,（F,T），（F,F）。
P∨Q关于P、Q的成真指派为（T,T），（T,F）,（F,T），成假指派为（F,F）。
同时我们也不难给出A→B和A
B的成真和成假指派。这样，我们在这里也就可以给出真值表的确切定义，即合式公式在所有可能的指派下所取值列成的表成为真值表。
在后面我们统一用"解释"这个词，而不是上面的"指派"