noun
disjunctive syllogism
A logical argument form where one disjunct is denied, and the other is affirmed. Technical term used in formal logic.
See also: 三段論法
選言的三段論法は、論理学の基本的な推論規則の一つである。
Disjunctive syllogism is one of the basic inference rules in logic.
三段論法 is a general syllogism, while 選言的三段論法 specifically refers to a disjunctive syllogism.
Compound of 選言的 (disjunctive) + 三段論法 (syllogism), a calque from Western logic terminology.