PL Symbolizations

Symbolize as before. Only now use names and predicates.

  • You may use the old keyboard shortcuts except that now you must type upper case letters for the predicates. (You can see why, right?)

Start...

More Directions, Hints, and Shortcuts...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The key: j: John Lennon r: Ringo Starr b: Bob Dylan s: Sonny Jurgenson
Bx: x was a Beetle. Ax: x was an athlete.
Sxy: x was a better singer than y. Qxy: x was a better quarterback than y.

  1. John Lennon was a Beetle.
  2. Bob Dylan was not a Beetle.
  3. John and Ringo were Beetles.
  4. Sonny Jurgenson was not a Beetle but was an athlete.
  5. John Lennon was a better singer than Bob Dylan.
  6. Sonny wasn't a better singer than Ringo.
  7. If Sonny was a Beetle, then Bob was an athlete.
  8. Sonny was a better quarterback than any of the others.
  9. Bob Dylan was a better singer than Ringo Starr unless Sonny Jurgenson was an athlete.