Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion und Relation/Aufgabe

Es seien $s_1,\dots ,s_n,t_1,\dots ,t_n$ Terme, $f$ ein $n$-stelliges Funktionssymbol und $R$ ein $n$-stelliges Relationssymbol. Zeige, dass die folgenden Aussagen im Prädikatenkalkül ableitbar sind.

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

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

Eine Lösung erstellen