1)a

1)b)

Use the same image as above

Consider the following Tarski world: 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 c on the Tarski world, and so on. a) c,Gray(c) Circle (c) T or 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) d,Circle(d)Gray(d) T or 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) z, Square (z)( Blue (z) 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: 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. ShapeSame (x,y) means " x is the same shape as y " ColorSame (x,y) means " x is the same color as y " RowSame (x,y) means "x is in the same row as y " 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 c on the Tarski world, and so on. a) x,y, Square (x)( Blue (y)RightOf(x,y)) Tor F: If False, give a value for y for which no such x exists. If True, give a value for x for which the statement is True: b) x,y,(x=yRowSame(x,y))(ShapeSame(x,y)ColorSame(x,y)) Tor F: If False, give values for x,y for which the statement is false. If True, describe the meaning of the statement in words (one sentence): c) w,v,(w=v)RightOf(v,w) Tor F : If True, give a value of w for which it is true; if False, give a value for v for which there is no such w