Express each of these statements using predicates, quantifiers, logical connectives, and mathematical operators where the domain consists of all integers. 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.
D. The absolute value of the sum of two integers does not exceed the sum of the absolute values of these integers.