Definition:True

Definition
A statement has a truth value of true if and only if what it says matches the way that things are.

A statement form that is always true is called a tautology.

Also see

 * False
 * Truth Value