Java Script needs to be enabled for Video to Load.

Normal Forms and Rules of Inference

Loading Video Lesson

If you dont see the Video even after 10 seconds,
then please download and Install the Flash Player

In this 40 mins Lesson you will Learn about following concepts.
Normal Forms and Rules of Inference

Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and related Topics.

Related Video Lessons in this Series

Propositions, Connectives and Introduction to Truth Tables

41 mins Video Lesson

Proposition, Primitive Statement, Compund Propositions, Negations, Conjunction, Disjunction, Inplication, Biconditional, Truth Table, and other topics.

Truth Tables (Advanced Concepts) and Logical Equivalence

55 mins Video Lesson

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

40 mins Video Lesson

Normal Forms, DNF, CNF, Valid Argument, Rules Of Inference, Example, and other topics.

Predicates and Universal and Existential Quantifiers

37 mins Video Lesson

Predicates, Universal Quantifier, Existential Quantifier, Example, Negation of Quantified Statement, Inference Rule for Quantifiers, Example, and other topics.

Mathematical Induction

25 mins Video Lesson

Mathematical Induction, Examples, and other topics.

Inverse, Groups, Abelian Group, Cyclic Group and Cosets

53 mins Video Lesson

Inverse of an Element, Group, Abelian Group, Order of a Group, Order of An element, Cyclic Group, Product Group, Properties of a Group, Sub-Group, Cosets, Properties of a Coset, and other topics.

Algebraic System - Basic Concepts, Semi Group, Identity Element and Monoids

50 mins Video Lesson

Introduction, n-ary operation, Algeraic System, Binary Operations, Semi-Group, Residue Class Modulo n, Identity, Monoid, and other topics.

Properties of Cosets, Normal Sub Group, Homomorphism, Automorphism, Isomorphism

47 mins Video Lesson

Properties of Cosets (contd...), Lagrange's Theorem, Normal Subgroup, Qotient Group, Group Homomorphism, Group Automorphism, Group Isomorphism, and other topics.

Member's Zone