Build a world where all the sentences are true using tarski\'s world: Translate

Question

Build a world where all the sentences are true using tarski's world: Translate the sentences below into English. exist x (Cube(x) logicaland Medium(x) exist x (Cube(x) logicaland Medium(x) logicaland LeftOf (x, b) logicaland BackOf (x, c)) Forall y (Cube(y) rightarrow Large(y)) Forall y exist x (Tet(y) rightarrow (LeftOf(x, y))) Forall x((Large(x) logicaland Dodec(x)) rightarrow exist y (RightOf(y, x))) Forall x (Tet(x) rightarrow Forall y (Dodec(y) rightarrow FrontOf(x, y))) exist x (Tet(x) logicaland exist y (SameSize(x, y) logicaland Cube(y))) Forall y (Tet(y) rightarrow (Small(y) logicalor Medium(y)) Forall y (Tet(y) rightarrow exist x exist z (Cube(x) logicaland Cube(z) logicaland Between(y, x, z))) Forall x (Cube(x) logicalor Tet(x) logicalor Large(x))

Explanation / Answer

2) Every cube is medium

3)Medium cube is in left of b and back of c

4)All the cube is not large

5)Exactly one tet left of x.

6)Not all the large dodec is in right of x

7) All the dodec is infront of tet

8)None of the tet is same size of cube

9)All the tet is either small or medium
10)There is exactly two cube in between tet

11) All the tet and cube is large.

Related Questions

Navigate

• Browse (All)
• Browse B
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.