Wiederholung
Wiederholung
Wiederholung
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
<strong>Wiederholung</strong> Aussagenlogik: Syntax<br />
Syntax<br />
Symbol<br />
Semantik<br />
Wahrheitswertfunktion<br />
wahr t 1<br />
Junktoren<br />
falsch f 0<br />
Konjunktion ∧ min<br />
Disjunktion ∨ max<br />
Negation ¬ x ↦→ 1 − x<br />
Implikation → ≤<br />
Äquivalenz ↔ =<br />
Atome Syntax: elementare Formeln<br />
Semantik: Wahrheitswert<br />
Literal Atom oder negiertes Atom<br />
Klausel Disjunktion von Literalen<br />
Formeln Syntax (induktive Definition): AL(P)<br />
IA: Alle Atome sind Formeln. P ⊂ AL(P)<br />
IS: ϕ 1 , . . . , ϕ n ∈ AL(P) → j(ϕ 1 , . . . , ϕ n ) ∈ AL(P)<br />
Semantik: Boolesche Funktion<br />
80
Change language