Commit cb04324c authored by Matthias Merz's avatar Matthias Merz
Browse files

Merge branch '1-negationszeichen-statt-minus' into 'master'

changed all - to negation

Closes #1

See merge request !3
parents 4023473e cb2530d9
...@@ -68,8 +68,8 @@ var questions = [ ...@@ -68,8 +68,8 @@ var questions = [
}, },
{ {
title: "Welcher der folgenden Formeln beschreibt diese Aussage: Bernd kommt allenfalls dann wenn Clara kommt und Anne nicht kommt.", 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)"], choices: ["B → (C ∧ ¬A)","(C ∧ ¬A) → B","¬A ∧ C → B", "B v (C ∧ ¬A)"],
answer: "B → (C ∧ -A)" answer: "B → (C ∧ ¬A)"
}, },
{ {
title: "Welche Semantik hat folgender Junktor: ↔ ?", title: "Welche Semantik hat folgender Junktor: ↔ ?",
...@@ -87,7 +87,7 @@ var questions = [ ...@@ -87,7 +87,7 @@ var questions = [
answer: "Die Anzahl der Verschachtelungen" answer: "Die Anzahl der Verschachtelungen"
}, },
{ {
title: "Wann ist folgende Formel nicht erfüllt: φ = (A v B) → -C", 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"], 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" answer: "A = W; B = F; C = W"
}, },
...@@ -118,22 +118,22 @@ var questions = [ ...@@ -118,22 +118,22 @@ var questions = [
}, },
{ {
title: "Wie kann folgende Formel umgeformt werden: φ = A → B", title: "Wie kann folgende Formel umgeformt werden: φ = A → B",
choices: ["-A v B","A v -B","-A ∧ B", "-(A v B)"], choices: ["¬A v B","A v ¬B","¬A ∧ B", "¬(A v B)"],
answer: "-A v B" answer: "¬A v B"
}, },
{ {
title: "Wie kann folgende Formel umgeformt werden: φ = A ↔ 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)"], choices: ["(A → B) ∧ (B → A)","(A v B) ∧ (B v A)","¬(A ∧ B) v ¬(B ∧ A)", "¬(A → B)"],
answer: "(A → B) ∧ (B → A)" answer: "(A → B) ∧ (B → A)"
}, },
{ {
title: "Wie kann folgende Formel umgeformt werden: φ = -(A v B)", title: "Wie kann folgende Formel umgeformt werden: φ = ¬(A v B)",
choices: ["(-A ∧ -B)","(-A v -B)","(A → B)", "-(A ∧ B) v -(B ∧ A)"], choices: ["(¬A ∧ ¬B)","(¬A v ¬B)","(A → B)", "¬(A ∧ B) v ¬(B ∧ A)"],
answer: "(-A ∧ -B)" answer: "(¬A ∧ ¬B)"
}, },
{ {
title: "Wie kann folgende Formel umgeformt werden: φ = --A", title: "Wie kann folgende Formel umgeformt werden: φ = ¬¬A",
choices: ["A","B","A v -A", "A → -A"], choices: ["A","B","A v ¬A", "A → ¬A"],
answer: "A" answer: "A"
}, },
{ {
......
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