Chapter Two, Tutorial Four

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.

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, '&'.)