Nächste Seite: Aufgabe 56 Vorige Seite: Aufgabe 54

Aufgabe 55

Gegeben sei der folgende Ausschnitt aus dem aus Abschnitt 4.7 bekannten ``Eisen-und-Schwefel''-Beispiel. In der Ausgangssituation haben wir Eisen, Schwefel und einen Spatel:

Des weiteren haben wir die Aktion ``erhitze Schwefel und Eisen''

sowie das Rahmenaxiom

Sei .

Sei die Zirkumskriptionsformel von Abnormal in W.
Gilt ?
Gebe eine kurze informelle Begründung.

Gebe die variable Zirkumskriptionsformel{Zirkumskription!variable ~} von Abnormal in W mit variablem Spatel,
, an.

Gebe die in Z[W;Abnormal;Spatel] für die Prädikatsvariablen und zu substituierenden Prädikate an, so daß gilt.

Zeige .

Zeige, daß Z[W;P;Q] äquivalent zu ist.