Definition:True

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.