Zum Inhalt springen

Mathematik für Faule: Logik/Einsetzung

Aus Wikibooks

Satz (Die syntaktischen Regeln der Einsetzung sind korrekt):

Beweis:

Fall 6: .

Der entsprechenden syntaktischen Regel für das Einsetzen zufolge gilt

,

wobei die relevanten Indices sind und eine Variable ist, die noch nicht in oder vorkommt. Daher gilt

.