Skip to content
EntityQ430954· pop 13· linked from 78 articles

disjunctive syllogism

Sign in to save

Also known as MTP, modus tollendo ponens

inference rule in logics : with "A or B" and "not A" deduce "B"

Wikidata facts

Subclass of
syllogism
Sources (1)

via Wikidata · CC0