Noun
disjunctive syllogism (plural disjunctive syllogisms)
(logic) 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
{\displaystyle P\vee Q,\neg P\vdash Q}