Predicate wff examples: Tarski's World A O Alfred Tarski (VO!Triangle(x) Blue(x)] (Wx)[Blue(x) Triangle() (3y)[Square(y) Rightond, y)] (32) [Square(2) Gray(2)] True; a, c, g all blue False; counterexample True; example h x2 (Section 1.3) The domain is the diagram of Tarski's World on slide 1.81. Define predicate Above(x, y) to be true if x is above y, whether in the same or different columns. Determine the truth value of each of the following predicate wffs. a. Vu Circle(u) - Gray(u) b. Vu Gray(u) - Circle(u) c. 3y Square(y) Above(y, d) d. 3z Triangle(z) A Above(f, z)