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
Discrete Mathematics: Open Doors to Great Careers
Introduction
Introduction Lecture
Propositional Logic
Statements (7:28)
Conjunction and Disjunction (7:59)
Conditional and Biconditional (10:50)
Statement Forms (8:53)
Problem Set: Statement Forms
Logical Equivalence (14:10)
Problem Set: Logical Equivalence
Tautology and Contradiction (7:18)
Problem Set: Tautology and Contradiction
Logical Equivalences (15:27)
Problem Set: Logical Equivalences
Arguments (8:55)
Problem Set: Arguments
Rules of Inference (6:32)
Rules of Inference and Constructing Arguments (10:34)
Problem Set: Rules of Inference
Predicate Logic
Predicate Calculus (10:28)
Finding the Truth-set of a Predicate (6:02)
Problem Set: Truth-set
Universal Quantifier (9:12)
Existential Quantifier (8:54)
Universal Conditional Statement (9:08)
Problem Set: Quantifiers
Negations and Quantified Statements (12:01)
Problem Set: Negations and Quantified Statements
Multiple Quantifiers (7:23)
Negations and Multiply-Quantified Statements (7:05)
Problem Set: Multiple Quantifiers
Rules of Inference Involving Universal Quantifier (13:09)
Rules of Inference Involving Existential Quantifier (4:21)
Problem Set: Rules of Inference Involving Quantifiers
Constructing Arguments Involving Quantified Statements (11:00)
Problem Set: Constructing Arguments Involving Quantified Statements
Proofs
Methods of Proof (8:31)
Proving Universal Statements (10:00)
Problem Set: Methods of Proof
Proof by Contradiction (7:13)
Proof by Contraposition (8:38)
Problem Set: Proofs by Contradiction and by Contraposition
Mathematical Induction
Mathematical Induction (16:37)
Problem Set: Mathematical Induction
Strong Induction (4:27)
Strong Induction: Example (11:03)
Strong Induction: Additional Example (10:17)
Problem Set: Strong Induction
Concluding Letter
Concluding Letter
Rules of Inference
Lesson content locked
If you're already enrolled,
you'll need to login
.
Enroll in Course to Unlock