disjunctive syllogism in Catalan

(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