しんり‐ち【真理値】 論理学で、命題のとりうる真・偽のこと。多値論理学では、例えば真・偽・真偽不明のような三値、またはそれ以上の値がありうる。