2.2a: 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 triplebar.

         FLASH: Chapter 2's Symbolizations

Start...

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.

    And now some slightly harder ones...think more about our work on conditionals in tutorial one for help with these. And there's the Flash mini-lecture, Conditonals, for more on this.
  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.

  6. Agnes will attend law school if Bob will.
  7. If Bob will attend, then so will Agnes.
  8. If both Agnes and Bob attend law school, then they'll need a loan.
  9. They will need a loan only if Bob attends law school.

    Now, this last one is just a repeat of 5. But try to do this the long way. (See 10 of the above mini-lecture to see what I mean.)
  10. Agnes will attend law school if and only if Bob will attend.

 

 

 

Back to chapter two...