Give the negation of the following statement: “If 𝑎 is an integer not divisible by 2 or 3, then 24|(𝑎² + 23)”

Question

Note: 𝑎|𝑏 (a divides b) if and only if 𝑏 = 𝑎𝑚 for some integer 𝑚]

Answer 1

negation of an implication

~(p--->q) = ~( ~p v q) = p and ~q

The negation is:

a is an integer not divisible by 2 or 3 AND 24 is NOT divisible by (a^2+23)