... original statement is a conditional, when negated yields / ... When you negate a conditional, you end up ... you referenced is for negating intersection statements
... for negating conditional statements. It literally says "Negating the Conditional Sentence” ...