Tarski's World Your name:

Tarski’s World

Your name: The figure below is called a “Tarski’s world”. Statements can be made about this world using notation such as: “Triangle(x)”, meaning “x is a triangle”, “Blue(y)”, meaning “y is blue”, and “Rightof(x,y)” meaning “x is to the right of y”, and so on.

Determine whether each of the following statements is true or false. The domain for each statement is the set of objects in the Tarski world shown above. (1) Circle(x) ⇒ Red(x). TRUE

or

FALSE

(2) ∃y such that Triangle(y) ∧ Red(y). TRUE

or

FALSE

TRUE

or

FALSE

(4) ∃w such that Square(w) ∨ Blue(w). TRUE

or

FALSE

(3) ∀z, Blue(z) → Triangle(z).