Let K (x) denote the statement "x" has programmed with LISP" and D denote the domain of all students in our class. Express each of these quantified propositions in English: (a) _x elementof D: K(x) (b) not Forall_x elementof D: K(x) (c) Forall_x elementof D: not K(x) Let Q(x) denote the statement "x^2 > 3x" and Z denote all integers (i.e., ., -3, -2, -1, 0, 1, 2, 3, .). Determine the truth value of each of these statements: (a) Q(2) (b) 2(4) (c) Forall_x elementof Z: Q (x) (d) _x elementof Z: not Q(x) Translate the following statements to English where C (x) is "x is a computer scientist" and M(x) is "x has taken discrete math" and the domain D is all students at UTSA. (a) Forall_x elementof D: (M (x) rightarrow C(x)) (b) Forall_x elementof D: C(x) M(x) (c) _x elementof D: not C (x) Lambda M (x)