多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。
与经典逻辑的关系.在经典的二值方案中，真和假是确定性的值：命题要么是真要么是假（互斥的），并且如果命题没有其中一个值，则根据定义它必定有另一个值。这个理由就是排中律："P" ∨ ¬"P"—也就是说，命题或它