disjunctive syllogism in Japanese

(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 \vee Q, \neg P \vdash Q