Explore relationships

Disjunctive syllogism

In classical logic, disjunctive syllogism (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a validargument form which is a syllogism having a disjunctive statement for one of its premises.

Use + to expand a branch. Click a topic name to open its summary.