真

一个被严格证明为正确的陈述。不为真的陈述被称为假，尽管某些陈述可以在给定的一组假设和定义的范围内被严格证明为不可判定。常规的二值逻辑允许陈述只能为真或假，但模糊逻辑将“真”视为一个连续统，它可以具有介于 0 和 1 之间的任何值。符号 有时用于表示“真”，尽管“T”在真值表中更常用。