二值逻辑

二值逻辑是相对于多值逻辑而言，讨论只具有真、假二值的命题的逻辑。