In exclusion of emptiness, denying one side entails affirming the other.

Exceptive Syllogism: Valid Inferences from Connected and Disjunctive Conditionals