This course was created with the
course builder. Create your online course today.
Start now
Create your course
with
Autoplay
Autocomplete
Previous Lesson
Complete and Continue
Master Discrete Mathematics: Propositional Logic
Basic Concepts in Propositional Logic
Introduction to Propositions (1:49)
Translating English into Propositional Logic (7:49)
Truth Tables - Connectives (9:49)
Truth Tables - Complex Formulae (4:54)
Tautologies, Contradictions, and Contingent Formulae (3:52)
Entailment (6:04)
Logical Equivalence (2:47)
Proofs in Propositional Logic
Proofs by Truth Tables (7:03)
Proofs by Logic Laws - #1 (13:10)
Proofs by Logic Laws - #2 (4:35)
Natural Deductive Proofs - Rule Set #1 (10:21)
Natural Deductive Proofs - Rule Set #2 (10:23)
Natural Deductive Proofs - Rule Set #3 (5:15)
Boolean Algebra
Propositional Logic to Boolean Algebra
Final Exam
Final Exam
Resources
Master Discrete Math: Predicate Logic Discount Code
Referral Code
Propositional Logic to Boolean Algebra
Lesson content locked
If you're already enrolled,
you'll need to login
.
Enroll in Course to Unlock