二值邏輯

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