GBI Tut 04

Was bindet am stärksten in der Aussagenlogik?

• → (Impliziert)

• ∨ (Oder)

• ∧ (Und)

• ¬ (Nicht)

Was ist die Anzahl der Interpretationen für eine Variablenmenge mit k ∈ N+ Aussagevariablen?

• 2^k

• k^2

• 2*k

• k!

Was ist die Definition einer Booleschen Funktion? (k steht für die Anzahl der Aussagenvariablen)

• Eine Funktion f:B→Bk.

• Eine Funktion f:Bk→B.

• Eine Funktion f:B→B.

• Eine Funktion f:Bk→Bk.

Was bedeutet es, wenn eine Interpretation I Modell für eine Formel G ist?

• valI(G) = w.

• valI(G) = w und valI(G) = f.

• valI(G) = f.

• valI(G) = w oder valI(G) = f.

Was bedeutet es, wenn eine Formel G erfüllbar ist? (Was sind äquivalente Aussagen)

• Es gibt eine Interpretation, sodass valI(G) = f.

• Es gibt keine Interpretation, sodass valI(G) = w.

• Es gibt keine Interpretation, sodass valI(G) = f.

• Es gibt eine Interpretation, sodass valI(G) = w.

• Wenn es ein Modell für sie gibt.
  

Was bedeutet es, wenn eine Formel G eine Tautologie ist?

• Für einige Interpretationen ist die gesamte aussagenlogische Formel wahr.

• Für keine Interpretation ist die gesamte aussagenlogische Formel wahr.

• Für die Hälfte der Interpretationen ist die gesamte aussagenlogische Formel wahr.

• Für jede Interpretation ist die gesamte aussagenlogische Formel wahr.

Was sind äquivalente Formeln?

• Zwei Formeln G und H heißen äquivalent, wenn für jede Interpretation I gilt: valI(G) = valI(H)

• Zwei Formeln G und H heißen äquivalent, wenn für die Hälfte der Interpretationen I gilt: valI(G) = valI(H)

• Zwei Formeln G und H heißen äquivalent, wenn für keine Interpretation I gilt: valI(G) = valI(H)