Hi,
ich hab ne frage undszwar, wenn man von F1 Blatt9 die Musterlösung ankuckt wird die resolution zur Aufgabe 1 zur F1.
Dort wird {F negiert,B negiert, A negiert} zwei mal verwendet.
Ich dachte man darf Mengen nur einmal mit einander resolvieren.
Wieso darf man das hier zwei mal verwenden.
Danke im vorraus

Ich dachte man darf Mengen nur einmal mit einander resolvieren.

Das ist falsch. Die Resolution erweitert die Menge der Mengen, alte Resolventen werden nicht entfernt - wie kommst du darauf?

Siehe auch http://3773.rapidforum.com/topic=101677924460

Ich komme darauf weil man doch bei der Resolution doch die Menge ändert.

Ich komme darauf weil man doch bei der Resolution doch die Menge ändert.

Du erweiterst sie, nimmst aber nichts heraus - mein letztes Posting in dem oben genannten Thread sollte das hoffentlich klären :-)

Da das ein häufiger Fehler ist würde mich interessieren wo er herkommt. Wäre toll, wenn man das in Zukunft gleich an der richtigen Stelle erklären könnte was es damit auf sich hat.