1.4a Formally specify an array problem** Using the languages of predicate logic (with quantifiers, if appropriate) and algebra, give the formal postcondition for an algorithm (but not the algorithm itself) that accepts an array A, or arrays A and B, and returns value y as stated below. 1. y=A but in ascending order