Calendar · Lecture Notes
MIT OpenCourseWare
Logic I
Art: Raphael, Italian: Scuola di AteneThe School of Athenstitle…, 1509 · Public domain
- Instructor
- Dr. Ephraim Glick
- Term
- Fall 2009
- Level
- Undergraduate
- What's inside
- 1 lecture note · 1 reading · 41 other files · 4 web pages
- Materials open
- MIT OCW
About this course
Source: MIT OpenCourseWare 24.241 Logic I, Fall 2009, Dr. Ephraim Glick — original course page on ocw.mit.edu ↗. License: CC BY-NC-SA 4.0. Study order: MIT's own listing order, section by section. Taken from MIT's published course files, downloaded from ocw.mit.edu on September 23, 2026. How RedLectern is built.
Materials are grouped the way MIT organized them. A verified, course-wide order has not been established here.
Has MIT solutions
Before you start
Prerequisites are not listed here. Check MIT's own syllabus for this course.
How this course was organized
What's here, and what isn't
- A lecture sequence of 25 items is confirmed. Assignment and exam materials exist too, but MIT's own order for them could not be verified, so they're shown as materials below rather than a sequence.
Not included here
2 items from the source could not be safely included:
- MIT's page format for this item wasn't recognized clearly enough to place it safely.
- Referenced in a table, but without MIT's own verified order, so it isn't used to claim a sequence.
Materials by section
Grouped by section, as MIT organized them. Not sequenced or ordered.
Syllabus
Lecture Notes
12 files
- Lecture 2 · Truth-functionality; introduction to sentential logic (SL) syntax and semantics… · Handouts Download
- Lecture 4 · Truth-tables and logical properties of compound sentences · Handouts Download
- Lecture 9 · Introduction to meta-theory; mathematical induction · Slides Download
- Lecture 10 · Soundness of SD/SD+ · Slides Download
- Lecture 11 · Completeness of SD/SD+ · Slides Download
- Lecture 13 · Open sentences; free vs. bound variables; scope, multiply quantified sentences; definite… · Slides Download
- Lecture 14 · Identity; functions, translation to and from predicate logic · Handouts Download
- Lecture 18 · Formal PL/PLE semantics continued; review · Slides Download
- Lecture 18 · Formal PL/PLE semantics continued; review · Handouts Download
- Lecture 22 · Meta-theory: Soundness of PD, PD+, PDE · Slides Download
- Lecture 23 · Meta-theory: Completeness of PD · Slides Download
- Lecture 24 · Meta-theory: Completeness continued; PD+; PDE · Slides Download
Assignments
20 problem sets
- This resource contains problem set 1 (MIT24_241F09_hw01.pdf) Download
- This resource contains answers of problem set 1 (MIT24_241F09_hw01_sol.pdf) Download
- This resource contains problem set 2 (MIT24_241F09_hw02.pdf) Download
- This resource contains answers of problem set 2 (MIT24_241F09_hw02_sol.pdf) Download
- This resource contains problem set 3 (MIT24_241F09_hw03.pdf) Download
- This resource contains answers for problem set 3 (MIT24_241F09_hw03_sol.pdf) Download
- This resource contains problem set 4 (MIT24_241F09_hw04.pdf) Download
- This resource contains answers of problem set 4 (MIT24_241F09_hw04_sol.pdf) Download
- This resource contains problem set 5 (MIT24_241F09_hw05.pdf) Download
- This resource contains answers for problem set 5 (MIT24_241F09_hw05_sol.pdf) Download
- This resource contains problem set 6 (MIT24_241F09_hw06.pdf) Download
- This resource contains answers for problem set 6 (MIT24_241F09_hw06_sol.pdf) Download
- This resource contains problem set 7 (MIT24_241F09_hw07.pdf) Download
- This resource contains answers of problem set 7 (MIT24_241F09_hw07_sol.pdf) Download
- This resource contains problem set 8 (MIT24_241F09_hw08.pdf) Download
- This resource contains answers for the problem set 8 (MIT24_241F09_hw08_sol.pdf) Download
- This resource contains problem set 9 (MIT24_241F09_hw09.pdf) Download
- This resource contains answers for problem set 9 (MIT24_241F09_hw09_sol.pdf) Download
- This resource contains problem set 10 (MIT24_241F09_hw10.pdf) Download
- This resource contains answers for problem set 10 (MIT24_241F09_hw10_sol.pdf) Download
Exams
Course outline
Calendar · Lecture Notes
Lecture 2: Truth-functionality; introduction to sentential logic (SL) syntax and semantics; translation
Calendar · Lecture Notes
Lecture 3: Translation continued; problems with conditionals and other phenomena of natural language; truth-tables
Calendar · Lecture Notes
Lecture 4: Truth-tables and logical properties of compound sentences
Calendar · Lecture Notes
Lecture 5: Entailment and validity with truth-tables
Calendar · Lecture Notes
Lecture 6: Derivations in sentential logic (SD)
Calendar · Lecture Notes
Lecture 7: Derivations in SD/SD+
Calendar · Lecture Notes
Lecture 8: Theorem-proving, review
Calendar · Lecture Notes
Lecture 9: Introduction to meta-theory; mathematical induction
Calendar · Lecture Notes
Lecture 10: Soundness of SD/SD+
Calendar · Lecture Notes
Lecture 11: Completeness of SD/SD+
Calendar · Lecture Notes
Lecture 12: Introduction to predicate logic: quantifiers, variables, constants, predicates, universe of discourse
Calendar · Lecture Notes
Lecture 13: Open sentences; free vs. bound variables; scope, multiply quantified sentences; definite descriptions; properties of relations
Calendar · Lecture Notes
Lecture 14: Identity; functions, translation to and from predicate logic (PL)
Calendar · Lecture Notes
Lecture 15: Translation to and from PL/PLE; “most”; donkey sentences
Calendar · Lecture Notes
Lecture 16: Informal PL/PLE semantics: Interpretations, substitutions, quantification truth, falsity, consistency, and equivalence, quantificational argument validity
Calendar · Lecture Notes
Lecture 17: Formal PL/PLE semantics: Extensions, interpretations, variable assignments, satisfaction, truth and falsity under interpretations and variable assignments
Calendar · Lecture Notes
Lecture 18: Formal PL/PLE semantics continued; review
Calendar · Lecture Notes
Lecture 19: Derivations in PD
Calendar · Lecture Notes
Lecture 20: Derivations in PD+/PDE
Calendar · Lecture Notes
Lecture 21: Derivations in PDE continued; preliminaries for meta-theory
Calendar · Lecture Notes
Lecture 22: Meta-theory: Soundness of PD, PD+, PDE
Calendar · Lecture Notes
Lecture 23: Meta-theory: Completeness of PD
Calendar · Lecture Notes
Lecture 24: Meta-theory: Completeness continued; PD+; PDE
Calendar · Lecture Notes
Lecture 25: Review
MIT OpenCourseWare, Dr. Ephraim Glick, 24.241 Logic I, Fall 2009.
License: CC BY-NC-SA 4.0 · Edition: Fall 2009 · Open the original course on OCW ↗
Organized by RedLectern, independent of MIT and not endorsed by MIT.
Per-resource rights are recorded on each resource; All-Rights-Reserved items are link-only, never mirrored.
