Autoplay
Autocomplete
Previous Lesson
Complete and Continue
Introduction to Formal Logic I: Propositional Logic
Module 1: Sentences and Operators
Lesson 0: Start Here! (1:45)
Lesson 1: Operators (63:48)
Module 2: Truth Tables for Operators
Lesson 2: Truth Tables for Negation, Disjunction, and Conjunction (29:03)
Lesson 3: Truth Tables for the Conditional and Biconditional (21:39)
Module 3: Truth Tables for Sentences
Lesson 4: Truth Tables for Complex Sentences and Classifying Sentences (30:03)
Lesson 5: Using Truth Tables to Compare and Evaluate Multiple Sentences (15:37)
Lesson 6: Categories for Evaluating Arguments and Using Truth Tables (59:22)
Module 4: Proofs
Lesson 7: Introduction to Proofs and Inference Rules (56:46)
Lesson 8: Equivalence Rules (58:53)
Lesson 9: Subproofs, Conditional Proofs, and Proof by Cases (27:46)
Lesson 10: Indirect Proofs, Nested Proofs, and Theorems (52:22)
Teach online with
Lesson 7: Introduction to Proofs and Inference Rules
Lesson content locked
If you're already enrolled,
you'll need to login
.
Enroll in Course to Unlock
