Chapter Two, Tutorial Five

SL Symbolization
(a second pass)

We have already seen that symbolization of English statements into SL can be less than straightforward. It is time to look at a few more of the complications. While we do this, we'll suspend our use of names. So, for example, instead of symbolizing "Agnes will attend law school" with something like 'La', we'll avoid the complications of names and predicates and just use this interpretation:

A: Agnes will attend law school.

OK, let's start with...

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Conjunction

In Tutorial 2.1, we saw that there were a number of different ways in English to express a conjunction. Just to remind yourself, look at the following list, and pick out the one connective which does NOT express conjunction:

a. and       b. only if      c. both

(Click on the connective which canNOT be symbolized by the ampersand, '&'.)