συλλογισμός

A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (as defined by Aristotle in his 350 ʙ.ᴄ.ᴇ. book “Prior Analytics”), a syllogism arises when two true premises (propositions or statements) validly imply a “conclusion” (i.e. the main point that the argument aims to get across)…

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.