Syllogism
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.