Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

gilt.
Zur Lösung, Alternative Lösung erstellen