命题公式加缺指派(relatively partial assig n- ment of a propositional formula)一种有缺指派. 设f为一(特异或部分)指派.若f为一部分指派g 的相容扩张,则g称为f的加缺指派.例如f- (F,T,F),则g一(二,T,F)和g'一(x,二,F)均为f 的加缺指派.前者称为f的加一缺指派,后者为加二缺指派,且g'亦为g的加(一 [1] )缺指派.