<logic, mathematics, tautology> a rule of inference of the form:

p -> q ______________ p -> ( p & q )

Example: "If Mary comes to the party, then so will George. Therefore, if Mary comes to the party, then both Mary and George will." As a simple truth-table shows, any argument of this form is valid.

[A Dictionary of Philosophical Terms and Names]


Try this search on OneLook / Google

Nearby terms: absolute consistency « absolute inconsistency « absolutism « absorption » abstract class » abstract data type » abstract interpretation