Syllogism

A deductive argument having two premises and a conclusion – in which the conclusion is derived from the two propositions. The most common type consists of categorical statements such as:

All Xs are Ys, all Zs are Ys, therefore: all Xs are Zs

(see also: logic, reasoning, validity, conditional proposition)