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