Symbols:Abbreviations/D/D.S.

From ProofWiki
Jump to navigation Jump to search

Abbreviation: D.S.

Disjunctive Syllogism, also known as Modus Tollendo Ponens.