$6.$ Use quantified predicates to express the following sentences.a$.$ The sum of two negative integers will always be negative.b$.$ For each positive integer, there doesnt exist any negative integer that has the same value as it$.$c$.$ For any two integers, there is always another integer equals to their $($the first two integers$)$ product$\mathrm{.}7.$ Negate each predicate you created in question $6,$ then simplify them to remove the negation operators. Whilesimplifying, clarify which logic rule$($s$)$ you use in each step.