3.1.27 Refer to this Tarski's world: Let Above(x, y) mean that x is above y (but possibly in a different column). Determine the truth or falsity of each of the following statements. Give reasons for your answers. c. By such that Square) A Abovey, d). d.3z such that Triangle(z) Above(f, z). 3.2.47 Using predicate symbols, rewrite this statement without using the words "necessary" or "sufficient: "The absence of error messages during translation of a computer program is only a necessary and not a sufficient condition for reasonable Iprogram] correctness." Don't forget to define all symbols and domains that you use