偶真式
關於真值表例11-62和例11-63右側復合命題的真值，我們學到了什麼呢？我們學到的是：它們既不是必然的真，也不是必然的假；而是有時為真，有時為假。這取決於簡單支命題的真值和邏輯聯結詞。具有這類真值的命題是偶然命題。一個復合命題是偶真式，當且僅當，其真值表中主聯結詞下面至少有一行是真，有一行是假。在例11-63中，至少有一個T和一個F位於「∩」的下方。在例11-62中，同樣至少有T和一個F位於「·」的下方。依據這一結果，這兩個復合命題都是偶真式。
矛盾式
矛盾式是一種復合命題，總是為假。矛盾式的值可以依據形式來確定，即它與各個支命題的實際真值無關。在矛盾式的真值表中，位於主聯結詞下方的都是F。請看下面的例子：
例11-64 B≡～B
因為例11-64只包含命題B（它出現了兩次），由21可知需要兩行，一行是T，一行是F。因此，我們得到如下真值表：
例11-65
這一真值表表明，例11-64是一個矛盾式。
重言式
有些命題是重言式：僅通過形式就可以斷定它們總是真的（與各個支命題的實際真值無關）。在一個重言式的真值表中，位於其主聯結詞下方的都是T。上述例11-64的否定就是重言式，即：
例11-66 ～（B≡～B）
依據這個命題的真值表，可知位於該公式主聯結詞下方的都是T：
例11-67
例11-67給出了例11-66的真值，確證了它是重言式。邏輯中著名的重言式是所謂的排中律（即Pˇ～P）與不矛盾律〔即～（P ·～P）〕。為了進一步練習，分別為它們構造一個真值表，來檢驗它們是否的確為重言式。最後，請記住如下要點：
專欄11-10 矛盾式、重言式和否定
矛盾式的否定是重言式，重言式的否定是矛盾式。