disjunctive syllogism definition
In classical logic disjunctive syllogism (historically known as modus tollendo ponens) is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.