Sets and Logic, WS 2014/5, Slides of Monday Lecture
Here is the detailed report of what I covered:
We start and hopefully complete
We discuss briefly another addition to Lecture 4: The proof of the Theorem: "Countable unions of countable sets are countable" needs the Axiom of Choice. We add it as a postulate, which means we can use it, but with our postulates so far we cannot proof it.
We start with Propositional Logic (Lecture 6). We define Syntax and Semantics of Propositional Logic, and discuss truth tables.
We may (unlikely) start Lecture 7.
We continue with Propositional Logic (Lecture 7)
We may (likely) start Lecture 8-9.
We continue Lecture 8-9 starting from the revised slides. This session deals with Proof Systems. We hope to finish the material on Propositional Logic. Material on yellow-green background is skipped (for the exam) but still useful and important. Homework (even on yellow-green) may show up in actual homework or exams if it fits.
We finished proof systems, and started definability.