Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Formeln auswerten (Forts.)Die Bedeutung der Quantoren:wert z M (∀x.A) = w gdw für alle Zuweisungen z′ ,die sich höchstens in x von z unterscheidengilt wert z′ M (A) = wwert z M (∃x.A) = w gdw es gibt eine Zuweisung z′ ,die sich höchstens in x von z unterscheidet<strong>mit</strong> wert z′ M (A) = w Hochschule Darmstadt, Januar 2009 – p.16/54