|
Click on the following link to access the online course for students (or click on the Students link on the home page of this website). This course is open to anyone, anywhere, for free.
Online course for students
Click on the following link to purchase a textbook for the course. Note that the textbook is simply a printed version of the online course notes.
Textbook
Click on the links below to download slides for the chapters in the course. Most of the Keynote and Powerpoint files have presenter notes associated with the slides; the PDF files contain just slides and no notes. You are welcome to use the slides as is or you can intermix them with your own slides. Whatever you think works best. If you come up with other ways of presenting the material or additional examples and if you have time, we would appreciate it if you could let us know so that we can incorporate your ideas into future versions.
| Introduction |
pdf,
key
|
| |
| Propositional Logic |
pdf,
key
|
| Propositional Analysis |
pdf,
key
|
| Direct Proofs |
pdf,
key
|
| Natural Deduction |
pdf,
key
|
| Refutation Proofs |
pdf,
key
|
| |
| Relational Logic |
pdf,
key
|
| Relational Analysis |
pdf,
key
|
| Relational Analysis |
|
| Relational Proofs |
pdf,
key
|
| |
| Term Logic |
pdf,
key
|
| Term Proofs |
pdf,
key
|
| Induction |
pdf,
key
|
| Logic in Logic |
pdf,
key
|
| |
| Equality |
pdf,
key
|
| First-Order Logic |
pdf,
key
|
| Conclusion |
pdf,
key
|
|
