命題公式成真指派（satisfying assignment of a propositional formula）是使命題公式的真值為真的指派。
命題公式成真指派（satisfying assignment of a propositional formula）是使命題公式的真值為真的指派。例如，設公式a= (p-＞q) V r.對應於指派(T,F,T),a的真值...
命題公式成假指派，是一種使命題公式的真值為F的指派。命題公式成假指派(falsifying assignment of a propositional formula)一種指派，是使命題公式的真值為F的指派。設公式a= p-＞q＞八r. a對應於指派（T,F,F）的真值為F，這時...
定義 命題公式飽和成真指派(saturated satisfying assignment of a propositional formula)一種特殊的成真指派.指其任何加缺指派均不是成真指派的成真指派。驗證過程 設a= (p-＞q＞八r. f=(h',T,h')為a的成真指派，但不是飽和成真...
命題公式飽和成假指派是數學術語。命題公式飽和成假指派(saturated falsifying assignment of a propositional formula)一種特殊的成假指派.指其任何加缺指派均不是成假指派的成假指派.設a= (Cp-＞ q八r. f=CF,T,F)為a的成假...
命題公式特異指派是從某命題公式中出現的命題變元集到真值集的映射。命題公式特異指派(special assignment for a propositional formula)一種特殊映射.是從某命題公式中出現的命題變元集到真值集的映射.設公式a=Cp-'q V r,.f: p,q...
命題公式部分指派(partial assignment for a propositional formula)亦稱命題公式的有缺指派一種特殊映射，是從一命題公式的命題變元集到真值集的部分映射，部分指派可以對某些命題變元不指派真值。定義 命題公式部分指派(partial assignment ...
命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱為命題的可滿足公式 公式介紹 命題可滿足公式(satisfiable propositional for- mina)一種命題公式‘在某個指派下其值為真的命題公式稱...
命題永假公式是一種命題公式。命題永假公式(falsehood propositional for- mina)亦稱不可滿足公式、矛盾式等一種命題公式，對於任何指派其真值總是假的命題公式稱為命題的永假公式.例如}pnp是一個永假公式一個公式a是永假的若且唯若門...
重言式（Tautology ）又稱為永真式，它的漢語拼音為：[Chóng yán shì]，是邏輯學的名詞。命題公式中有一類重言式。如果一個公式，對於它的任一解釋下其真值都為真，就稱為重言式（永真式）。數理邏輯旨在利用有限的公理推出儘可能...
設mi在A1中有一組成真指派R，於是在R指派下，主析取範式A1為真，但在R指派情況下，主析取範式A2為假，這與A1 A2相矛盾。——證畢 求主析取範式與主合取範式 定義設A為恰含命題變元p₁,…,pₙ的公式。公式A稱為A的主析（...
可滿足式 可滿足式（satisfiable）是一個數學公式，設A為任一命題公式，若A在各種真值指派下至少存在一組成真指派，則A是可滿足式，反之為矛盾式。術語簡介 換言之，對於命題公式A，若A不是矛盾式，則稱A是可滿足式。
非q→p的真值的真值表如下:從上表可以發現a是永真公式.真值表方法是命題邏輯語義部分的重要方法，它有許多重要作用，如求成真指派，求成假指派，證明一個公式是永真公式，可滿足公式等.其缺點是對於複雜的公式，用此法工作量太大.
如果對A中命題變元的一切指派，A的真值都為假，則稱命題公式A為矛盾式，又稱永假式，記作F。如果對A中命題變元的一切指派，A的真值有真有假，則稱A為可滿足式。那么任何一個公式肯定是永真式、永假式和可滿足式三種公式中的一...
