Loading [MathJax]/jax/output/HTML-CSS/jax.js
Syllabus: [pdf] [tex]
Exams
Exam 1: [pdf] [tex]
Exam 2: [pdf] [tex]
Exam 3: [pdf] [tex]
Homework
Homework 1 (due 22 January) (solution: [pdf]) [pdf] [tex]
Homework 2 (due 31 Januarydue 5 February) (solution: [pdf] [tex]): [pdf] [tex]
Homework 3 (due 5 Februarydue 7 February) (solution): [pdf] [tex]
Homework 4 (due 12 February) (solution): [pdf] [tex]
Homework 5 (due 26 February) (solution): [pdf] [tex]
Homework 6 (due 5 March) (solution): [pdf] [tex]
Homework 7 (due 28 March) (solution): [pdf] [tex]
Homework 8 (due 11 April) (solution): [pdf] [tex]
Homework 9 (due 11 April) (solution): [pdf] [tex]
Homework 10 (due 16 April) (solution): [pdf] [tex]
Homework 11 (due 2 May) (solution): [pdf] [tex] (see the 23 April 2019 notes below for definitions of Godel numbers and see 25 April 2019 notes below for definitions of filter)
Quizzes
Quiz 1 (due 24 January) (solution): Show that P→P is a tautology using a truth table. Also, show that Q is a propositional consequence of P∧Q using a truth table.
Quiz 2 (due 7 February) (solution): Prove S from the premises P→Q, Q→R, ¬R∨S, and P.
Quiz 3 (due 21 February) (solution): Prove ∀x(Hx⟷Ix) from the premises ∀x(Hx→Ix) and ∀x(Ix→Hx).
Quiz 4 (due 21 March): Prove the following theorem in naive set theory (see notes from today below): ((x⊆y)∧(y⊆z))→x⊆z.
Quiz 5 (due 15 April): Write the axioms of 3-line geometry and sketch a model of it.
Quiz 6 (due 15 April): Show that the axioms of 3-line geometry are independent by drawing appropriate models.
Notes
notes from 25 April 2019
notes from 23 April 2019
more notes from 11 April 2019
notes from 9 April & 11 April 2019
notes from 19 March 2019
notes from 21 and 26 March 2019
Suppes
Propositional consequences for proofs
Proof example (27 Feb)
External links
