Prädikatenlogik/Gleichheitstautologien/Mehrfache Substitution/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein Symbolalphabet, seien -Terme, verschiedene Variablen und sei ein -Ausdruck.

Dann ist

ableitbar.