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