<logic, philosophy of science> name given by medieval logicians to any categorical syllogism whose standard form may be designated as EAE-1. Example: No cold-blooded animals are furry pets, even though all reptiles are cold-blooded animals; therefore, no reptiles are furry pets. This is one of only fifteen forms of syllogism that are always valid.
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google