Why cannot both be false in the integer odd/even example?

Conditional Propositions: Connected and Disjunctive Forms