Modus Tollendo Ponens/Also known as

Sequuent

The Modus Tollendo Ponens is also known as the disjunctive syllogism, abbreviated D.S..

Sources

• 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $3$: The Method of Deduction: $3.1$: Formal Proof of Validity: Rules of Inference: $4.$