p - Softwaretechnik und Programmiersprachen

Werbung
Aussagenlogik
Schnelldurchlauf
Michael Leuschel
Softwaretechnik und Programmiersprachen
27/10/15
Lecture 3
Teil 1:
Sprache (Syntax)
27/10/15
Bestandteile
n 
Atomare Aussagen (atomic propositions)
n 
Entweder wahr oder falsch (Wahrheitswert, truth
value auf Englisch; true oder false)
n 
n 
zwei-wertig
Wahrheitswert einer komplexen Aussage:
n 
bestimmt von Wahrheitswerten der Bestandteile
it rains and it is cold
27/10/15
it rains
it is cold
Alphabet der Aussagenlogik
n 
Junktoren
n 
n 
n 
n 
n 
n 
Atomare Aussagen
n 
n 
Und (Konjunktion): ∧
Oder (Disjunktion): ∨
Wenn (Implikation): →
←
Not (Negation):
¬
Äquivalenz ⟺, Exklusives Oder, . . .
Bezeichner:
p
q
(
)
Klammerung
n 
27/10/15
Klammern
rains ...
Well Formed Formulas (WFF)
n 
n 
alle atomare Aussagen sind in der Menge WFF
Wenn α und β in WFF sind, dann sind folgende
Formeln auch in WFF:
n 
n 
n 
n 
n 
n 
(¬ α)
(α ∧ β)
(α ∨ β)
(α → β)
Keine anderen Forrmeln sind in WFF
Anmerkung: α, β sind Meta-Variablen (ausserhalb der
Aussagenlogik)
27/10/15
Präzedenz
1. Negation ¬ bindet am stärksten
2. Dann kommen ∧ und ∨
3. Am schwächsten bindet →
Anstatt:
n 
(((¬ p) ∧ (¬ q)) → ((¬ p) ∨ (¬ q)))
kann man auch dies schreiben:
n 
n 
27/10/15
(¬ p ∧ ¬ q) → (¬ p ∨ ¬ q)
¬p∧¬q → ¬p∨¬q
Teil 2:
Semantik der Aussagenlogik
Interpretationen, Modelle, logische
Schlussfolgerung
27/10/15
Wahrheitswert einer Formel
n 
n 
Zuweisung: WFF↝ Wahrheitswert
Junktoren:
n 
n 
n 
n 
feste Bedeutung
Bsp: true ∧ false ergibt false
Wahrheitstabellen (truth tables)
Atomare Aussagen:
n 
n 
27/10/15
egal (wahr oder falsch)
(die Logik kümmert sich um die Form, nicht den
Inhalt !)
Wahrheitstabellen
α
β
¬α
α∧ β
α∨ β
α→ β α⇔ β
true
true
false
true
true
true
true
true
false
false
false
true
false
false
false
true
true
false
true
true
false
false
false
true
false
false
true
true
27/10/15
Interpretationen und Modelle
n 
Eine Interpretation v ist eine Abbildung von atomaren
Aussagen nach {true,false}
Beispiel: v(p) = true, v(q) = false
n 
Erweiterung von v auf WFF mit den Wahrheitstabellen:
Beispiel: v(p ∨ q) = ?
n  1. Berrechne v for Bestandteile:
n 
n 
v(p) = true, v(q) = false
2. Wende Wahrheitstabelle an: true ∨ false = true
n 
v(p ∨ q) = true
Für v’(p) = false, v’(q) = false: v’(p ∨ q) = false
n 
Interpretation v ist ein Modell für α gdw v(α) = true
27/10/15
Übungen:
n 
n 
v(p) = true,v(q) = false
v’(p) = false,v’(q) = false
n 
n 
n 
n 
n 
n 
n 
27/10/15
v(p ∧ (q ∨ (¬p) )) =
v(p → (p → q )) =
v’(p → (p → q )) =
v(p ∨ (¬p)) =
v’(p ∨ (¬p)) =
v(p ∧ (¬p)) =
v’(p ∧ (¬p)) =
Übungen: Lösung
n 
n 
v(p) = true,v(q) = false
v’(p) = false,v’(q) = false
n 
n 
v(p ∧ (q ∨ (¬p) )) false
n 
n 
v(p)
v(q ∨ (¬p) )
true
n 
v(p ∧ (q ∨ (¬p) )) = false
v(p → (p → q )) = false
v’(p → (p → q )) = true
v(p ∨ (¬p)) = true
v’(p ∨ (¬p)) = true
false
v(q)
false
27/10/15
v(¬p) false
n 
n 
v(p)
true
v(p ∧ (¬p)) = false
v’(p ∧ (¬p)) = false
Satisfaction, Tautology,
Contradiction
n 
Eine Formel α ∈ WFF ist
erfüllbar (satisfiable) gdw es mindestens
ein Modell gibt
n  unerfüllbar oder ein Widerspruch
(unsatisfiable or a contradiction) gdw es
kein Modell gibt
n  eine Tautologie gdw alle Interpretationen
auch Modelle sind
n 
p ∨ (¬p)
27/10/15
p ∧ (q ∨ (¬p) )
p ∧ (¬p)
Consequence and
Equivalence
n 
Zwei Formeln α and β sind logisch
äquivalent, α ≡ β, gdw sie die gleichen
Modelle haben (d.h. gleiche Wahrheitstabelle)
(p ∧ q) ≡ (q ∧ p)
(p → q) ≡ (¬p ∨ q)
n 
Die Formel α ist eine logische Konsequenz
von β, β ⇒ α, gdw jedes Modell von β auch
ein Modell von α ist
p ⇒ (q ∨ p)
27/10/15
oft
anstatt ⇒
Erweiterung für Mengen
n 
Eine Interpretation v ist ein Modell für eine
Menge S an Formeln in WFF gdw sie ein
Modell für jede Formel in S ist
v(p)=true,
n 
v ist ein Modell von {(p ∨ q), (¬p → ¬q)}
Eine Menge A ist eine logische Konsequenz
einer anderen Menge B, B ⇒ A,
gdw jedes Modell von B auch ein Modell von
A ist
{p} ⇒ {(p ∨ q), (¬p → ¬q)}
27/10/15
Beispiel
Ja
{p → q , ¬q} ⇒ {¬p}
?
auch Modell von {¬p}
v(p)=true,
v(q)= true
v(p)=true,
v(q)=false
v(p)= false,
v(q)= true
4 mögliche Interpretationen
27/10/15
v(p)= false,
v(q)= false
einziges Modell von
{p → q , ¬q}
Ein anderes Puzzle
Ein Zettel sagt die
Wahrheit der
andere nicht.
?
In dieser Zelle befindet
sich eine Prinzessin und
ein Tiger in der anderen
Zelle
27/10/15
?
?
?
In einer der Zellen
befindet sich eine
Prinzessin und in der
anderen ein Tiger
Erläuterungen
n 
Notationen:
n 
n 
n 
Unterschied zwischen ⇔ und ≡
n 
n 
n 
p ⇔ q ist eine erfüllbare Formel
p ≡ q ist keine Formel (und ist falsch)
Unterschied zwischen → und ⇒
n 
n 
n 
α ⇔ β steht für (α → β) ∧ (β → α)
α ← β steht für (β → α)
p → ¬p ist eine erfüllbare Formel
p ⇒ ¬p ist keine Formel (und ist falsch)
→, ⇔ sind Junktoren ≡, ⇒ sind math.
(Meta-)Aussagen über Formeln
27/10/15
Achtung: mathematische
Logik vs Sprachgebrauch
n 
n 
Kommutativität: p ∧ q ≡ q ∧ p
Aber:
n 
n 
n 
n 
He got scared and he killed the intruder.
Er bekam Angst und tötete den Eindringling.
He killed the intruder and he got scared.
Er tötete den Eindringling und bekam Angst.
(kausale und temporale Bedeutung von
“und”)
n 
Implikation
Falls 1 = 2 dann bin ich Bundespräsident.
27/10/15
Zusammenfassung
n 
Syntax der Aussagenlogik
n 
n 
Semantik der Aussagenlogik
n 
n 
n 
27/10/15
WFF
Wahrheitstabellen, Interpretationen, Modelle
Erfüllbarkeit, Tautologie, Widerspruch
logische Äquivalenz und Konsequenz
Herunterladen