Sentential Logic: 10 Tutorials

Logical System

Indicative sentences in a natural language, English, for instance, are either true or false. For example, 'There are 35 State Governors in the U.S.A.' is an indicative sentence (which happens to be false). 

Indicative sentences can be atomic or compound. 'There are 35 State Governors in the U.S.A.' is an atomic sentence; whereas 'There are 35 State Governors in the U.S.A. and there is one President of the U.S.A. ' expresses a compound sentence composed of two atomic sentences (one false one and one true one).

Sentential logic considers reasoning involving atomic and compound sentences. We will see later, when considering predicate logic, that sentential logic is a relatively coarse instrument. It ignores details which can be important. However, ignoring detail allows the resultant theory to be simple, elegant, and easy to understand. And it is a good representation for many cases.

It is also a good place to start when learning logic.


Each of the tutorials has its own exercises, which can be done quickly and easily out of their own web pages. However, sometimes a User might want to save a half-finished proof to come back to it later, or might want to print a proof, or might want to do totally new exercises not supplied here on this site. From a computer software point of view, those tasks are not easy to provide out of plain web pages. But, there is a web application 'Deriver' that will run out of a web page and provide those abilities.  Should you wish to use that, see Exercises for Easy Deriver using the Deriver Web Application . Good advice is: start these tutorials without out it, but if you get to the point of wishing to save some work, then switch to the Deriver Web Application.