Ich verstehe das Substitutionstheorem einfach nicht. Im Skript Seite 7-40,7-41.
Kann mir das jemand erklären?

Wenn du einen Term substituierst und dir dafür eine beliebige Belegung suchst, dann gibt es für den Ursprungsterm auch eine Belegung, die das selbe Ergebnis hat. (Die gibt es nicht nur, die kann man auch direkt mit Hilfe der Belegung und der Substitution bestimmen.)