15-815 Automated Theorem Proving
Lecture 1: Natural Deduction
We begin with an overview of the course contents, our approach to the
subject, and administrative details such as exams, grading, and projects.
In the second part of the lecture we introduce natural deduction as a
way of defining the meaning of the logical connectives via their introduction
and elimination rules.