Aufgabe: Strukturelle Induktion
Beweisen Sie durch strukturelle Induktion über den Aufbau Boolescher Terme, dass für alle Booleschen Terme t ∈ BT und Variablen X, Y ∈ V gilt:
t [X ↦ Y ][Y ↦ X] = t
sofern Y eine Variable ist, die nicht in t vorkommt.
Ich stehe leider komplett auf dem Schlauch. Kann mir jemand weiterhelfen?
