I need some help correcting this question.

4} Dene the domain and predicate for the quantied statements. Write the statements symbolically. Then write the negation symbolically and in words. a] All numbers that are divisible by 6 are even. b] Some even numbers are divisible by 6. A) All mimbers that are divisible by 5 are even. Let P(x) = K divisible by 6 And q(:c}= x is even Domain is R (Real Number) Symbolically: 'v" x e R, P(x) > q(1c} Negation: El 1 E R, {P{x] A ~ q(x]} In words: Home meber that are divisible by 6 are not even. B} Some even numbers are divisible by 5. Let P(X) = It even number q{x) = 1: id divisible by E Domain us R, Real Number Symbolieally: El :c E R, (P(x) ) q(x)} Negation: b" x E R, (x) a w q(x)) In words: All even meb-ers are not divisible by til 4h: When this statement is existential it is a conjunction not a conditional. So the original statement should be x) it x} The redo the negation based on this