(Symbolic Logic - Languge Proof and Logic)

Translate the sentences from English in to FOL. There is no world to check it against. Save your sentences and upload them to the folder marked "English to FOL."

1. All the dodecs are either large or small, but none of them are medium.

2. There is a least one dodec behind all the tets.

3. All tets are small and in the same row.

4. No tets are medium.

5. a is to the right of all the dodecs.

6. There is a cube in front of all the tets.

7. There is a least one large dodec and one small dodec, but none of the dodecs are medium.

8. c is in front of a medium tet.

9. There a large cube behind a small dodec.

10. All the large tets are between cubes.