Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion/Aufgabe

Es seien $s_1,\dots ,s_n,t_1,\dots ,t_n$ Terme und $f$ ein $n$-stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit

$⊢s_1=t_1\wedge \dots \wedge s_n=t_n\to f{s}_1\dots s_n=f{t}_1\dots t_n$

gilt.

Zur Lösung, Alternative Lösung erstellen