Syllogisms

Logicians since Aristotle have studied inferences such as “All men are mortal; all Greeks are men; therefore, all Greeks are mortal.” An inference of this sort is called a syllogism.