|
![]() ![]() ![]() ![]() ![]() |
Die Semantik kann als Funktion A : L -> {TRUE, FALSE} betrachtet werden, die jeder Formel F einen Wahrheitswert TRUE oder FALSE zuweist.
Sie wird praktischerweise rekursiv entlang der Produktionsregeln von G definiert:
![]() | Sei V die Menge aller Instantiierungen von
〈 Variable 〉 von G.
|
![]() | Sei A' : V -> {TRUE, FALSE} die Funktion, die jeder Variablen einen Wahrheitswert zuweist.
(Diese Funktion wird Belegung genannt).
|
![]() | ∀ v ∈ V: A(v) = A'(v)
|
![]() | A(¬ (F)) = { TRUE, & falls A(F) = FALSE FALSE, & falls A(F) = TRUE . |
![]() | A((F1) => F2) = { TRUE, & falls A(F1) = FALSE A(F2), & falls A(F1) = TRUE . |
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |