Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
ThProg-Übung 11 (HA 1)
heyo,
also für --x ->x versteh ich’s ja noch mit dem gegebenen Polynom
da hat man dann P(P(x))=x+2, auf der rechten seite hat man dann nur x und damit x+2>x
aber was soll ich dann mit den /\ / => FORALL machen? reicht es da zu sagen, dass die nur auf der linken seite vorkommen und dementsprechend eine Polynomordnung gilt/das system terminiert?
hat sich erledigt
und wie war die Lösung?
du machst einfach für alle Zeichen ein Polynom z.B. PZeichen, und zeigst für jede einzelne Regel, dass die linke Seite größer als die rechte Seite ist