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

Möglichkeiten um Erfüllbarkeit von Formeln zu überprüfen

• Wahrheitstabellen
• Resolution
• Sequenzenkalkül

Eine Möglichkeit erklären: 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