Allgemeine Gleichheitssubstitution/Relation und Gleichheit/Ableitbar/Aufgabe

Es seien $s_{1}, \dots, s_{n}, t_{1}, \dots, t_{n}$ Terme einer prädikatenlogischen Sprache $L^{S}$ und seien $x_{1}, \dots, x_{n}$ verschiedene Variablen.

Es sei $R$ ein $k$ -stelliges Relationssymbol und $r_{1}, \dots, r_{k}$ seien Terme. Zeige die Ableitbarkeit
$⊢ s_{1} = t_{1} \land \dots \land s_{n} = t_{n} \to ((R r_{1} \dots r_{k}) \frac{s_{1}, \dots, s_{n}}{x_{1}, \dots, x_{n}} \to (R r_{1} \dots r_{k}) \frac{t_{1}, \dots, t_{n}}{x_{1}, \dots, x_{n}}) .$
Es seien $r_{1}$ und $r_{2}$ Terme. Zeige die Ableitbarkeit
$⊢ s_{1} = t_{1} \land \dots \land s_{n} = t_{n} \to (r_{1} \frac{s_{1}, \dots, s_{n}}{x_{1}, \dots, x_{n}} = r_{2} \frac{s_{1}, \dots, s_{n}}{x_{1}, \dots, x_{n}} \to r_{1} \frac{t_{1}, \dots, t_{n}}{x_{1}, \dots, x_{n}} = r_{2} \frac{t_{1}, \dots, t_{n}}{x_{1}, \dots, x_{n}}) .$

Eine Lösung erstellen