<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