disjunctive syllogism

名词noun

1. 1(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