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).