真值

在邏輯中 ， 真值 （ truth value ） ， 又稱邏輯值 （ logical value ） ， 是指示一個陳述在什麼程度上是真的 。 在計算機編程上多稱做布林值 、 布爾值 。 在經典邏輯中 ， 唯一可能的真值是真和假 。 但在其他邏輯中其他真值也是可能的 ： 模糊邏輯和其他形式的多值邏輯使用比簡單的真和假更多的真值 。 在代數上說 ， 集合真 、 假形成了簡單的布爾代數 。 可以把其他布爾代數用作多值邏輯中的真值集合 ， 但直覺主義邏輯把布爾代數推廣爲海廷代數 。 在topos理論中 ， topos的主客對象分類器接管了真值集合的位置 。