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
]
fp@cs
Frank Pfenning
|