真理値
(truth-value から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/04/13 16:25 UTC 版)
![]() |
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年4月)
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
![]() |
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年5月)
|
真理値(しんりち、英: truth value)は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。排中律に則った古典論理(2値論理)では真か偽かの二値(バイナリー)をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も(真と偽以外の値にもなる)真理値である。
コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型(真偽値型、ブーリアン型などとも)があるものがある[注釈 1]。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。
関連項目
脚注
注釈
- truth-valueのページへのリンク