X 3) In the symbolic expression [-] below... D is the set of ordered triples (a, b, c) of positive real numbers (i.e., D =R*x R** R*); Pla, b, c) is the predicate that asserts "a squared plus b squared is equal to c squared"; and Q(a, b, c) is the predicate that asserts "a plus b is greater than c." 10 pts. [-] V(a, b, c) e D. P(a, b, c) Q(a, b, c) a) Write out the contrapositive of [-] in both symbolic form and in ordinary English In your English translation must use the English equivalents of any predicates, and you cannot use any symbols other than D, a, b, and c. b) Write out the logical negation of [.) in both symbolic form and in ordinary English. In your English translation must use the English equivalents of any predicates, and you cannot use any symbols other than D, a, b, and c. You must use De Morgan's Laws to the fullest extent