Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion/Aufgabe

Aus Wikiversity

Es seien Terme und ein -stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit

gilt.