論理学で、命題のとりうる真・偽のこと。

多値論理学では、例えば真・偽・真偽不明のような三値、またはそれ以上の値がありうる。

ブール代数・ブール論理・ブール領域

ディジタル回路・正論理と負論理

恒真式(トートロジー)