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.

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.

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.

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.

5. Mathematical Induction

In this 25 mins Video Lesson

Mathematical Induction, Examples, and other topics.

Mathematical Induction, Examples, and other topics.

Logic
(2.73 Mb)

Propositions, Conditional Propositions, Logical Connectivity, Propositional calculus, Universal and Existential Quantifiers, Normal forms, methods of proofs, Mathematical Induction