A syllogism in which the necessary truth of both premises is known or demonstrable.
Origin
Late 16th century; earliest use found in Thomas Blundeville (fl. 1561), author and translator. After post-classical Latin syllogismus demonstrativus; compare Middle French, French syllogisme demonstratif.