真理値

真理値（しんりち、）は、命題論理などの命題の真偽を示す値である。英語のTrueとFalseから、真に対してT、偽に対してFという記号をあてることもある。論理値 (logical value) も同じ。排中律に則った古典論理（2値論理）では真か偽かの二値（バイナリー）をとることから真偽値ともいうが、非古典論理などで多値論理における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。

コンピュータプログラミング言語などのデータ型では、真理値のような型として真理値型（真偽値型、ブーリアン型などとも）があるものがある無いものもある。Rubyでは、trueはTrueClass、falseはFalseClassだが、共通の直接の親クラスとなるBooleanのようなクラスは無い。C言語では（C99では追加されたが）伝統的にはintで代用される。。関係演算子の結果などがブーリアン型であり、さらに論理演算子などで組み合わせることができ、それをif文などの制御構造や、条件演算子などで使用できる。

 関連項目 
 ブール代数・ブール論理・ブール領域
 論理式
 真理値表
 真理関数
 ディジタル回路・正論理と負論理
 3値論理
 ファジィ論理
 ブーリアン型
 推論
 恒真式(トートロジー)

脚注
 注釈 

Category:論理学の概念
Category:命題
Category:真理
Category:価値
Category:認識論
Category:数学に関する記事