Materialien zum Proseminar Logik II:
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




Aufgabenblätter:
Blatt 1 Abgabetermin: 16.05.
Blatt 2 Abgabetermin: 06.06.
Blatt 3 Abgabetermin: 27.06.