Aristotle called these true deductive inferences syllogisms. All syllogisms follow the same basic structure as the “Socrates is mortal” example. Each contains two premises or assumptions (called major and minor) and the inescapable conclusion we have to draw from them.
