Chapter Two, Tutorial Two
Introduction to Sentence Logic:
SL with Names


This tutorial introduces our first formal language and logic SL.

SL is the logic of compound sentences.

So, we will be studying the logical principles resulting from the construction of complicated sentences from simpler ones.






























Let's begin with the easiest sorts of compounding.

Example one:

Agnes is to attend law school; as well, Bob will attend law school.

Well, of course, we'd usually put this in a more compact way, say, "Agnes and Bob will attend law school". Or, supposing that Agnes is Agnes Buck and Bob is her husband of the same surname, one might say "The Bucks will both attend law school". In any case, we can understand these as ways to say:

Both Agnes will attend law school and Bob will attend law school.

We will prefer this latter, longer way of putting the point in the next few chapters because it shows a long sentence built out of shorter ones. Next, we look to complications.




































This simple logic is valuable is because it introduces much of the symbolism we will need in this entire course; that is SL. We begin with some examples translating from English into SL.

First the simple statement above,



















































We've seen

2. If both Agnes will attend law school and Bob will attend law school, then they will need to get a loan.

is translated


What's with the parentheses?