A statement which is rigorously known to be correct. A statement which is not true is called false, although certain statements can be proved to be rigorously undecidable within the confines of a given set of assumptions and definitions. Regular two-valued logic allows statements to be only true or false, but fuzzy logic treats "truth" as a continuum which can have any value between 0 and 1. The symbol is sometimes used to denote "true," although "T" is more commonly used in truth tables.
True
See also
Alethic, Booleans, False, Fuzzy Logic, Logic, Tautology, Truth Table, UndecidableExplore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W. "True." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/True.html