Welcome to the main Logic page. To go to a specific course, please click on the one of the links under the calculus tab above. Here’s a description of course topics.

### Natural Deductive Logic (Inactive)

**Propositional Logic** – We introduce propositional logic. We first define what logic is all about, move into truth tables, rules of inference, and finally do some proofs.

**Metatheory** – Why does this all work? Why do the rules of inference work? What are soundness and completeness? We answer all these questions and prove them!

**Predicate Logic** – We extend our knowledge of propositional logic to predicate logic. What are free and bound variables? How are the proofs different? What exactly are quantifiers?