真偽値

ウィキペディア

真理値

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/04/13 16:25 UTC 版)

この記事は英語版の対応するページを翻訳することにより充実させることができます。（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文などの制御構造や、条件演算子などで使用できる。

関連項目

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

脚注

注釈

1. ^ 無いものもある。Rubyでは、trueはTrueClass、falseはFalseClassだが、共通の直接の親クラスとなるBooleanのようなクラスは無い。C言語では（C99では追加されたが）伝統的にはintで代用される。

ウィキペディア小見出し辞書

真偽値

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/07/15 00:00 UTC 版)

「if文」の記事における「真偽値」の解説

「真として（あるいは、偽として）扱うべき値」について詳説する。条件式の値が真理値をとるブーリアン型でなければならない言語もあるが、そのように限定していない言語もある。C言語にはそもそもブーリアン型が無くintで代用しているが、条件式としては汎整数型のゼロ（0）の他、ヌルポインタや 0.0 なども偽として扱われる。Rubyではnilとfalse以外は真として扱われる。JavaScriptにはtruthyとfalsyという用語があり、falseの他いくつかの値がfalsyで、その他の多くの値はtruthyである。比較的少数の偽になる値の他は、真、という言語が多いが、それと逆に、Dart言語（のproduction mode）のようにtrue以外は偽という言語もある（checked modeではbool以外の型だとエラー）。