A statement whose truth value is always 'True' is called a ______.
A statement whose truth value is always 'true' is called a tautology.
A tautology is a formula or assertion that is true in every possible interpretation.
A tautology is a formula which is "always true" that is, it is true for every assignment of truth values to its simple components.