選せん言げん的てき三さん段だん論ろん法ぽう

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.