Nächste Seite: Aufgabe 55
Vorige Seite: Aufgabe 53
Gegeben sei die folgende Menge von Axiomen W:
- Begründe, welche der Axiome separabel bzgl.
bzw. 
sind?
- Sei
eine entsprechende parallele
Zirkumskription sowie
und
die entsprechenden
Prioritätszirkumskriptionen.
Welche der drei Varianten erlauben es, F(z) abzuleiten?
- Gib eine (kurze) semantische Begründung.
- Gib eine formale Ableitung an.
Christoph Quix, Thomas List, René Soiron
30. September 1996