Original von NullAhnung
Kann ich auch Klauselmengen doppelt verwenden? Hab jetzt z.B. als letztes
{S(x,f(d)), R(g(f(c)))} ° = nicht
Die Mengen {°S(y,x)} und {°R(y)} hab ich vorher schonmal benutzt. Kann ich die jetzt nochmal nehmen?
Falls es um Resolution gehen sollte (ich kenne die Aufgabenstellung ja nicht, da Du sie nicht dazugepostest hast), kannst Du die Klauseln so oft verwenden wie Du willst.