真理値(しんりち、英:truth value) は、論理学の用語で、ある命題について、命題の内容が真であるかどうかを表す値のこと。英語のTrueとFalseからTを真としFを偽とすることがある。
真偽値(しんぎち)、
論理値(ろんりち、英:logical value)といわれることもある。
それから転じて、様々な
プログラミング言語で条件が真か偽かの表現や
論理演算に用いられる。真を1(デジタル信号のON)、偽を0(デジタル信号のOFF)とする処理系を
正論理、その逆を
負論理という。
全ての可能な条件に対する
論理演算の結果を表に示したものを
真理値表という。