Problem 3 (6 points) Let D denote the domain of all people. Alex is an individual in D. You are given the following predicates D(x) : x is a doctor M(x) : x has a medical license K(x, y) : x knows y T(x, y) : x trusts y Translate each statement below into symbolic predicate logic. a. Every doctor has a medical license. b. Everybody knows a doctor whom they trust c. Alex doesn't know anyone with a medical license. d. Nobody trusts all doctors. Problem 4 (3 points) Given the following proposition in symbolic form (vxEZa yEZ(xysx+y)v(y 1)) (P2) Write the negation of proposition (P2) in the simplest form (with the negation moved as far to the right as possible). For example, for the proposition: (v x ZX x = x + 1 ) the negation would be: (BxEZ(x x+1). Problem 5 (7 points)