<logic, philosophy of science> name given by medieval logicians to any categorical syllogism whose standard form may be designated as AEE-2. Example: All terriers are dogs, while no cats are dogs, so no cats are terriers. This is another of the fifteen forms of valid syllogism.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google