In the "Prior Analytics", Aristotle defines the syllogism as "a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so". (24b18–20)