
Welcome to Language, Proof and Logic

Chapter 1. Atomic Sentences

Chapter 2. The Logic of Atomic Sentences

Chapter 3. The Boolean Connectives

Chapter 4. The Logic of Boolean Connectives

Reading Assignment

Logical Truths and Tautologies (29:16)

Logical and Tautological Equivalence (11:09)

Logical and Tautological Consequence (13:00)

Tautological Consequence in Fitch (9:40)

Pushing Negation Around (19:32)

Conjunctive and Disjunctive Normal Forms (24:03)

Assignment 4This content is graded


Chapter 5. Methods of Proof for Boolean Logic

Chapter 6. Formal Proofs and Boolean Logic

Chapter 7. Conditionals

Chapter 8. The Logic of Conditionals

Halfway! Propositional Logic Summary

Chapter 9. Introduction to Quantification

Chapter 10. The Logic of Quantifiers

Chapter 11. Multiple Quantifiers

Chapter 12. Methods of Proof for Quantifiers

Chapter 13. Formal Proof and Quantifiers

Chapter 14. More About Quantification

We're Done! Course Summary
Nonregistered mode. Register to save your course progress.
By exploring the course, you are agreeing to our Terms of Service and Privacy Policy. Please read them carefully.
By exploring the course, you are agreeing to our Terms of Service and Privacy Policy. Please read them carefully.