Tautology

A logical statement in which the conclusion is equivalent to the premise. If $p$ is a tautology, it is written $\models p$.