Proseminar: Aussagenlogik und Boolsche Algebren

Januar 2021, Universität Hamburg

Koordinierung: Dr. Yurii Khomskii

Teilnehmende:
  1. Nico Bartocha
  2. Omke Hendriks
  3. Rika Lorenzen
  4. Selina Meier
  5. Dina Riemer
  6. Thalia Rübsteck
  7. Roman Schaut
  8. Finja Schnoor

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, vollkommen im digitalen Format, in Januar 2021 statt.

Literatur


Links



Vorträge

Wann                 Wer                 Was                 Abschnitt                 Notizen                
Freitag 15 Januar, 12:00 Uhr Alle Vorbesprechung
1. Montag 18 Januar, 12-14 Thalia Rübsteck Einführung und Syntax der Aussagenlogik Dirk van Dalen: 1.1 (S. 6-15) Notizen
2. Dienstag 19 Januar, 12-14 Rika Lorenzen Semantik der Aussagenlogik Dirk van Dalen: 1.2 (S. 15-21)
3. Dienstag 19 Januar, 14-16 Selina Meier Weitere Eigenschaften der Aussagenlogik Dirk van Dalen: 1.3 (S. 21-29)
4. Mittwoch 20 Januar, 12-14 Nico Bartocha Kalkül des natürlichen Schließens Dirk van Dalen: 1.4 (S. 30-40)
5. Mittwoch 20 Januar, 14-16 Omke Hendricks Der Vollständigkeitssatz der Aussagenlogik Dirk van Dalen: 1.5 (S. 40-47)
6. Mittwoch 20 Januar, 16-18 Finja Schnoor Mehr zu definierbaren Verknüpfungen Dirk van Dalen: 1.6 (S. 49-54)
7. Freitag 22 Januar, 14-16 Roman Schaut Boolsche Algebren Blackburn et al: 5.1, S. 262-274