Prädikatenlogik/Substitution/Hintereinanderschaltung/Periodizität/Aufgabe

Man gebe für jedes ein Beispiel für eine Substitution und einen -Ausdruck derart, dass die sukzessive substituierten Ausdrücke

eine Periode der Länge besitzen.