WorksheetsTutorium 4
Total questions: 11
Worksheet time: 7mins
Was sind gültige Aussagen?
Diese Aussage ist wahr
GBI macht Spaß
GBI macht kein Spaß
Diese Aussage ist falsch
Wer prägte den Namen der Werte, die Aussagen annehmen?
George Boole
Patrick Tolksdorf
Torsten Ueckerdt
George Boolean
Welche booleschen Funktionen sind gegeben durch:
bx: B2→B
x=I
x=∧
x=¬
x=∨
AAL=VarAL∪X
X={∨,∧,→}
X={∨,∧,→,¬,↔,(,)}
X={∨,∧,→,¬,(,)}
X={∨,∧,→,¬}
AAL⊆ForAL
Wahr
Falsch
VarAL={P,Q,R,S}, x∈ForAL
x=(((P)))
x=(P→Q)→S
x=((S∨T)∧R)
x=(S)∨(S)∧(Q)
Wie nennt man die Zuordnung von Boole-Wert zu Aussagenvariable?
Interpretation
Modell
Auswertung
Semantik
Wie nennt man die Funktion, die einer AL-Formel einen Boole-Wert zuweist?
Die gibt es nicht
Auswertung
Modell
Interpretation
Sei I(A)=w, I(B)=f . Was ist valI(A→A∧B) ?
w
f
beides
Sei I(A)=w, I(B)=f . Was ist val valI(A∧¬B∨A∧B)
w
f
e
x
Was muss gelten damit F⊆ForAL eine Tautologie ist?
∀ I:valI(F)=w
∃ I:valI(F)=w
∀I:valI(¬F)=f
¬∃ I:valI(F)=f
