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