Learn · Mathematical Logic

Lecture 23 of 42Mathematical Logic

Symbolization & Scope of Quantifiers

Prof. Arindama Singh · IIT Madras

Credits and licence

From
Mathematical Logic, IIT Madras (at NPTEL)
Licence
CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
Attribution
NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
Who can watch
Tweens profiles and older. How courses are placed

All the lectures

  1. Sets and Strings Video
  2. Syntax of Propositional Logic Video
  3. Unique Parsing Video
  4. Semantics of PL Video
  5. Consequences and Equivalences Video
  6. Five results about PL Video
  7. Calculations and Informal Proofs Video
  8. More Informal Proofs Video
  9. Normal forms Video
  10. SAT and 3SAT Video
  11. Horn-SAT and Resolution Video
  12. Resolution Video
  13. Adequacy of Resolution Video
  14. Adequacy and Resolution Strategies Video
  15. Propositional Calculus (PC) Video
  16. Some Results about PC Video
  17. Arguing with Proofs Video
  18. Adequacy of PC Video
  19. Compactness & Analytic Tableau Video
  20. Examples of Tableau Proofs Video
  21. Adequacy of Tableaux Video
  22. Syntax of First order Logic (FL) Video
  23. Symbolization & Scope of Quantifiers Video
  24. Hurdles in giving Meaning Video
  25. Semantics of FL Video
  26. Relevance Lemma Video
  27. Validity, Satisfiability & Equivalence Video
  28. Six Results about FL Video
  29. Laws in FL Video
  30. Quantifier Laws and Consequences Video
  31. Examples of Informal Proofs and Calculation Video
  32. Prenex Form Conversion Video
  33. Skolem Form Video
  34. Syntatic Interpretation Video
  35. Herbrand's Theorem Video
  36. Most General Unifiers Video
  37. Resolution Rules Video
  38. Resolution Examples Video
  39. Axiomatic System FC Video
  40. FC, Semidecidability of FL, and Tableau Video
  41. Analytic Tableau for FL Video
  42. Goedel's Incompleteness Theorems Video