命题公式饱和成假指派名词解释：一种特殊的成假指派.指其任何加缺指派均不是成假指派的成假指派.设α=(p→q)∧r.f=(F,T,F)为α的成假指派,但不是饱和成假指派,因为它的加缺指派g=(x,x,F)为α的成假指派.但g为α的饱和成假指派,因为g的加缺指派(x,x,x)不再为α的成假指派.