NPTEL Videos

Mathematical Logic,Conjunction,Disjunction,Truth Table,Compound Proposition,Propositional logic 

Tautology, Contradiction, Bi-implication, Contingency, De Morgan's Laws. 

Satisfiability Problem, Conjunctive Normal Form.

Fallacies, Rules of Inference, Modus Ponen,Modus Tollen. 

Resolution inference, Resolution refutation

Converse, Inverse, Contrapositive, Truth Table, Satisfiability, Dual of a Statement 

Argument Form, Tautology, valid Arguments, Resolution Proof 

Universal quantifier, Existential quantifier. 

Nested Quantifiers, Existential instantiation, Existential generalization, Universal generalization, Universal instantiation. 

Proof by contrapositive, Vacuous proof, Proof by contradiction, Direct proofs, Indirect proofs. 

Exhaustive Proof mechanism, Proving Existentially Quantified Statement, Backward Reasoning, Uniqueness proof.

Proof by Induction, Strong Induction.