Consider the following Tarski world: b a A e A h i k Predicates exist as follows: Blue(x) means "x is blue" (and similarly for the other two colors) Triangle(x) means "x is a triangle" (and similarly...

Extracted text: Consider the following Tarski world: b a A e A h i k Predicates exist as follows: Blue(x) means "x is blue" (and similarly for the other two colors) Triangle(x) means "x is a triangle" (and similarly for the other two shapes) RightOf(x,y) means "x is to the right of y" although possibly in a different row. For each of the following statements, say whether the statement is T or F, and then say why. When saying why, you may use the letter c to refer to shape con the Tarski world, and so on. a) Vc, Gray(c) → Circle(c) Tor F: If True, describe the meaning of the statement in simple words; if False, give the name of an object that makes the statement false: b) Vd, Circle(d) → Gray(d) Tor F: If True, describe the meaning of the statement in simple words; if False, give the name of an object that makes the statement false: c) 3z, Square(z) A ~( Blue(z) v Black (z)) T or F: If True, give an example of z that makes the statement true; if False, give a brief description of why the statement is not true: