Meine Frage:
Hallo,
ich Sitz seit ner weile an einer Übungsaufgabe und komm da partu nicht weiter.
Die aufgabe ist folgende:
Im folgenden seien a; b; c Funktions-Symbole und u; v; w; x; y; z Variable. Gib die Subsumptions-Ordnung auf der Menge
{a( x; y ); a( x; x ); a( c; c )} sowie auf der Menge
{b ( x; y; z ); b( x; x; y ); b( u; v; v ); b ( z; z; z )} an.
Meine Ideen:
Kann mir jemand dabei helfen oder wenigstens nen Ansatz geben.
