Inspektion

Wir benötigen zum Beweis nur die beiden Grundregeln Fassasoziativität (F) und Unitarität (U) sowie unsere Vereinbarung (V=) zur Reihenfolge der Faktoren. Hinzu kommt die Kommutativität der Zahlmultiplikation (KR). Wir benutzen diese Symbole zur Kennzeichnung der Schritte. Und wir verwenden unterscheidende Verknüpfungssysmbole. Die Addition kommt in dieser Aufgabe nicht vor.

Wie führt man einen derartigen Beweis? Man wählt einen der Ausdrücke, etwa den vorletzten, und zeigt, dass alle übrigen ihm gleich sind. Bei diesem „zeigen“ ist jeder Schritt genau zu rechtfertigen

Zurück