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.'
disjunctive syllogism