Hello i am working through a math textbook in proofs.
i have gotten to a question that i dont understand why the answer is the way it is.
in the (a) and (b) question the answer does not negate the variable being integer whereas in the (c) both "r does not equal 0" and "r is a rational number" is negated. Why? is it because in the (A) and (b) questions the assignment to the integers is not part of the implication?
a) (a,b,c belong to the integers) and (if (a|b and b|c) then a|c)
but
(c) if (r belongs to rationals and r =/= 0) then 1/r is rational
below are the answers

Thanks for any help.
i have gotten to a question that i dont understand why the answer is the way it is.

in the (a) and (b) question the answer does not negate the variable being integer whereas in the (c) both "r does not equal 0" and "r is a rational number" is negated. Why? is it because in the (A) and (b) questions the assignment to the integers is not part of the implication?
a) (a,b,c belong to the integers) and (if (a|b and b|c) then a|c)
but
(c) if (r belongs to rationals and r =/= 0) then 1/r is rational
below are the answers

Thanks for any help.