title:"Wann folgt eine Formel φ aus einer Formelmenge M?",
choices:["Wenn jedes Modell von M auch ein Modell von ein φ ist.","Wenn ein Modell von M auch ein Modell von φ ist.","Wenn es ein Modell von φ gibt, gibt es je ein Modell aus der Formelmenge M.","Wenn φ nicht in M aufgeführt ist."],
answer:"Wenn jedes Modell von M auch ein Modell von ein φ ist."
}
},
{
title:"Wann ist ein Kalkühl Korrekt?",
choices:["Wenn jede aus M abgeleitete Formel auch tatsächlich eine logische Folgerung aus M ist.","Wenn jede aus M abgeleitete Formel tatsächlich keine logische Folgerung aus M ist.","Wenn jede aus M abgeleitete Formel auch tatsächlich eine logische Folgerung aus Z ist.","Wenn eine aus M abgeleitete Formel auch tatsächlich eine logische Folgerung aus M ist."],
answer:"Wenn jede aus M abgeleitete Formel auch tatsächlich eine logische Folgerung aus M ist."
},
{
title:"Wann ist ein Kalkühl Vollständig?",
choices:["Wenn jede logische Folgerung aus M auch tatsächlich aus M abgeleitet wird.","Wenn jede aus M abgeleitete Formel tatsächlich keine logische Folgerung aus M ist.","Wenn eine logische Folgerung aus M auch tatsächlich aus M abgeleitet wird.","Wenn jede logische Folgerung aus M auch tatsächlich aus Z abgeleitet wird."],
answer:"Wenn jede logische Folgerung aus M auch tatsächlich aus M abgeleitet wird."
},
{
title:"Wenn bei dem Tabelauxalgorithmus ein offenes Blatt vorhanden ist, was bedeutet dies dann?",
choices:["Die Formel ist erfüllbar","Die Formel ist unerfüllbar","Die Formel ist eine Tautologie","Die Formel ist eine Kontradiktion"],
answer:"Die Formel ist erfüllbar"
},
{
title:"Wenn bei dem Tabelauxalgorithmus kein unerledigter Knoten vorhanden ist, was bedeutet dies dann?",
choices:["Die Formel ist erfüllbar","Die Formel ist unerfüllbar","Die Formel ist eine Tautologie","Die Formel ist eine Kontradiktion"],
answer:"Die Formel ist unerfüllbar"
},
{
title:"Wofür wird der Tabelauxalgorithmus verwendet?",
choices:["Um die Erfüllbarkeit einer Formel zu überprüfen","Um den Studenten das leben schwer zu machen","Um zu prüfen ob eine Formel eine Tautologie ist","Um zu prüfen ob zwei Formeln gleich sind"],
answer:"Um die Erfüllbarkeit einer Formel zu überprüfen"
