Proseminar: Aussagenlogik und Boolesche Algebren

März 2023, Universität Hamburg

Koordinierung: Dr. Yurii Khomskii

Teilnehmende:
  1. David Jaeschke
  2. Paul Rode
  3. Kashif Ahmed
  4. Esther Hoesmann
  5. Harun Yildrim
  6. Sophia Sterz

Aussagenlogik und Boolsche Algebren

Die Aussagenlogik beschäftigt sich mit den Regeln des logischen Schließens für Verknüpfungen zwischen Aussagen: z.B. ist die Aussage "A und B" ist genau dann wahr, wenn sowohl A als auch B wahr ist, und die Aussage "A oder B" genau dann wahr, wenn mindestens eine der beiden Aussagen A und B wahr ist. Die Verknüpfungen "und", "oder", "nicht" usw. verhalten sich hier wie algebraische Operationen. In diesem Proseminar wollen wir uns mit der grundlegenden Theorie der Aussagenlogik und ihrer Verbindung zu Booleschen Algebren beschäftigen.

Das Proseminar findet als Blockveranstaltung im digitalen Format, in März 2023 statt.

Literatur

Links

Vorträge

Wann                 Wer                 Was                 Abschnitt                 Notizen                
1. Freitag 17 März, 12:15 Zoheil Danesh Einführung und Syntax der Aussagenlogik Dirk van Dalen: 1.1 (S. 6-15)
2. Freitag 17 März, 14:15 Esther Hoesman Semantik der Aussagenlogik Dirk van Dalen: 1.2 (S. 15-21) Vortrag
Übungsaufgaben
3. Dienstag 21 März, 11:15 Harum Yildirim Kalkül des natürlichen Schließens Dirk van Dalen: 1.4 (S. 30-40) Vortrag
Übungsaufgaben
Lösungen
4. Dienstag 21 März, 14:15 Sophia Sterz Der Vollständigkeitssatz der Aussagenlogik Dirk van Dalen: 1.5 (S. 40-47) Vortrag
Übungsaufgaben
5. Donnerstag 23 März, 14:15 Kashif Ahmed Weitere Eigenschaften der Aussagenlogik Dirk van Dalen: 1.3 (S. 21-29)
6. Freitag 24 März, 14:15 David Jaeschke Boolsche Algebren Blackburn et al: 5.1, S. 262-274 Vortrag
7. Freitag 24 März, 14:15 Mary-Katrin Gomez Modale Logik I Blackburn et al, S. 2-15
(konkrete Beispiele weglassen)
8. Freitag 24 März, 16:15 Paul Rode Modale Logik II Blackburn et al, S. 16-26