二值邏輯

二值邏輯是相對於多值邏輯而言，討論只具有真、假二值的命題的邏輯。

二值邏輯的特徵是：(1)每一命題變項和公式至少在真或假二值中取一。(2)每一命題變項和公式至多在真或假二值中取一。(3)公式的值完全決定於其中變項的值。