4. Express each of the following statements using only quantifiers, logical connectives, and as predicates use only the mathematical operators x (multiplication), >,,2,S,/ (division), - (negative numbers) - (difference), +or any of the ten digits. (a) The product of two negative integers is positive (b) The average of two positive integers is positive (c) The difference of two negative integers is not necessarily negative