<logic, philosophy of science> a rule of inference of the form:
p v q ~ p _____ qExample: "Either Ellen brought him to the party or Keith did. But Ellen didn't. So, Keith brought him to the party." The validity of this pattern of reasoning is evident from a simple truth-table.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google