15-815 Automated Theorem Proving
Lecture 6: Classical Logic

In this lecture we introduce classical logic from the judgmental point of view and relate it to intuitionistic logic. Classical logic can be seen as arising in a variety of ways. A particularly attractive point of view is that classical logic is based on three judgments: A true, A false, and contradiction. One basic principal is that if a proposition is true and false simultaneously, we obtain a contradiction. Conversely, every proposition must be either true or false.

[ Home | Schedule | Assignments | Handouts | Software | Resources ]

Frank Pfenning