Problem 4: Use predicates, quantifiers, logical connectives and mathematical operators to express the below mathematical statements. Consider all integers as the domain. (a) If m and n are both negative, their product is always positive. (b) Assume m and n are postive, then average of m and n positive. (c) If m and n are negative, m, n is not necessarily negative