<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