noun
A logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions. Used in formal logic and philosophy.
A classic example of a syllogism is 'All humans are mortal. Socrates is human. Therefore, Socrates is mortal.'