Problem 9. Existantial, Unimersal Qualifiers 8 Proficulos (12 points) Use the following predicates: - eircle(x) is True when x is a circle - rect (x) is True when x is a rectangle - star (x) is True when x is a star - chade(x) is True when x is shaded in - next. to (x,y) is True when the squares containing x and y touch (i.e they're immediate neighbors left-right, top-bottom, or they share a corner diagonally). to determine if each of the statements below is true or false. Provide a brief justification towards your answer. For example, given the statement rect(b) a correct reponse is. This is false as b is not a rectangle': (a) [2 pts.] x-circle(x) Solution: Solution: (c) [2 pts.] ahade {x)ract(x) Solution: (d) [2 pts.| -shade(x) rect(x) Solution: (e) [2 pts.] x ynext.to (x,y) cirele(y) Solution: 10 (i) [2 pts.] xy(rect(y)i sbase(y)) noxt .tetx.y) Solution