The entire course is organized in five modules. Essential
material is presented with a dark red background. Supplemental
material is presented with a dark blue background. Parallel
SLIPS lessons are presented with a dark brown background.
Parallel material from other sources (sometimes
rather advanced) is presented with a dark green background. Review
and practice exercises are presented with a deep orange background.
Proficiency tests are presented with a purple
background.
While the material on these pages is self-contained, some students may find it helpful to work with one or another text that covers the same topics. The main difficulty in doing this is that there are differences in symbolization and in the approach to a proof system, so it is necessary to make constant adaptations. An additional difficulty is that I follow Bertrand Russell in introducing a predicate notation at the same time as a propositional notation, but I delay discussing the use of quantifiers.
In the modules below, I would recommend working
from left to right along the top row, then going back into material
from other rows as it appears helpful or interesting. I tend to discourage
printing out the pages for study: in some cases, where there is interactive
material, printouts will be virtually useless, and unless the printout
is in color a great deal is lost for any of these pages.
MODULE 1: Basic Symbolization
| Using quantifiers | Effective symbolization for monadic expressions | Direct inferences | Direct derivations | Exchanging wff's | Proficiency test |
| Terms used in predicate logic | More about predicate logic | Beginning with derivations | Inferences and equivalences | ||
| Something about Prolog and other computing languages | |||||
| Schaum: 130-142 | Schaum: 81-87
note differences in what is labeled v elim |
Schaum: 81-87 | Schaum: 81-87, 103 |
| Prenex expressions | Expressing identity | The decidability (computability) problem | Boolean algebra | A three-value logic | Proficiency
test
|
| Schaum: 158-162 | |||||
