2.1ex I: Symbolizations in SL

Let's do some elementary symbolizations. The idea is to take a sentence, like "Agnes and Bob will attend law school" and symbolize it, here as 'A&B'. What you'll do is a) press the "start" link just below, b) read a sentence of English, and c) type in its symbolization and press TAB.

Remember to type the ">" symbol for horseshoe and the "=" symbol for the triple bar.

         Flash: Chapter 2's Symbolizations


More Directions, Hints, and Shortcuts...






Use the following symbolization key to symbolize 1 - 5 in the space provided.

A: Agnes will attend law school.
B: Bob will attend law school.
L: They will get a loan.

  1. Either Agnes or Bob will attend law school.
  2. If Agnes will attend law school, then so will Bob.
  3. It's not the case that they will get a loan.
  4. If it's not the case that they will get a loan, then Agnes will not attend law school.
  5. Agnes will attend law school if and only if Bob will attend.




Back to chapter two...