真理値

出典: フリー百科事典『ウィキペディア（Wikipedia）』

真理値(しんりち、英：truth value) は、論理学の用語で、ある命題について、命題の内容が真であるかどうかを表す値のこと。英語のTrueとFalseからTを真としFを偽とすることがある。真偽値（しんぎち）、論理値（ろんりち、英：logical value）といわれることもある。

それから転じて、様々なプログラミング言語で条件が真か偽かの表現や論理演算に用いられる。 真を1（デジタル信号のON）、偽を0（デジタル信号のOFF）とする処理系を正論理、その逆を負論理という。

全ての可能な条件に対する論理演算の結果を表に示したものを真理値表という。

[編集] 関連項目

• ブール代数
• 論理式
• 3値論理
• ブール論理
• ファジィ集合論
• ブーリアン型

真理値から転じた、プログラミング言語のデータ型のひとつ。