gif gif up gif contents index
Nächste Seite: Aufgabe 49 Vorige Seite: Aufgabe 47

Aufgabe 48

*
Was ist das Ziel der Zirkumskription einer Formel F in einem Prädikat P?

*
Wann heißt eine Formel F ``solitär in einem Prädikat''?

*
In welcher Weise ist die Eigenschaft ``solitär in einem Prädikat'' hilfreich?

*
Sei F die Konjunktion der folgenden Formeln.

Berechne die Zirkumskription von F in Lügner.



Christoph Quix, Thomas List, René Soiron
30. September 1996