命題公式加缺指派(relatively partial assig n- ment of a propositional formula)一種有缺指派. 設f為一(特異或部分)指派.若f為一部分指派g 的相容擴張，則g稱為f的加缺指派.例如f- (F,T,F)，則g一(二，T,F)和g‘一(x，二，F)均為f 的加缺指派.前者稱為f的加一缺指派，後者為加二缺指派，且g‘亦為g的加(一)缺指派.
命題公式加缺指派(relatively partial assig n- ment of a propositional formula)一種有缺指派. 設f為一(特異或部分)指派.若f為一部分指派g 的相容擴張,則g...
定義命題公式部分指派(partial assignment for a propositional formula)亦稱命題公式的有缺指派一種特殊映射.是從一命題公式的命題變元集到真值集的部分映射.部分...
定義命題公式飽和成真指派(saturated satisfying assignment of a propositional formula)一種特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派。驗證過程設a=...
(satisfying assignment of a propositional formula)一種指派.是使命題公式的真值為真的指派.例如,設公式a= (p->q) V r.對應於指派(T,F,T),a的真值為T...
命題公式飽和成假指派(saturated falsifying assignment of a propositional formula)一種特殊的成假指派.指其任何加缺指派均不是成假指派的成假指派.設a= Cp->q...
命題公式特異指派(special assignment for a propositional formula)一種特殊映射.是從某命題公式中出現的命題變元集到真值集的映射.設公式a=Cp-'q) V r,.f:...
命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱為命題的可滿足公式...
命題永假公式(falsehood propositional for- mina)亦稱不可滿足公式、矛盾式等一種命題公式,對於任何指派其真值總是假的命題公式稱為命題的永假公式.例如}pnp是一...
命題公式成假指派(falsifying assignment of a propositional formula)一種指派.是使命題公式的真值為F的指派.設公式a= (p->q>八r. a對應於指派(T,F,F)的...