Where does “not” occur in “If Zayd is human, he is not a horse”?

Conditional Propositions: Connected and Disjunctive Forms

Necessarily negation of the whole conditional
Nowhere
Antecedent negation
Within the consequent