Wiederholung
Wiederholung
Wiederholung
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
<strong>Wiederholung</strong> Aussagenlogik: Semantik<br />
Belegung β : P → {0, 1}<br />
Wert von ϕ ∈ AL(P) unter Belegung β:<br />
p β = β(p) für p ∈ P,<br />
induktive Berechnung für zusammengestezte<br />
Formeln<br />
Modell (erfüllende Belegung) für ϕ ∈ AL(P):<br />
β : P → {0, 1} mit ϕ β = 1<br />
Modellmenge von ϕ ∈ AL(P):<br />
Mod(ϕ) = {β : P → {0, 1} | ϕ β = 1}<br />
(Boolesche Funktion, Wahrheitswerttabelle)<br />
81