<*logic, philosophy of science*> a rule of inference of the form:

p -> q p _______ qExample: "If Tuesday is the 14th, then Friday must be the 17th. Tuesday is the 14th. Therefore, Friday is the 17th". A simple truth-table shows the validity of this pattern of reasoning.

[A Dictionary of Philosophical Terms and Names]

Try this search on OneLook / Google