choices:["Eine Wissenschaft von Regeln, Methoden und Grenzen des Schlussfolgerns","Die Wissenschaft um boole Formenln zu beschreiben","Eine Wissenschaft von Glaubensentscheidungen"],
choices:["Eine Wissenschaft von Regeln, Methoden und Grenzen des Schlussfolgerns","Die Wissenschaft um boole Formenln zu beschreiben","Eine Wissenschaft von Glaubensentscheidungen","Eine Wissenschaft von Klammernsetzung."],
answer:"Eine Wissenschaft von Regeln, Methoden und Grenzen des Schlussfolgerns"
},
{
...
...
@@ -165,5 +165,20 @@ var questions = [
title:"Wann liegt eine Formel in DNF vor",
choices:["Wenn sie eine Konjunktion von Disjunktionen von Literalen ist","Wenn sie eine Disjunktion von Konjunktionen von Literalen ist","Wenn die Klauseln durch ∧ miteinander im Verbund stehen","Wenn der Junktor ∧ niemals vorkommt"],
answer:"Wenn sie eine Disjunktion von Konjunktionen von Literalen ist"
},
{
title:"Wann ist eine Formel in DNF unerfüllbar?",
choices:["Wenn jedes Disjunkt komplementäre Literale enthält.","Wenn in mind. einem Disjunkt komplementäre Literale enthalten sind.","Wenn jedes Konjunkt komplementäre Literale enthält.","Wenn mind. ein Konjunkt komplementäre Literale enthält."],
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."