Disjunctive syllogism, also known as Modus Tollendo Tollens is a rule of inference of Propositional logic that states that if P or Q is true and not P is true, then Q is true. In standard rule form: In sequent notation: It is the valid argument form: P or Q. Not P. Therefore, Q.