「真理値」の版間の差分
削除された内容 追加された内容
→関連項目: 用語修正 タグ: モバイル編集 モバイルウェブ編集 改良版モバイル編集 |
注釈化 |
||
2行目:
'''真理値''' (しんりち、{{lang-en-short|truth value}}) は、[[命題論理]]などの[[命題]]の真偽を示す値である。英語のTrueとFalseから、真に対して''T''、偽に対して''F''という記号をあてることもある。'''論理値''' (logical value) も同じ。真と偽という値をとることから'''真偽値'''ともいうが、[[非古典論理]]などで[[多値論理]]における「真らしさ」の値も(真と偽以外の値にもなる)真理値である。
コンピュータ[[プログラミング言語]]などの[[データ型]]では、真理値のような型として'''真理値型'''('''真偽値型'''、[[ブーリアン型]]などとも)があるものがある<ref group="注釈">無いものもある。[[Ruby_(代表的なトピック)|Ruby]]では、<code>true</code>は<code>TrueClass</code>、<code>false</code>は<code>FalseClass</code>だが、共通の直接の親クラスとなる<code>Boolean</code>のようなクラスは無い。[[C言語]]では([[C99]]では追加されたが)伝統的にはintで代用される。</ref>。[[関係演算子]]の結果などがブーリアン型であり、さらに[[論理演算子]]などで組み合わせることができ、それを[[if文]]などの[[制御構造]]や、[[条件演算子]]などで使用できる。
== 関連項目 ==
15行目:
* [[恒真式]]([[トートロジー]])
==脚注==
=== 注釈 ===
{{
{{デフォルトソート:しんりち}}
|