The demonstrative syllogism, also called scientific syllogism by Aristotle, is a type of categorical syllogism whose main characteristic is that the cause, the reason for a fact, is not found in the conclusion of this reasoning, but is found exclusively in the premises. If "a long life" is preached of "all the beings lacking in gall" and "devoid of gall" is preached of "all men, horses and mules" it is necessary that "a long life" be preached of "all the men, horses and mules"

The reason that "all men, horses and mules" have "a long life" is that all of them "lack gall." "They have no gall" is not found in the conclusion, therefore we are faced with a demonstrative syllogism. Notes and Bibliography

wiki