| 1. Sitzung | 18.4. | Aussagenlogik: Syntax, Semantik, Wahrheitstafelmethode | material1 |
| 2. Sitzung | 25.4. | Regeln des Fitchsystems (+Beispiele) | material2 |
| 3. Sitzung | 16.5. | Relevanzlogik, Ableitungen im Fitch-System | mat3, mat4 |
| 4. Sitzung | 23.5. | Prädikatenlogik: Syntax und Semantik | material5 |
| 5. Sitzung | 6.6. | Alternative Notationen, Tarski's World | mat6, mat7 |
| 6. Sitzung | 13.6. | Regeln des Fitchsystems (PL), Tarski's World | mat8, mat9 |
| Blatt 1 | Abgabetermin: 16.05. |
| Blatt 2 | Abgabetermin: 06.06. |
| Blatt 3 | Abgabetermin: 27.06. |