--| home | research | txt | code | teach | specialfunctionswiki | timescalewiki | hyperspacewiki | links |--
Syllabus: [pdf] [tex]

Exam 1:
Exam 2:
Exam 3:

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): [pdf] [tex]

Quiz 1 (due 24 January) (solution): Show that $P \rightarrow P$ is a tautology using a truth table. Also, show that $Q$ is a propositional consequence of $P \wedge Q$ using a truth table.
Quiz 2 (due 7 February) (solution): Prove $S$ from the premises $P \rightarrow Q$, $Q \rightarrow R$, $\neg R \vee S$, and $P$.
Quiz 3 (due 21 February) (solution): Prove $\forall x(Hx \longleftrightarrow Ix)$ from the premises $\forall x(Hx \rightarrow Ix)$ and $\forall x(Ix \rightarrow Hx)$.
Quiz 4 (due 21 March): Prove the following theorem in naive set theory (see notes from today below): $((x \subseteq y) \wedge (y \subseteq z)) \rightarrow x\subseteq z$.
notes from 19 March 2019
Propositional consequences for proofs
Proof example (27 Feb)

External links