三值邏輯

在邏輯學中的三值邏輯 （ three - valued ， 也稱爲三元 （ ternary ） ， 或三價 （ trivalent ） 邏輯 ， 有時縮寫爲3VL ） 是幾個多值邏輯系統中的其中之一 。 有三種狀態來表示真 、 假和一個表示不確定的第三值 ； 這相對於基礎的二元邏輯 （ 比如布爾邏輯 ， 它只提供真假兩種狀態 ） 。 概念形式和基本思想最初由 JanŁukasiewicz和 C. I. Lewis創建 。 然後這些由 Grigore Moisil以公理代數形式重新制定 ， 並在 1945年擴展到 值邏輯 。