15-399, 80-317/617
Constructive Logic
Lecture 3: Disjunction and Negation

We consider the logical connectives disjunction and negation, with their constructive meaning as determined by the principle of verification. We will see that disjunction, with the meaning we assigned to it, does not satisfy the law of excluded middle in general. Many other properties which may be familiar from classical logic, continue to hold, however.

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