この記事は
英語版の対応するページ を翻訳することにより充実させることができます。 （2024年4月 ） 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
英語版記事を日本語へ機械翻訳したバージョン （Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄 に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知 |en|Truth value|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方 ） 出典検索? "真理値" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL （2015年5月
真理値 （しんりち、英 : truth value ）は、命題論理 などの命題 の真偽を示す値である。英語のTrueとFalseから、真に対してT 、偽に対してF という記号をあてることもある。論理値 (logical value) も同じ。排中律 に則った古典論理 （2値論理）では真か偽かの二値（バイナリー ）をとることから真偽値 ともいうが、非古典論理 などで多値論理 における「真らしさ」の値も（真と偽以外の値にもなる）真理値である。
コンピュータプログラミング言語 などのデータ型 では、真理値のような型として真理値型 （真偽値型 、ブーリアン型 などとも）があるものがある[注釈 1] 関係演算子 の結果などがブーリアン型であり、さらに論理演算子 などで組み合わせることができ、それをif文 などの制御構造 や、条件演算子 などで使用できる。
関連項目 脚注 注釈 ^ 無いものもある。Ruby では、trueはTrueClass、falseはFalseClassだが、共通の直接の親クラスとなるBooleanのようなクラスは無い。C言語 では（C99 では追加されたが）伝統的にはintで代用される。 
