# Disjunctive Syllogism | | In classical logic, **Disjunctive Syllogism** is a valid argument form which is a syllogism having a disjunctive statement for one of its premises. | |-|-| | | wikipedia:: [Disjunctive syllogism](https://en.wikipedia.org/wiki/Disjunctive_syllogism) | > [!summary]- Wikipedia Synopsis > In classical logic, **Disjunctive Syllogism** (historically known as modus tollendo ponens (MTP), Latin for "mode that affirms by denying") is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.An example in English: > > > > I will choose soup or I will choose salad. > > I will not choose soup. > > Therefore, I will choose salad. P or Q ~P Thus, Q [[Syllogism]]