真

一個被嚴格證明為正確的陳述。不為真的陳述被稱為假，儘管某些陳述可以在給定的一組假設和定義的範圍內被嚴格證明為不可判定。常規的二值邏輯允許陳述只能為真或假，但模糊邏輯將“真”視為一個連續統，它可以具有介於 0 和 1 之間的任何值。符號 有時用於表示“真”，儘管“T”在真值表中更常用。