This is a text for an introductory symbolic logic course. It is based upon an old text that I wrote in 1969, which is long out of print. But it modifies the approach of that book to reflect theoretical work that I have done on theorem proving in the OSCAR Project. The most important innovation is to formalize the use of bidirectional reasoning. The idea behind the book is that people use bidirectional reasoning naturally, but by making the students aware of their use of it and having them adopt a notation that keeps track of it, we make it easier for them to prove theorems in logic.

At this time I have no plans for publishing this book. There are too many logic texts already on the market to make that useful. So it will only be web-published. Anyone who wants to use this text is free to do so, either for their own use or as the text in a course. I ask only that you give me any useful feedback you may have.

To download the material:

Propositional Calculus:

• Chapter One, version of 10/29/01.
• Chapter Two, version of 10/29/01.
• Chapter Three, version of 10/29/01.
• Chapter Four, version of 10/29/01.

Predicate Calculus:

• Chapter Five, version of 10/29/01.
• Chapter Six, version of 10/29/01.
• Chapter Seven, version of 11/1/01.

Additional material to help in studying:

• Solutions to the practice problems on page 43.
• Solutions to the problems on page 55.
• Sample first exam, with solutions.
• Solution to exercises on pp. 67, 68.
• Solution to exercises on pp. 73, 76.
• Sample second exam, with solutons.
• Second exam with solutions.
• Sample third exam with solutions.
• Sample fourth exam with solutions.
• Sample Final Exam with solutions.