Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Sunday, June 27th 2004, 11:46am
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.
Quoted
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?
