Commit 4023473e authored by Dominik Heinz's avatar Dominik Heinz
Browse files

Merge branch 'feature/questions-domi' into 'master'

Feature/questions domi

See merge request !2
parents 35420893 45bd34a4
......@@ -31,8 +31,154 @@ var questions = [
answer: "Unerfüllbar"
},
{
title: "Stoppt man im Makierungsalgorithmus bei Schritt 4, so ist die Formel _____? Info: Schritt 4: Stopp mit Ergebnis „erfüllbar“. (Modell: markierte Aussagenvariablen = Wahr, nichtmarkierte = Falsch)",
title: "Stoppt man im Makierungsalgorithmus bei Schritt 4, so ist die Formel _____?",
choices: ["Erfüllbar", "Unerfüllbar", "Allgemeingültig","Nichts"],
answer: "Erfüllbar"
},
// ---- new questions ---
{
title: "Was ist Logik?",
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"
},
{
title: "Was versteht man unter Syntax?",
choices: ["Zeichenketten die gültige \"Aussagen\" sind.","Die Bedeutung der \"Aussagen\".","Der logische Zusammenhang der Elemente einer Formel.", "Die logische Richtigkeit einer Aussage."],
answer: "Zeichenketten die gültige \"Aussagen\" sind."
},
{
title: "Was versteht man unter Semantik?",
choices: ["Logische Operatoren","Die Bedeutung der \"Aussagen\".","Zeichenketten die gültige \"Aussagen\" sind.", "Alle Literale in einer Klausel."],
answer: "Die Bedeutung der \"Aussagen\"."
},
{
title: "Was versteht man unter dem Prinzip der Zweideutigkeit?",
choices: ["Jede Aussage ist wahr oder falsch.","Es gibt keine Aussage, die sowohl wahr als auch falsch ist.","Jede Aussage lässt sich in mindestens zwei verschiedene Klauseln unterteilen.","KNF und DNF."],
answer: "Jede Aussage ist wahr oder falsch."
},
{
title: "Was versteht man unter dem Prinzip des ausgeschlossenes Wiederspruchs?",
choices: ["Es gibt Formeln, für die sich keine KNF bilden lässt.","Jede Aussage ist wahr oder falsch.","Es gibt keine Aussage, die sowohl wahr als auch falsch ist.", "Jede Klausel in einer Aussage beinhaltet mindestens einen Wiederspruch."],
answer: "Es gibt keine Aussage, die sowohl wahr als auch falsch ist."
},
{
title: "Welcher der folgenden Formeln beschreibt diese Aussage: Wenn Anne kommt, kommt Bernd oder Clara?",
choices: ["(B ∨ C) → A","A → B → C","A → (B v C)", "A ∧ B ∧ C"],
answer: "A → (B v C)"
},
{
title: "Welcher der folgenden Formeln beschreibt diese Aussage: Bernd kommt allenfalls dann wenn Clara kommt und Anne nicht kommt.",
choices: ["B → (C ∧ -A)","(C ∧ -A) → B","-A ∧ C → B", "B v (C ∧ -A)"],
answer: "B → (C ∧ -A)"
},
{
title: "Welche Semantik hat folgender Junktor: ↔ ?",
choices: ["Implikation","Kongruenz", "NAND","Biimplikation"],
answer: "Biimplikation"
},
{
title: "Was versteht man unter dem Grad einer Aussagenlogischen Formel?",
choices: ["Die Anzahl der Junktoren-Anwendungen","Die Anzahl der Verschachtelungen","Die Anzahl der Teilformeln", "Die Anzahl an Literalen"],
answer: "Die Anzahl der Junktoren-Anwendungen"
},
{
title: "Was versteht man unter der Tiefe einer Aussagenlogischen Formel?",
choices: ["Die Anzahl der Teilformeln", "Die Anzahl an Literalen","Die Anzahl der Junktoren-Anwendungen", "Die Anzahl der Verschachtelungen"],
answer: "Die Anzahl der Verschachtelungen"
},
{
title: "Wann ist folgende Formel nicht erfüllt: φ = (A v B) → -C",
choices: ["A = F; B = F; C = W","A = W; B = F; C = W","A = F; B = W; C = F", "A = W; B = W; C = F"],
answer: "A = W; B = F; C = W"
},
{
title: "Wann ist eine Formel erfüllbar?",
choices: ["Wenn es mind. eine Belegung der Literale gibt, für die die Formel wahr wird.","Wenn es mind. eine Belegung der Literale gibt, für die die Formel falsch wird.","Wenn es keine Belegung der Literale gibt, für die die Formel wahr wird.", "Wenn jede Belegung der Literale, die Formel wahr werden lässt."],
answer: "Wenn es mind. eine Belegung der Literale gibt, für die die Formel wahr wird."
},
{
title: "Wann ist eine Formel wiederlegbar?",
choices: ["Wenn es mind. eine Belegung der Literale gibt, für die die Formel wahr wird.","Wenn es mind. eine Belegung der Literale gibt, für die die Formel falsch wird.","Wenn es keine Belegung der Literale gibt, für die die Formel wahr wird.", "Wenn jede Belegung der Literale, die Formel wahr werden lässt."],
answer: "Wenn es mind. eine Belegung der Literale gibt, für die die Formel falsch wird."
},
{
title: "Wann ist eine Formel allgemeingültig?",
choices: ["Wenn jede Belegung der Literale die Formel wahr werden lässt.","Wenn es keine Belegung der Literale gibt, für die die Formel wahr wird.","Wenn es mind. eine Belegung der Literale gibt, für die die Formel wahr wird.", "Wenn es mind. eine Belegung der Literale gibt, für die die Formel falsch wird."],
answer: "Wenn jede Belegung der Literale die Formel wahr werden lässt."
},
{
title: "Wann ist eine Formel unerfüllbar?",
choices: ["Wenn jede Belegung der Literale die Formel wahr werden lässt.","Wenn es jeweils eine Belegung der Literale gibt, für die Formel wahr oder falsch wird.","Wenn jede Belegung der Literale die Formel wahr werden lässt.", "Wenn jede Belegung der Literale die Formel falsch werden lässt."],
answer: "Wenn jede Belegung der Literale die Formel falsch werden lässt."
},
{
title: "Wann ist eine Formel kontingent?",
choices: ["Wenn es jeweils eine Belegung der Literale gibt, für die Formel wahr oder falsch wird.","Wenn die Formel eine Tautologie ist.","Wenn jede Belegung der Literale die Formel wahr werden lässt.", "Wenn jede Belegung der Literale die Formel falsch werden lässt."],
answer: "Wenn es jeweils eine Belegung der Literale gibt, für die Formel wahr oder falsch wird."
},
{
title: "Wie kann folgende Formel umgeformt werden: φ = A → B",
choices: ["-A v B","A v -B","-A ∧ B", "-(A v B)"],
answer: "-A v B"
},
{
title: "Wie kann folgende Formel umgeformt werden: φ = A ↔ B",
choices: ["(A → B) ∧ (B → A)","(A v B) ∧ (B v A)","-(A ∧ B) v -(B ∧ A)", "-(A → B)"],
answer: "(A → B) ∧ (B → A)"
},
{
title: "Wie kann folgende Formel umgeformt werden: φ = -(A v B)",
choices: ["(-A ∧ -B)","(-A v -B)","(A → B)", "-(A ∧ B) v -(B ∧ A)"],
answer: "(-A ∧ -B)"
},
{
title: "Wie kann folgende Formel umgeformt werden: φ = --A",
choices: ["A","B","A v -A", "A → -A"],
answer: "A"
},
{
title: "Welche der folgenden Junktorenmengen ist keine Junktorenbasis, wenn {¬,∧,∨,→,↔} eine Junktorenbasis ist.",
choices: ["{T,⊥,¬,∧,∨,→,↔}","{¬,∨}","{¬,∧,∨}", "{∧,∨}"],
answer: "{∧,∨}"
},
{
title: "Wann ist der Mehrheitsjunktor M erfüllt. Beispiel: M(φ1,φ2,φ3)",
choices: ["Wenn die Mehrheit der Formeln φ1, φ2 und φ3 wahr sind","Wenn mindestens eine der Formeln φ1, φ2 oder φ3 wahr ist","Wenn die Formeln φ1, φ2 und φ3 wahr sind", "Wenn die Mehrheit der Formeln φ1, φ2 und φ3 falsch sind"],
answer: "Wenn die Mehrheit der Formeln φ1, φ2 und φ3 wahr sind"
},
{
title: "Was ist eine disjunktive Klausel.",
choices: ["Wenn die Literale mit v verkettet vorliegen","Wenn die Literale mit ∧ verkettet vorliegen","Wenn die Klausel durch Klammern vom Rest der Formel abgetrennt vorliegt", "Wenn die Klausel im Verbund mit konjunktiven Klauseln vorliegt"],
answer: "Wenn die Literale mit v verkettet vorliegen"
},
{
title: "Was ist eine konjunktive Klausel.",
choices: ["Wenn die Literale mit v verkettet vorliegen","Wenn die Literale mit ∧ verkettet vorliegen","Wenn die Klausel durch Implikation mit dem Rest der Formel verbunden ist", "Wenn die Klausel im Verbund mit disjunktiven Klauseln vorliegt"],
answer: "Wenn die Literale mit ∧ verkettet vorliegen"
},
{
title: "Wann liegt eine Formel in KNF vor",
choices: ["Wenn sie eine Konjunktion von Disjunktionen von Literalen ist","Wenn sie eine Disjunktion von Konjunktionen von Literalen ist","Wenn die Klauseln durch v miteinander im Verbund stehen", "Wenn der Junktor v niemals vorkommt"],
answer: "Wenn sie eine Konjunktion von Disjunktionen von Literalen ist"
},
{
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."],
answer: "Wenn jedes Disjunkt komplementäre Literale enthält."
},
{
title: "Wann ist eine Formel in KNF allgemeingültig?",
choices: ["Wenn jedes Konjunkt komplementäre Literale enthält.","Wenn in mind. einem Konjunkt komplementäre Literale enthalten sind.","Wenn jedes Disjunkt komplementäre Literale enthält.", "Wenn mind. ein Disjunkt komplementäre Literale enthält."],
answer: "Wenn jedes 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."
}
];
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment