Problem 2: Logic Conditionals and Quantifiers Consider the sets A = {1,2,3,4,5), B = {2,4,6,8).. Define the predicates: even(x) is true if x is even (otherwise it is false) odd(x) is true if x is odd (otherwise it is false) greater than(x, y) is true if x >y (otherwise it is false) double(x, y) is true if x = 2y (otherwise it is false) For each of the statements below, determine if the statement is true or false. If false, provide a counter-example by referring to a specific element of the set. i. Vxe A odd(a) ii. - x Aeven()) iii. V x odd(x) XE A iv. VbEB 3a E A double(b, a) v. Va E A be B double(b, a) vi. 3 DEB Va E A greater than(b, a)