Gedächtnisprotokoll Logik mündlich (nicht vollständig)

- Möglichkeiten um Erfüllbarkeit von Formeln zu überprüfen:
	- Wahrheitstabellen
	- Resolution
	- Sequenzenkalkül
Resolution oder Sequenzenkalkül: Ich habe Resolution genommen
- Wie sieht das Verfahren aus?
- Wie ist eine Resolvente definiert?
- Korrektheit und Vollständigkeit
- Wann terminiert das Verfahren, aka wann wissen wir, ob eine Formel erfüllbar ist oder nicht?

Definierbarkeit:
- Sätze und freie/gebundene Variablen
- Beispiel mit Graph und Formel (Bedeutung, Geltungsbereich)
- Was kann nicht ausgedrückt werden?
- Modellklassen