<logic, philosophy of science> name given by medieval logicians to a categorical syllogism whose standard form is AEE-4. Example: All first-degree murders are premeditated homicides, but no premeditated homicides are actions performed in self-defence, so it follows that no actions performed in self-defence are first-degree murders. This is one of the fifteen forms in which syllogisms are always valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google