Grundlagen der Logik und Logikprogrammierung
Grundlagen der Logik und Logikprogrammierung
Grundlagen der Logik und Logikprogrammierung
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Definition: Atome einer Formel<br />
Atome(ϕ) = Atpϕq := Menge <strong>der</strong> in ϕ vorkommenden Atome, formal:<br />
• At(A) = tAu<br />
• At(␣ϕ) = At(ϕ)<br />
• At(ϕ ^ ψ) = At(ϕ) Y At(ψ)<br />
Beispiel:<br />
AtppA ^ Bq ^ ␣Aq “ AtpA ^ BqY At(␣A) = AtpAqY At(B) Y At(A) = tAu Y tBu Y tAu “ tA, Bu.<br />
Das folgende Lemma ist die formale Legitimation dafür, dass Wahrheitstafeln sich auf die in ϕ vorkommenden<br />
Atome beschränken dürfen <strong>und</strong> nicht alle in A vorkommenden Atome berücksichtigen<br />
müssen.<br />
Lemma 2. Die Erfülltheit κ ( ϕ hängt nur von den Belegungen <strong>der</strong> Atome von ϕ, also von den Werten<br />
κpAq für A P Atpϕq ab; d.h. wenn κ 1 sich bezüglich aller Atome Atpϕq gleich verhält wie κ, so erfüllt<br />
κ 1 ϕ genau dann wenn κ dies tut. Formal: Wenn κ, κ 1 : A Ñ 2 mit κpAq “ κ 1 pAq für alle A P Atpϕq,<br />
dann gilt<br />
κ ( ϕ ô κ 1 ( ϕ.<br />
Beweis: Unabhängigkeit von unerwähnten Atomen<br />
wir erinnern uns: die Menge aller Formeln F ist definiert als die kleinste Menge, die die Bildungsgesetze<br />
1 - 3 erfüllt. Wir zeigen nun per Induktion über ϕ, genauer über die Struktur <strong>der</strong> Definition <strong>der</strong><br />
Grammatik, dass die Menge X aller ϕ, die die Behauptung erfüllen, ebenfalls 1 - 3 erfüllt <strong>und</strong> damit<br />
F Ď X, d.h. das Lemma gilt für alle Formeln.<br />
(1) κ ( A ô κpAq “ J ðùùùùñ<br />
APAtpAq κ1 pAq “ J<br />
ô κ 1 ( A<br />
(2) κ ( ␣ϕ ô κ * ϕ ðùùùùùùùùùùùùñ<br />
IV mit Atp␣ϕq“Atpϕq κ1 * ϕ<br />
ô κ 1 ( ␣ϕ<br />
(3) κ ( ϕ ^ ψ ô pκ ( ϕ <strong>und</strong> κ ( ψq ðùùùùùùùùùùùùùùùùùùùùùùùùùùñ<br />
IV mit Atpϕq,AtpψqĎAtpϕqYAtpψq“Atpϕ^ψq pκ1 ( ϕ <strong>und</strong> κ 1 ( ψq<br />
ô κ 1 ( ϕ ^ ψ<br />
ù Semantik von ϕ bestimmt durch endliche Tabellierung von κ ( ϕ für alle κ : A 0 Ñ 2 mit A 0 Ď A<br />
endlich, At(ϕ) Ď A 0 . Dass κ nicht nur auf Atpϕq definiert ist, son<strong>der</strong>n auf A 0 , von dem Atpϕq eine<br />
Teilmenge ist, liegt daran, dass in <strong>der</strong> Wahrheitstafel auch noch an<strong>der</strong>e Einträge stehen dürfen.<br />
Beispiel:<br />
Wahrheitstafel von ϕ<br />
A B A Ñ B<br />
K K J<br />
K J J<br />
J K K<br />
J J J<br />
9