相对于“多值逻辑”而言。以任一命题具有并仅具有“真”或“假”二值之一为特征的各种形式逻辑（包括数理逻辑）系统的统称。