<logic, philosophy of science> a rule of inference of the form:
p . q _____ pExample: "Jevona is tall and Jevona is thin. Therefore, Jevona is tall". Although trivial in ordinary language, this pattern of reasoning is vital for proof construction in the propositional calculus.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google