<*logic*>
a logically valid wff of truth-functional propositional logic.
A
compound proposition that is true in every row of its truth
table or in
every interpretation. contingency, contradiction,
logical validity,
semantic tautology, syntactic tautology
Or also,
a non-atomic, or molecular, proposition that is true no matter
what the assignment of truth value to the atomic propositions that
it contains. Example: "p or not-p". This molecular proposition is
true whether we assign "p" the value true or the value false.

based on [A Philosophical Glossary]

Try this search on OneLook / Google