<logic, philosophy of science> a rule of inference of the form:
p -> q ~ q _______ ~ pExample: "If it had rained this morning, then the grass would still be wet. But the grass is not wet. Therefore, it did not rain this morning." A simple truth-table shows that any argument of this form must be valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google