disjunctive syllogism noun1 •A logical argument of the form that if there are only two possibilities, and one of them is ruled out, then the other must take place. In symbols: P∨Q,¬P⊢Q formsdisjunctive syllogisms
