<logic> A wff of truth-functional propositional logic whose truth table column contains nothing but T's when these are interpreted as the truth-value Truth.
See syntactic tautology
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google