命題公式飽和成真指派

定義

命題公式飽和成真指派(saturated satisfying assignment of a propositional formula)一種特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派。

驗證過程

設a= (p->q>八r. f=(h',T,h')為a的成真指派，但不是飽和成真指派，因為它的加缺指派g =(F,T，二)}g}=(F，二，二)為a的成真指派.但g‘為 a的飽和成真指派，因為g‘的加缺指派(二，二，二)不再為a的成真指派.