真值
 | 此條目可參照英語維基百科相應條目來擴充。 (2020年6月30日) |
在邏輯中，真值（truth value），又稱邏輯值（logical value），是指示一個陳述在什麼程度上是真的。在計算機編程上多稱做布林值、布爾值。
在經典邏輯中，唯一可能的真值是真和假。但在其他邏輯中其他真值也是可能的：模糊邏輯和其他形式的多值邏輯使用比簡單的真和假更多的真值。
在代數上說，集合真、假形成了簡單的布爾代數。可以把其他布爾代數用作多值邏輯中的真值集合，但直覺主義邏輯把布爾代數推廣為海廷代數。
在topos理論中，topos的主客對象分類器接管了真值集合的位置。
引用
[編輯]- Article on logical constants （頁面存檔備份，存於網際網路檔案館） at the Stanford Encyclopedia of Philosophy;
- Weblog entry "How many is two?" （頁面存檔備份，存於網際網路檔案館） by Andrej Bauer discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.
