...
The negation of 'J → F' is not '/F → /J'. The contrapositive ... the conditional's negation. That is, the negation of P is true ... However, for the sake of this curriculum, you're probably ... just memorizing that the negation of "all" is "some not".