Skolemisierung
2008-07-21 17:48
Corvin
Hallo,
ich habe folgende Frage zur Skolemisierung:
In welcher Reihenfolge holt man die Quantoren nach vorne? Denn \forall x \exists y ist ja was anderes als \exists y \forall x
Welche Regeln sind dort zu beachten?
wiki+foren gaben mir leider keine Antwort
Schöne grüße
Corvin
ich habe folgende Frage zur Skolemisierung:
In welcher Reihenfolge holt man die Quantoren nach vorne? Denn \forall x \exists y ist ja was anderes als \exists y \forall x
Welche Regeln sind dort zu beachten?
wiki+foren gaben mir leider keine Antwort
Schöne grüße
Corvin