Logic and Proofs

Introduction
Overview
Tour

Project Participants

Main

This is a basic, rigorous two-part introduction to modern symbolic logic. Part one starts out with a careful presentation of the syntax and semantics of classical sentential logic. The introduction and elimination rules for the sentential logical connectives are discussed and used strategically in proof construction. This is followed in part two by a parallel treatment of predicate logic with an excursion into Aristotelian logic.

The course is fully web-based and is delivered through Carnegie Mellon's Open Learning Initiative (OLI). The text is crucially enriched by many cognitively informed Interactive Learning Environments, from basic Did I get this? to sophisticated and tutorially guided Learning by doing! exercises. Proof construction problems, of course, are done in the Carnegie Proof Lab.