命題公式飽和成假指派是數學術語。
基本介紹
- 中文名：命題公式飽和成假指派
- 所屬學科：數學
命題公式飽和成假指派(saturated falsifying assignment of a propositional formula)一種特殊的成假指派.指其任何加缺指派均不是成假指派的成假指派.設a= (Cp-＞ q八r. f=CF,T,F)為a的成假指派，但不是飽和成假指派，因為它的加缺指派g _ (x，二，F)為a的成假指派.但g為a的飽和成假指派，因為g的加缺指派(二，二，二)不再為a的成假指派.
