Aufgabe:
Resolventen bilden:
Ich suche die leere Menge.
{¬m(x), e(x)} {m(z), e(z)}
{m(x), e(x)}
Nun ist meine Frage: Was erhalte ich hierbei?
Frage 1:
{e(x), e(x)} ?
Und was kommt bei:
{¬m(x), e(x)} {m(x), ¬e(z)} für ein Resolvent raus? Kann man beide kürzen?
