How should a whole conditional be negated?

Contradiction and the Eight Conditions