更新时间：2024-10-12 15:10
二值逻辑是相对于多值逻辑而言，讨论只具有真、假二值的命题的逻辑。
二值逻辑的特征是：(1)每一命题变项和公式至少在真或假二值中取一。(2)每一命题变项和公式至多在真或假二值中取一。(3)公式的值完全决定于其中变项的值。