so that

and

(where Q is set of all rationals, and Z is set of all integers)

So my approach was to write out the contrapositive, which is the same statement logically. Which is (I think):

so that either

or

I'm not sure about the and statement. Is this contrapositive correct?

(if it is correct, then)

So now I just need to let q = a rational number and find a counter example r so that one of the statements in the or fails. So for example, let q = 0 which is rational, and r = 1, q + r is an integer, but qr is also an integer, however since q+r is an integer, the or statement is true, which should mean the original statement is false?

Is my logic correct? I'm not asking for how to prove this, I'm just asking if I can form a proof from what I've established so far.

Thanks!