InfoCoBuild

Mathematical Logic

Mathematical Logic. Instructor: Prof. Arindama Singh, Department of Mathematics, IIT Madras. Propositional Logic: Syntax, Unique parsing, Semantics, Equivalences, Consequences, Calculations, Informal proofs. Normal Forms and Resolution: Clauses, CNF and DNF representations, Adequacy of calculations, SAT, Resolution refutation, Adequacy of resolution. Proof Systems: Axiomatic system PC, Adequacy of PC, Analytic tableau PT, Adequacy of PT, Compactness of PL. First Order Logic: Syntax of FL, Scope and binding, Substitutions, Semantics of FL, Quantifier laws, Equivalences, Consequences. Normal Forms in FL: Calculations, Informal proofs, Prenex forms, Skolem forms, Herbrand's Theorem, Skolem-Lowenheim theorem, Resolution in FL. Proof Systems for FL: Axiomatic system FC, Analytic tableau FT, Adequacy of FC and FT, Compactness in FL. Axiomatic Theories: Undecidability of FL, Godel's incompleteness theorems. (from nptel.ac.in)

Lecture 08 - More Informal Proofs


Go to the Course Home or watch other lectures:

Lecture 01 - Sets and Strings
Lecture 02 - Syntax of Propositional Logic
Lecture 03 - Unique Parsing
Lecture 04 - Semantics of Propositional Logic
Lecture 05 - Consequences and Equivalences
Lecture 06 - Five Results about Propositional Logic
Lecture 07 - Calculations and Informal Proofs
Lecture 08 - More Informal Proofs
Lecture 09 - 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 Propositional Calculus (PC)
Lecture 17 - Arguing with Proofs
Lecture 18 - Adequacy of Propositional Calculus
Lecture 19 - Compactness and Analytic Tableau
Lecture 20 - Examples of Tableau Proofs
Lecture 21 - Adequacy of Tableaux
Lecture 22 - Syntax of First Order Logic
Lecture 23 - Symbolization and Scope of Quantifiers
Lecture 24 - Hurdles in Giving Meaning
Lecture 25 - Semantics of First Order Logic
Lecture 26 - Relevance Lemma
Lecture 27 - Validity, Satisfiability and Equivalence
Lecture 28 - Six Results about First Order Logic
Lecture 29 - Laws in First Order Logic
Lecture 30 - Quantifier Laws and Consequences
Lecture 31 - Examples of Informal Proofs and Calculation
Lecture 32 - Prenex Form Conversion
Lecture 33 - Skolem Form
Lecture 34 - Syntactic Interpretation
Lecture 35 - Herbrand's Theorem
Lecture 36 - Most General Unifiers
Lecture 37 - Resolution Rules
Lecture 38 - Resolution Examples
Lecture 39 - Axiomatic System First Order Calculus
Lecture 40 - First Order Calculus, Semidecidability of First Order Logic, and Tableau
Lecture 41 - Analytic Tableau for First Order Logic
Lecture 42 - Godel's Incompleteness Theorems