Как по Английски будет 삼단논법

An instance of a form of reasoning in which a conclusion is drawn from two given or assumed propositions (premises); a common or middle term is present in the two premises but not in the conclusion, which may be invalid (e.g. all dogs are animals; all animals have four legs; therefore all dogs have four legs ).

(in philosophy) relating to a process of logic in which two general statements lead to a more particular statement