2.5b
Symbolizations

Symbolize each of the following. Once you have finished with any answer and moved on — it's best to TAB to move on — the program will check your work. As long as your answer is logically equivalent to what I deem to be a correct answer, your answer will be counted as correct too.

Hints: If you just can't get an answer, you can get help. Enter "?" instead of a symbolization, and the correct answer will pop up. Finally, you can enter text without the shift-key. The program will understand. Start...

Use the following interpretation:

L: Lamb works for OU.
M: Moss works for OU.
N: Nute works for OU.
     G: Lamb tends the OU golf course.
H: Moss manages the OU hotel.
A: Nute is an administrator.


  1. Both Lamb and Moss work for OU.
  2. Neither Lamb nor Moss work for OU.
  3. Either Lamb or Moss does not work for OU.
  4. Lamb works for OU unless Nute is an administrator.
  5. Moss and Nute don't both work for OU.
  6. If Lamb works for OU then neither Moss nor Nute does.
  7. Lamb works for OU only if he tends their golf course.
  8. Being an administrator is a necessary condition for Nute to work for OU.
  9. Moss works for OU if she manages the OU hotel.
  10. Nute works for OU however he is an administrator.
  11. Being an administrator is a sufficient condition for Nute to work for OU.
  12. Moss works for OU if and only if she manages the OU hotel.
  13. Moss manages the OU hotel just in case Nute is an administrator.
  14. Neither Moss nor Lamb works for OU only if Nute is an administrator.
  15. Lamb works for OU if he tends the OU golf course and, also, only if he tends that course.

And the Key Phrase for reading check 4 is...

Key Phrase ..."possible".