Untitled World
•
Tarski's World
B I A T/F
Blocks Pets Set Arith
Tet Small LeftOf SameCol Small
Cube Medium RightOf SameRow Large
Dodec Large FrontOf Between Adjoin
SameShape SameSize BackOf
Boolos' Sentences.sen
T 1. Between(a, c, d) ? Between(b, c, e)
T 2. e ? f ? (Adjoins(b, c) ? Adjoins(e, b) ? Adjoins(b, f))
T 3. SameCol(e, f) ? Smaller(e, e)
F 4. ¬((SameRow(e, b) ? SameRow(b, c) ?
SameRow(c, f)) ? ¬Between(a, c, d))
T 5. LeftOf(e, b) ? RightOf(a, e)