(Symbolic Logic - Language Proof and Logic) Translate the sentences into English
ID: 3912981 • Letter: #
Question
(Symbolic Logic - Language Proof and Logic)
Translate the sentences into English
: Translate the sentences below into English. To do that, add a line after each sentence and start your English tr 1. anslation with a semicolon as I did here. Then build a world where all the sentences are true. Upload the sentences to the "FOL to ENGLISH folder" and the world to the "World" folder. 2. 3x(Cube(x) A Medium (x)) 3. x(Cube(x) ? Medium(x) ? LeftOf(x, b)a BackOf(x, c)) 4. Vy(Cube(y)Large(y)) 5. Vy3x(Tet(y) -(LeftO#xy))) 6. Vx((Large(x) A Dodec(x)) - -3y(RightOf(y,x))) 7, V x(Tet(x) Vy(Dodec(y) Fronto#xy))) 8.3xTet(x) 3y(S ameS e(x,y) A Cube(y)) 9. Vy(Tet (y)-(Smally) v Medium(y))) 10, vy(Tet(y) ?3x3x (Cube(x) ^ Cube(z) ^ Between(y.xz))) 11. Vx(Cube(x) v Tet (x) v Largelx))Explanation / Answer
There Exists: At least one is there
For All: Applies for every single one
2. There are cubes that are medium in size
3. There are cubes that are medium in size which have some in the left and some in the back
4. No cube is large
5. No Tet has something right to it
Note: 4 sub parts at a time please -- Policy of chegg
Related Questions
Navigate
Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.