Modus Tollendo Ponens/Also known as
Jump to navigation
Jump to search
Sequent
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.$
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): disjunctive syllogism
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): disjunctive syllogism
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): disjunctive syllogism