{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

pracexam3 - 15 If all PLANETS are INHABITABLE then some...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Instructions. Translate the following statements into the language of predicate logic. Use the ±rst letters of the capitalized words in your translations (either as lower or uppercase). 1. NEPTUNE and JUPITER are un-INHABITABLE. 2. Neither NEPTUNE nor MERCURY are GASEOUS. 3. NEPTUNE and URANUS are NEIGHBORS. 4. CALLISTO ORBITS JUPITER, unless it ORBITS NEPTUNE. 5. No STARS are INHABITABLE. 6. Some PLANETS are not INHABITABLE. 7. All GASEOUS PLANETS ROTATE. 8. Not everything is INHABITABLE. 9. Something both ROTATES and is GASEOUS. 10. Every GASEOUS PLANET either ROTATES or DRIFTS. 11. Everything is GASEOUS only if nothing is a PLANET. 12. All PLANETS and STARS are either INHABITABLE or GASEOUS. 13. Only INHABITABLE PLANETS ROTATE. (two readings, give both) 14. The only non-GASEOUS PLANETS ROTATE.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 15. If all PLANETS are INHABITABLE, then some GASEOUS PLANETS are INHABITABLE. 16. No INHABITABLE PLANETS are GASEOUS, unless JUPITER is INHABITABLE. 17. Something ORBITS JUPITER. 18. There is something that does not ORBIT JUPITER. 19. Everything is ORBITTED by something (or other). 20. There is something that ORBITS nothing. 21. JUPITER is LARGER than everything that ORBITS it. 22. Something that is LARGER than MERCURY ORBITS JUPITER. 23. Nothing that is LARGER than JUPITER is LARGER than NEPTUNE. 24. No PLANETS are LARGER than every STAR. 25. Some PLANETS that are LARGER than every ASTEROID are INHABITABLE. 26. All STARS that are LARGER than every PLANET are LARGER than every ASTEROID. 27. Nothing that is LARGER than every STAR ORBITS any PLANET....
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online