布尔值包括两个值，一个是真值，一个是假值，在逻辑中，真值或逻辑值是指示一个陈述在什么程度上是真的，在计算机编程上多称作布尔值，在经典逻辑中，唯一可能的真值是真和假，但在其他逻辑中其他真值也是可能的，模糊逻辑和其他形式的多值逻辑使用比简单的真和假更多的真值。
在代数上说，元素真与假所形成的集合就构成了简单的布尔代数，可以把其他布尔代数用作多值逻辑中的真值集合，定义固定一个完全布尔代数和一阶语言，后者由一组常量符号，函数符号和关系符号构成。
