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. |