Stanford Introduction to Logic
Teachers



Roster Stanford Materials Other Materials Questions Facebook


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.


Chapter 1 Introduction pdf, key, pptx
Chapter 2 Propositional Logic pdf, key, pptx
Chapter 3 Propositional Analysis pdf, key, pptx
Chapter 4 Propositional Proofs pdf, key, pptx
Chapter 5 Propositional Resolution pdf, key, pptx
Chapter 6 Relational Logic pdf, key, pptx
Chapter 7 Relational Analysis pdf, key, pptx
Chapter 8 Relational Proofs pdf, key, pptx
Chapter 9 Resolution pdf, key, pptx
Chapter 10 Herbrand Logic pdf, key, pptx
Chapter 11 Herbrand Proofs pdf, key, pptx
Chapter 12 Induction pdf, key, pptx
 
Supplement Equality pdf
Supplement First-Order Logic pdf

See below for links to exams from Stanford's offering of Intrologic. The midterm exams focus on Propositional Logic (the first 5 lessons of the course). The final exams cover all of the material in the course.

Midterm 1 2015
Midterm 1 2016
Midterm 1 2017
Midterm 1 2018
Midterm 1 2019
 
Midterm 2 2015
Midterm 2 2016
Midterm 2 2017
Midterm 2 2018
Midterm 2 2019
 
Final 2015
Final 2016
Final 2017
Final 2018
Final 2019


SU Home   Maps & Directions   Search Stanford   Terms of Use   Emergency Info
© Stanford University, Stanford, California 94305.   Copyright Complaints