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

__Exams__

**Exam 1**:

**Exam 2**:

**Exam 3**:

__Homework__

**Homework 1** (*due 22 January*) (solution: [pdf]) [pdf] [tex]

**Homework 2** (~~due 31 January~~due 5 February) (solution: [pdf] [tex]): [pdf] [tex]

**Homework 3** (~~due 5 February~~due 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]

__Quizzes__

**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__

notes from 19 March 2019

Suppes

Propositional consequences for proofs

Proof example (27 Feb)

__External links__