真值- 維基百科,自由的百科全書 - Wikipedia

文章推薦指數: 80 %
投票人數:10人

在邏輯中,真值(truth value),又稱邏輯值(logical value),是指示一個陳述在什麼程度上是真的。

在計算機編程上多稱做布林值、布爾值。

在經典邏輯中,唯一可能的真值是真和假。

但在其他邏輯中其他真值也是可能的:模糊邏輯和其他形式的多值邏輯使用比簡單的真和假更多的真值。

在代數上說,集合真、假形成了簡單的布爾代數。

可以把其他布爾代數用作多值邏輯中的真值集合,但直覺主義邏輯把布爾代數推廣為海廷代數。

在topos理論中,topos的主客對象分



請為這篇文章評分?