真ま值

在ざい逻辑中なか，真ま值（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（英えい语：Andrej Bauer） discussing the relationship between truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.