A syllogism is a deduction. It is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises). The idea is an invention of Aristotle.

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)