The alternatives cannot both be true but can both be false. Which type is this?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals