How to translate these sentences into FOL?

timer Asked: Nov 30th, 2018

Question description

1. Every tetrahedron is in front of every dodecahedron.

2. No dodecahedron has anything in back of it.

3. No tetrahedron is the same size as any cube.

4. Every dodecahedron is the same size as some cube.

5. Anything between two dodecahedra is a cube. [Note: This use of two really can be paraphrased using between a dodecahedron and a dodecahedron.]

6. Every cube falls between two objects.

7. Every cube with something in back of it is small.

8. Every dodecahedron with nothing to its right is small.

9. (⋆) Every dodecahedron with nothing to its right has something to its left.

10. Any dodecahedron to the left of a cube is large.

Tutor Answer

(Top Tutor) Studypool Tutor
School: Rice University
Studypool has helped 1,244,100 students
flag Report DMCA
Similar Questions
Hot Questions
Related Tags

Brown University

1271 Tutors

California Institute of Technology

2131 Tutors

Carnegie Mellon University

982 Tutors

Columbia University

1256 Tutors

Dartmouth University

2113 Tutors

Emory University

2279 Tutors

Harvard University

599 Tutors

Massachusetts Institute of Technology

2319 Tutors

New York University

1645 Tutors

Notre Dam University

1911 Tutors

Oklahoma University

2122 Tutors

Pennsylvania State University

932 Tutors

Princeton University

1211 Tutors

Stanford University

983 Tutors

University of California

1282 Tutors

Oxford University

123 Tutors

Yale University

2325 Tutors