Prädikatenlogik/Gleichheitstautologien/Folgerungen/Funktion/Aufgabe
Zur Navigation springen
Zur Suche springen
Es seien Terme und ein -stelliges Funktionssymbol. Zeige, dass die Ableitbarkeit
Es seien
Terme
und
ein
-stelliges Funktionssymbol. Zeige, dass die
Ableitbarkeit