Which inference is “If A then B; A; therefore B”?

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals