Logic and Propositions
Video Lessons & Revision Notes
Propositions, Connectives and Introduction to Truth Tables
1. Propositions, Connectives and Introduction to Truth Tables
In this 41 mins Video Lesson
Proposition, Primitive Statement, Compund Propositions, Negations, Conjunction, Disjunction, Inplication, Biconditional, Truth Table, and other topics.
Proposition, Primitive Statement, Compund Propositions, Negations, Conjunction, Disjunction, Inplication, Biconditional, Truth Table, and other topics.
Truth Tables (Advanced Concepts) and Logical Equivalence
2. Truth Tables (Advanced Concepts) and Logical Equivalence
In this 55 mins Video Lesson
Truth Table for any Proposition, Tautology, Contradiction, Logical Equivalence, Implication: Contrapositive / Converse / Inverse, Laws of Equivalence, Example, and other topics.
Truth Table for any Proposition, Tautology, Contradiction, Logical Equivalence, Implication: Contrapositive / Converse / Inverse, Laws of Equivalence, Example, and other topics.
Normal Forms and Rules of Inference
3. Normal Forms and Rules of Inference
In this 40 mins Video Lesson
Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and other topics.
Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and other topics.
Predicates and Universal and Existential Quantifiers
4. Predicates and Universal and Existential Quantifiers
In this 37 mins Video Lesson
Predicates, Universal Quantifier, Existential Quantifier, Example, Negation of Quantified Statement, Inference Rule for Quantifiers, Example, and other topics.
Predicates, Universal Quantifier, Existential Quantifier, Example, Negation of Quantified Statement, Inference Rule for Quantifiers, Example, and other topics.
Mathematical Induction
5. Mathematical Induction
In this 25 mins Video Lesson
Mathematical Induction, Examples, and other topics.
Mathematical Induction, Examples, and other topics.
Revision Notes
Logic
(2.73 Mb)
Propositions, Conditional Propositions, Logical Connectivity, Propositional calculus, Universal and Existential Quantifiers, Normal forms, methods of proofs, Mathematical Induction