三值邏輯重言式

三值邏輯重言式是指三值邏輯中的常真公式。三值邏輯是指命題可 以具有三值的邏輯。三值可用0、1、2 表示，有的邏輯學家把它解釋為已 知為真，可能為真，已知為假。

有的系統規定聯結詞的真值表為：此時可驗算下列為重言式： pAq —^iAp pAq<1(—ipv>q)但有時二值邏輯中的重言式，在三值邏輯中並非重言式。其真值表為：這實際表明由於p可以有三值，傳統邏輯的排中律當然就不是常真的。