Mathematical Logic


Lecture 1 - Sets and Strings


Lecture 2 - Syntax of Propositional Logic


Lecture 3 - Unique Parsing


Lecture 4 - Semantics of PL


Lecture 5 - Consequences and Equivalences


Lecture 6 - Five results about PL


Lecture 7 - Calculations and Informal Proofs


Lecture 8 - More Informal Proofs


Lecture 9 - Normal forms


Lecture 10 - SAT and 3SAT


Lecture 11 - Horn-SAT and Resolution


Lecture 12 - Resolution


Lecture 13 - Adequacy of Resolution


Lecture 14 - Adequacy and Resolution Strategies


Lecture 15 - Propositional Calculus (PC)


Lecture 16 - Some Results about PC


Lecture 17 - Arguing with Proofs


Lecture 18 - Adequacy of PC


Lecture 19 - Compactness & Analytic Tableau


Lecture 20 - Examples of Tableau Proofs


Lecture 21 - Adequacy of Tableaux


Lecture 22 - Syntax of First order Logic (FL)


Lecture 23 - Symbolization & Scope of Quantifiers


Lecture 24 - Hurdles in giving Meaning


Lecture 25 - Semantics of FL


Lecture 26 - Relevance Lemma


Lecture 27 - Validity, Satisfiability & Equivalence


Lecture 28 - Six Results about FL


Lecture 29 - Laws, Calculation & Informal Proof


Lecture 30 - Quantifier Laws and Consequences


Lecture 31 - More Proofs and Prenex Form


Lecture 32 - Prenex Form Conversion


Lecture 33 - Skolem Form


Lecture 34 - Syntatic Interpretation


Lecture 35 - Herbrand's Theorem


Lecture 36 - Most General Unifiers


Lecture 37 - Resolution Rules


Lecture 38 - Resolution Examples


Lecture 39 - Ariomatic System FC


Lecture 40 - FC and Semidecidability of FL


Lecture 41 - Analytic Tableau for FL


Lecture 42 - Godels Incompleteness Theorems