包括true和false兩個值。
在邏輯中，真值或邏輯值是指示壹個陳述在什麽程度上是真的。在計算機編程上多稱作布爾值。
在經典邏輯中，唯壹可能的真值是真和假。但在其他邏輯中其他真值也是可能的:
模糊邏輯和其他形式的多值邏輯使用比簡單的真和假更多的真值。
在代數上說，集合
{真,假}
形成了簡單的布爾代數。可以把其他布爾代數用作多值邏輯中的真值集合，但直覺邏輯把布爾代數推廣為
Heyting代數。
在
topos理論中，topos
的子對象分類器接管了真值集合的位置。
中文：布爾值
英語：boolean
法語：boolien