命题公式加缺指派名词解释：一种有缺指派.设f为一(特异或部分)指派.若f为一部分指派g的相容扩张,则g称为f的加缺指派.例如f=(F,T,F),则g=(x,T,F)和g′=(x,x,F)均为f的加缺指派.前者称为f的加一缺指派,后者为加二缺指派,且g′亦为g的加(一)缺指派.
