命題公式成假指派，是一種使命題公式的真值為F的指派。
命題公式成假指派，是一種使命題公式的真值為F的指派。命題公式成假指派(falsifying assignment of a propositional formula)一種指派，是使命題公式的真值為F的指派。設公式a= ...
命題公式飽和成假指派是數學術語。命題公式飽和成假指派(saturated falsifying assignment of a propositional formula)一種特殊的成假指派.指其任何加缺指派均不是成假指派的成假指派.設a= (Cp-＞ q八r. f=CF,T,F)為a的成假指派，但不是飽和成假指派，因為它的加缺指派g _ (x，二，F)為a的成假指派....
命題公式成真指派（satisfying assignment of a propositional formula）是使命題公式的真值為真的指派。例如，設公式a= (p-＞q) V r.對應於指派(T,F,T),a的真值為T，所以(T,F,T)稱為a的成真指派.有缺指派亦可為成真指派.例如，不論指派p q以何真值，只要指派:以T，則所對應的公式a的真值總為T,所以(...
命題永假公式 命題永假公式是一種命題公式。命題永假公式(falsehood propositional for- mina)亦稱不可滿足公式、矛盾式等一種命題公式，對於任何指派其真值總是假的命題公式稱為命題的永假公式.例如pnp是一個永假公式一個公式a是永假的若且唯若門a是永真的.
我們定義真值指派為把命題變數映射到真或假的函式。非形式的，這種真值指派可以被理解為對事件的可能狀態（或可能性世界）的描述，在這裡特定的陳述是真而其他為假。公式的語義因而可以被形式化，通過對它們把那些"事件狀態"認定為真的定義。我們通過如下規則定義這種真值 A 在什麼時候滿足特定 wff:A 滿足命題變數P...
表征邏輯事件輸入和輸出之間全部可能狀態的表格。列出命題公式真假值的表。通常以1表示真，0 表示假。命題公式的取值由組成命題公式的命題變元的取值和命題聯結詞決定，命題聯結詞的真值表給出了真假值的算法。真值表是在邏輯中使用的一類數學表，用來確定一個表達式是否為真或有效。 (表達式可以是論證；就是說，...
對於命題公式A，如果對A中命題變元的一切指派，A的真值都為真，則稱命題公式A為重言式，又稱永真式，記作T。如果對A中命題變元的一切指派，A的真值都為假，則稱命題公式A為矛盾式，又稱永假式，記作F。如果對A中命題變元的一切指派，A的真值有真有假，則稱A為可滿足式。那么任何一個公式肯定是永真式、...
設mi在A1中有一組成真指派R，於是在R指派下，主析取範式A1為真，但在R指派情況下，主析取範式A2為假，這與A1 A2相矛盾。——證畢 求主析取範式與主合取範式 定義設A為恰含命題變元p₁,…,pₙ的公式。公式A稱為A的主析（合）取範式（majordisjunctive（conjunctive）normal form），如果A是A的析（合）...
對於兩個命題變元P，Q來說，由於每個P、Q可以取命題變元自身和其否定，所以其對應的不同的極小項和極大項分別有如下四項：P∧Q、┐P∧Q、P∧┐Q、┐P∧┐Q；P∨Q、┐P∨Q、P∨┐Q、┐P∨┐Q；沒有兩個不同的極小項是等價的，且每個極小項只有一組真值指派，使該極小項的真值為真，因此可給極...
給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為T（True），則稱該命題公式為重言式或永真公式。顯然由聯結詞∨、∧、→和聯結的重言式仍是重言式。一個公式，如有某個解釋I0, 在I0下該公式真值為真, 則稱這公式是可滿足的。P∨Q當取I0 = (T, F)即P = T, Q = F時便有P∨Q = ...
