disjunctive syllogism
Sign in to saveAlso known as MTP, modus tollendo ponens
inference rule in logics : with "A or B" and "not A" deduce "B"
In the Vinony graph
Within Vinony's link graph, disjunctive syllogism is referenced by 78 other articles, and connects out to syllogism, formal system and English language.
It sits within the topics Classical logic, Paraconsistent logic and Rules of inference.
Its subject is documented across 13 Wikipedia language editions.
Connections
syllogism
Entity
formal system
Entity
English language
Concept
Latin
Entity
International Standard Book Number
Entity
stoicism
Entity
theorem
Entity
argument
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
distributive property
Entity
De Morgan's laws
Entity
logical disjunction
Entity
premise
Entity
tautology
Entity
reductio ad absurdum
Entity
first-order logic
Entity
exclusive or
Entity